Abstract: According to the Veridicality Thesis, information requires truth. On this view, smoke carries information about there being a fire only if there is a fire, the proposition that the earth has two moons carries information about the earth having two moons only if the earth has two moons, and so on. We reject this Veridicality Thesis. We argue that the main notions of information used in cognitive science and computer science allow A to have (...) information about the obtaining of p even when p is false. (shrink)

In various publications over the past years, Floridi has developed a theory of semantic information as well-formed, meaningful, and truthful data. This theory is more or less orthogonal to the standard entropy-based notions of information known from physics, information theory, and computer science that all define the amount of information in a certain system as a scalar value without any direct semantic implication. In this context the question rises what the exact relation between (...) these various conceptions of information is and whether there is a real need to enrich these mathematically more or less rigid definitions with a less formal notion of semantic information. I investigate various philosophical aspects of the more formal definitions of information in the light of Floridi’s theory. The position I defend is that the formal treatment of the notion of information as a general theory of entropy is one of the fundamental achievements of modern science that in itself is a rich source for new philosophical reflection. This makes information theory a competitor of classical epistemology rather than a servant. In this light Floridi’s philosophy of information is more a reprise of classical epistemology that only pays lip service to information theory but fails to address the important central questions of philosophy of information. Specifically, I will defend the view that notions that are associated with truth, knowledge, and meaning all can adequately be reconstructed in the context of modern information theory and that consequently there is no need to introduce a concept of semantic information. (shrink)

Chomsky’s conception of semantics must contend with both philosophical skepticism and contrary traditions in linguistics. In “Two Dogmas” Quine argued that “...it is non-sense, and the root of much non-sense, to speak of a linguistic component and a factual component in the truth of any individual statement.” If so, it follows that language as the object of semantic investigation cannot be separated from collateral information. F. R. Palmer pursues a similar contention in his recent survey of issues (...) in semantic theory: “...it is impossible even in theory to draw a clear line between the meaning of a word or sentence and all possible relevant information about it.” In spite of such skepticism, and through a variety of theories, devotion to lexical decomposition and truth dependent on language has not abated. The purpose of this paper is to focus related criticism and briefly put forward an alternative conception of empirical semantics. (shrink)

Davidson has given us two theses: Tarski's format for truth definitions provides a format for theories of meaning and that the justification for a theory of language L as one of meaning is based upon the theory affording an informative interpretation of L-speakers. It will be argued, on the basis of a consideration of compositionality, that the Tarski format can indeed be re-jigged in line with . On the other hand, in opposition to , I shall commend a cognitive (...) understanding of semantic competence under which interpretation is at best of marginal interest. In defence of this move, it will be argued that once compositionality and other commonly held constraints are recognised as being in fact empirical ones, then no principled distinction can be made between them and other constraints which militate against semantic competence being socially constituted. (shrink)

The paper sets out to offer an alternative to the function/argument approach to the most essential aspects of natural language meanings. That is, we question the assumption that semantic completeness (of, e.g., propositions) or incompleteness (of, e.g., predicates) exactly replicate the corresponding grammatical concepts (of, e.g., sentences and verbs, respectively). We argue that even if one gives up this assumption, it is still possible to keep the compositionality of the semantic interpretation of simple predicate/argument structures. In our opinion, (...) compositionality presupposes that we are able to compare arbitrary meanings in term of information content. This is why our proposal relies on an ‘intrinsically’ type free algebraic semantic theory. The basic entities in our models are neither individuals, nor eventualities, nor their properties, but ‘pieces of evidence’ for believing in the ‘truth’ or ‘existence’ or ‘identity’ of any kind of phenomenon. Our formal language contains a single binary non-associative constructor used for creating structured complex terms representing arbitrary phenomena. We give a finite Hilbert-style axiomatisation and a decision algorithm for the entailment problem of the suggested system. (shrink)

The concept of information has well-known difficulties. Among the many issues that have been discussed is the alethic nature of a semantic conception of information. Floridi :197–222, 2004; Philos Phenomenol Res 70:351–370, 2005; EUJAP 3:31–41, 2007; The philosophy of information, Oxford University Press, Oxford, 2011) argued that semantic information must be truthful. In this article, arguments will be presented in favor of an alethically neutral conception of semantic information and it will be (...) shown that such a conception can withstand Floridi’s criticism. In particular, it is argued that an alethically neutral conception of semantic information can manage the so-called Bar-Hillel Carnap paradox, according to which contradictions have maximum informational content. This issue, as well as some of Floridi’s other arguments, is resolved by disentangling the property of being information from the property of being informative. The essay’s final conclusion is that although semantic information is alethically neutral, a veridical conception of semantic information can, and should, be retained as a subconcept of semantic information, as it is essential for the analysis of informativity, which, unlike the property of being information, depends on truth. (shrink)

Heim 1983 suggested that the analysis of presupposition projection requires that the classical notion of meanings as truth conditions be replaced with a dynamic notion of meanings as Context Change Potentials. But as several researchers (including Heim herself) later noted, the dynamic framework is insufficiently predictive: although it allows one to state that, say, the dynamic effect of F and G is to first update a Context Set C with F and then with G (i.e., C[F and G] = (...) C[F][G]), it fails to explain why there couldn’t be a ‘deviant’ conjunction and* which performed these operations in the opposite order (i.e., C[F and* G] = C[G][F]). We provide a formal introduction to a competing framework, the Transparency theory, which addresses this problem. Unlike dynamic semantics, our analysis is fully classical, i.e., bivalent and static. And it derives the projective behavior of connectives from their bivalent meaning and their syntax. We concentrate on the formal properties of a simple version of the theory, and we prove that (i) full equivalence with Heim’s results is guaranteed in the propositional case (Theorem 1), and that (ii) the equivalence can be extended to the quantificational case (for any generalized quantifiers), but only when certain conditions are met (Theorem 2). (shrink)

Paul M. Pietroski presents an ambitious new account of human languages as generative procedures that respect substantive constraints. He argues that meanings are neither concepts nor extensions, and sentences do not have truth conditions; meanings are composable instructions for how to access and assemble concepts of a special sort.

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of (...) class='Hi'>information but also to the philosophical debate on the nature of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

The concept of information is related to fundamental philosophical questions: the relationship between being and thinking, truth and delusion, problems of communication in human society, problems of virtual reality, their connection with language, etc. The topic of information in its various aspects has recently become one of the most popular among scientists, publicists, journalists, and politicians. To date, there is a wide variety of definitions of the concept of “information”, however, there is no generally accepted understanding (...) of the nature of information and the ways of its existence. On the basis of the semantic approach in the theory of information using semiotic methodology, the problem of the relationship and relationship between information and reality is considered; on this basis, the symbolic nature of information is analyzed, the problem of perception and interpretation of information by its recipients is investigated, the reasons and mechanisms of information distortion are analyzed. Information is considered as a sign, a representative of reality. There is always an uncertain, unstable, situational connection between signs and reality. There is a possibility of the existence of information in its pure form, without real events, which is not tied to real reality. Distortion is considered as a property of information; it is caused by the symbolic nature of information. The concept of “reality” is analyzed. Reality is largely a cultural construct, culture and society play a significant role in shaping perceptions of reality. Information becomes a model of reality, and at the same time information models reality. The concepts of “virtual reality” and “informational reality” are in use, which, in fact, are iconic constructions simulating reality. (shrink)

In this paper, I examine the concept of truth in classical Chinese philosophy, beginning with a critical examination of Chad Hansen’s claim that it has no such concept. By using certain passages that emphasize analogous concepts in the philosophy of language of the Later Mohist Canons, I argue that while there is no word in classical Chinese that functions as truth generally does in Western philosophy for grammatical reasons, the Later Mohists were certainly working with a notion of (...) semantic adequacy in which a language-to-world relationship is made an object of investigation, challenging Hansen’s position that classical Chinese functions within a primarily pragmatic linguistic framework in which a language-to-user relationship determines the meaning of words. (shrink)

We present a semantic game for Gödel logic and its extensions, where the players’ interaction stepwise reduces arbitrary claims about the relative order of truth degrees of complex formulas to atomic ones. The paper builds on a previously developed game for Gödel logic with projection operator in Fermüller et al., Information processing and management of uncertainty in knowledge-based systems, Springer, Cham, 2020, pp. 257–270). This game is extended to cover Gödel logic with involutive negations and constants, and (...) then lifted to a provability game using the concept of disjunctive strategies. Winning strategies in the provability game, with and without constants and involutive negations, turn out to correspond to analytic proofs in a version of \ :1941–1958, 2010) and in a sequent-of-relations calculus, Automated reasoning with analytic tableaux and related methods, Springer, Berlin, 1999, pp. 36–51) respectively. (shrink)

Reference is a central topic in philosophy of language, and has been the main focus of discussion about how language relates to the world. R. M. Sainsbury sets out a new approach to the concept, which promises to bring to an end some long-standing debates in semantic theory.There is a single category of referring expressions, all of which deserve essentially the same kind of semantic treatment. Included in this category are both singular and plural referring expressions, complex and (...) non-complex referring expressions, and empty and non-empty referring expressions. Referring expressions are to be described semantically by a reference condition, rather than by being associated with a referent. In arguing for these theses, Sainsbury's book promises to end the fruitless oscillation between Millian and descriptivist views. Millian views insist that every name has a referent, and find it hard to give a good account of names which appear not to have referents, or at least are not known to do so, like ones introduced through error, ones where it is disputed whether they have a bearer and ones used in fiction. Descriptivist theories require that each name be associated with some body of information. These theories fly in the face of the fact names are useful precisely because there is often no overlap of information among speakers and hearers. The alternative position for which the book argues is firmly non-descriptivist, though it also does not require a referent. A much broader view can be taken of which expressions are referring expressions: not just names and pronouns used demonstratively, but also some complex expressions and some anaphoric uses of pronouns.Sainsbury's approach brings reference into line with truth: no one would think that a semantic theory should associate a sentence with a truth value, but it is commonly held that a semantic theory should associate a sentence with a truth condition, a condition which an arbitrary state of the world would have to satisfy in order to make the sentence true. The right analogy is that a semantic theory should associate a referring expression with a reference condition, a condition which an arbitrary object would have to satisfy in order to be the expression's referent.Lucid and accessible, and written with a minimum of technicality, Sainsbury's book also includes a useful historical survey. It will be of interest to those working in logic, mind, and metaphysics as well as essential reading for philosophers of language. (shrink)

What is it that semanticists think they are doing when using formalisation? What kind of endeavour is the formal semantics of natural language: scientific; linguistic; philosophical; logical; mathematical? If formal semantics is a scientific endeavour, then there ought to be empirical criteria for determining whether such a theory is correct, or an improvement on an alternative account. The question then arises as to the nature of the evidence that is being accounted for. It could be argued that the empirical questions (...) are little different in kind to other aspects of linguistic analysis, involving questions of performance and competence (Chomsky 1965; Saussure 1916). But there are aspects of formal accounts of meaning that appear to sit outside this scientific realm. One key issue concerns the precise nature of the formalisation that is adopted; what criteria are to be used to decide between accounts that are founded on different formal systems, with different ontological assumptions? Indeed, is it necessary to judge semantic frameworks on such grounds? In other words, are two theoretical accounts to be treated as equivalent for all relevant purposes if they account for exactly the same linguistic data? Broadly speaking, there are two related perspectives on the analysis of propositional statements, one “truth conditional” — reducing sentence meaning to the conditions under which the sentence is judged to be true (e.g. Montague 1973) — the other “proof theoretic” — reducing sentence meanings to patterns of entailments that are supported (e.g. Ranta 1994, Fox & Lappin 2005 ,Fox 2000). Variations of these perspectives might be required in the case of non-assertoric utterances. We may wonder what critieria might be used to decide between these approaches. This brings us back to the nature of the data itself. If the data is (merely) about which arguments, or truth conditions, subjects agree with, and which they disagree with, then the terms in which the theory is expressed may be irrelevant. But it may also be legitimate to be concerned with either (a) the intuitions that people have when reasoning with language, or (b) some technical or philosophical issues relating to the chosen formalism. The truth-conditional vs proof-theoretic dichotomy might broadly be characterised as model-theoretic vs axiomatic, where the model-theoretic tend to be built around a pre-existing formal theory, and the axiomatic involves formulating rules of behaviour “from scratch”. In some sense, fitting an analysis of a new problem into an existing framework could be described as providing some kind of “explanatory” power, assuming that the existing framework has some salient motivation that is independent of the specific details of the phenomena in question. In contrast, building a new theory that captures the behaviour might then be characterised as “descriptive”, as — superficially at least — it does not show how an existing theory “already” accounts for the data in some sense. Here we observe instead that the argument can be run in the other direction. that a reductive model-theoretic account merely “describes” how some aspects of a problem can be reduced to some formalisation, but may fail to capture a subject’s understanding or intuitions about meaning. It is surely appropriate for the formal theory itself to be at least sympathetic to the ontological concerns and intuitions of its subjects — if not inform them (Dummett 1991). The alternative amounts to little more than carving out otherwise arbitrary aspects of a system that mimics the required behaviour, without a coherent explanation of why some aspects of a formal theory characterise, or capture, the intended meaning, but not others (cf. Benacerraf 1965). That seems an impoverished approach, weakening any claim to “explain”. Any constraint this imposes on what is it to be an explanatory account of meaning then faces the same problem as naive notions of compositionality (Zadrozny 1994) — that is, what appears to be a meaningful restriction is, in reality, a mirage. (shrink)

Stefano Predelli explores the relationships between semantic notions of meaning and truth. He develops a 'Theory of Bias' in order to approach notorious semantic problems, offers a solution to Quine's 'Giorgione' puzzle and a new version of the demonstrative theory quotation, and defends a bare-boned approach to demonstratives and demonstrations.

In The Philosophy of Information, Luciano Floridi presents a theory of “strongly semantic information”, based on the idea that “information encapsulates truth” (the so-called “veridicality thesis”). Starting with Popper, philosophers of science have developed different explications of the notion of verisimilitude or truthlikeness, construed as a combination of truth and information. Thus, the theory of strongly semantic information and the theory of verisimilitude are intimately tied. Yet, with few exceptions, this link (...) has virtually pass unnoticed. In this paper, we briefly survey both theories and offer a critical comparison of strongly semantic information and related notions, like truth, verisimilitude, and partial truth. (shrink)

This dissertation is about the nature of perspectival thoughts and the context-sensitivity of the language used to express them. It focuses on two kinds of perspectival thoughts: ‘subjective’ evaluative thoughts about matters of personal taste, such as 'Beetroot is delicious' or 'Skydiving is fun', and first-personal or de se thoughts about oneself, such as 'I am hungry' or 'I have been fooled.' The dissertation defends of a novel form of relativism about truth - the idea that the truth (...) of some perspectival thought and talk is relative to the perspective of an evaluating subject or group. In Part I, I argue that the realm of ‘subjective’ evaluative thought and talk whose truth is perspective-relative includes attributions of knowledge of the form ’S knows that p.’ Following a brief introduction, chapter 2 presents a new, error-theoretic objection against relativism about knowledge attributions. The case for relativism regarding knowledge attributions rests on the claim that relativism is the only view that explains all of the empirical data from speakers' use of the word "know" without recourse to an error theory. In chapter 2, I show that the relativist can only account for sceptical paradoxes and ordinary epistemic closure puzzles if she attributes a problematic form of semantic blindness to speakers. However, in 3 I show that all major competitor theories - forms of invariantism and contextualism - are subject to equally serious error-theoretic objections. This raises the following fundamental question for empirical theorising about the meaning of natural language expressions: If error attributions are ubiquitous, by which criteria do we evaluate and compare the force of error-theoretic objections and the plausibility of error attributions? I provide a number of criteria and argue that they give us reason to think that relativism's error attributions are more plausible than those of its competitors. In Part II, I develop a novel unified account of the content and communication of perspectival thoughts. Many relativists regarding ‘subjective’ thoughts and Lewisians about de se thoughts endorse a view of belief as self-location. In chapter 4, I argue that the self-location view of belief is in conflict with the received picture of linguistic communication, which understands communication as the transmission of information from speaker's head to hearer's head. I argue that understanding mental content and speech act content in terms of sequenced worlds allows a reconciliation of these views. On the view I advocate, content is modelled as a set of sequenced worlds - possible worlds ‘centred’ on a group of individuals inhabiting the world at some time. Intuitively, a sequenced world is a way a group of people may be. I develop a Stalnakerian model of communication based on sequenced worlds content, and I provide a suitable semantics for personal pronouns and predicates of personal taste. In chapter 5, I show that one of the advantages of this model is its compatibility with both nonindexical contextualism and truth relativism about taste. I argue in chapters 5 and 6 that the empirical data from eavesdropping, retraction, and disagreement cases supports a relativist completion of the model, and I show in detail how to account for these phenomena on the sequenced worlds view. (shrink)

There is no consensus yet on the definition of semantic information. This paper contributes to the current debate by criticising and revising the Standard Definition of semantic Information (SDI) as meaningful data, in favour of the Dretske-Grice approach: meaningful and well-formed data constitute semantic information only if they also qualify as contingently truthful. After a brief introduction, SDI is criticised for providing necessary but insufficient conditions for the definition of semantic information. SDI (...) is incorrect because truth-values do not supervene on semantic information, and misinformation (that is, false semantic information) is not a type of semantic information, but pseudo-information, that is not semantic information at all. This is shown by arguing that none of the reasons for interpreting misinformation as a type of semantic information is convincing, whilst there are compelling reasons to treat it as pseudo-information. As a consequence, SDI is revised to include a necessary truth-condition. The last section summarises the main results of the paper and indicates some interesting areas of application of the revised definition. (shrink)

There is no consensus yet on the definition of semantic information. This paper contributes to the current debate by criticising and revising the Standard Definition of semantic Information as meaningful data, in favour of the Dretske-Grice approach: meaningful and well-formed data constitute semantic information only if they also qualify as contingently truthful. After a brief introduction, SDI is criticised for providing necessary but insufficient conditions for the definition of semantic information. SDI is (...) incorrect because truth-values do not supervene on semantic information, and misinformation is not a tyoe of semantic information, but pseudo-information, that is not semantic information at all. This is shown by arguing that none of the reasons for interpreting misinformation as a type of semantic information is convincing, whilst there are compelling reasons to treat it as pseudo-information. As a consequence, SDI is revised to include a necessary truth-condition. The last section summarises the main results of the paper and indicates the important implications of the revised definition for the analysis of the deflationary theories of truth, the standard definition of knowledge and the classic, quantitative theory of semantic information. (shrink)

Yehoshua Bar-Hillel and Rudolph Carnap’s classical theory of semantic information entails the counterintuitive feature that inconsistent statements convey maximal information. Theories preserving Bar-Hillel and Carnap’s modal intuitions while imposing a veridicality requirement on which statements convey information—such as the theories of Fred Dretske or Luciano Floridi—avoid this commitment, as inconsistent statements are deemed not information-conveying by fiat. This paper produces a pair of paradoxical statements that such “veridical-modal” theories must evaluate as both conveying and not (...) conveying information, although Bar-Hillel and Carnap’s theory accommodates these statements without inconsistency. Moreover, the paradoxes are independently interesting as the mode in which they self-refer bears on their evaluation. (shrink)

This licentiate thesis consist of two separate research papers which concern two tangential topics – that of semantic information and that of information security. Both topics are approached by similar methods, i.e. with a concern about conceptual and definitional issues. In Paper I – concerning the concept of information, and a semantic conception thereof – the conceptual, and definitional, issues focus on one property, that of truthfulness. It is argued – against the veridicality thesis – (...) that semantic information need not be truthful. In Paper II – concerning information security – it is argued that the current leading definitions (so-called ‘CIA’ definitions, which define information as secure if, and only if, the properties of confidentiality, integrity, and availability are retained) suffer from both actual and possible counter-examples, and lack an appropriate conceptual sense. On the basis of this criticism a new kind of definitions is proposed and argued for. (shrink)

Until Tarski’s semantic truth definition, the concept of truth was used informally in metalogic (metamathematics) or even proposed to be eliminated in favour of syntactic concepts, as in Rudolf Carnap’s early programme of philosophy via logical syntax. Tarski demonstrated that the concept of truth can be defined using precise mathematical devices. If L is a language for which the truth definition is given, it must be done in the metalanguage ML. According to this construction, semantics (...) for L must be performed in ML. The most important example concerns the arithmetic of natural numbers. According to Tarski’s theorem of undefinability, the set of truths of this theory cannot be defined in it – such a definition can be formulated in the metatheory. This fact illuminates the relation between syntax and semantics. If Th is a rich theory and presented as a syntactic theory (a calculus), its semantics is not reducible to its syntax. According to Tarski’s view, related to his work in the simple theory of types, semantics for L can be always constructed in the morphology of ML, provided that L is of the finite order. Two problems arise: what does the word “morphology” mean and how to formulate these ideas, when the framework is based on the distinction between first‑order logic and higher‑order logic. As far as the issue concerns morphology, it is possible to consider it as an extended syntax, i.e. vocabulary which does not refer to semantic concepts or defines such notions by not‑semantic, e.g. set‑theoretical, categories. If the hierarchy of logical types is replaced by the distinction of logics of various orders, in particular between first‑order and higher‑order (it is sufficient to use second‑order), it is possible to show that semantics of first‑order rich theories cannot be defined inside them. (shrink)

The article develops a correctness theory of truth (CTT) for semantic information. After the introduction, in section two, semantic information is shown to be translatable into propositional semantic information (i). In section three, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in section four, where [Q + R] is transformed into a Boolean question and (...) its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In sections five and six, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates (in a Fregean sense) Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. The last section draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. (shrink)

There are certain uses of and and or that cannot be explained by their normal meanings as truth-functional connectives, even with sophisticated pragmatic resources. These include examples such as The cops show up, and a fight will break out (‘If the cops show up, a fight will break out’), and I have no friends, or I would throw a party (‘I have no friends. If I did have friends, I would throw a party.’). We argue that these uses are (...) indeed distinct from the more ordinary uses of and and or, but that they are nonetheless related in a principled way. To explain them we give an analysis of what we call the dynamic effects of connectives, which arise in all their uses. The special uses at issue are then argued to be instances where the connectives exhibit their dynamic effects without their truth-conditional meaning. (shrink)

A central topic in the logic of science concerns the proper semantic analysis of theoretical sentences, that is sentences containing theoretical terms. In this paper, we present a novel choice-semantical account of theoretical truth based on the epsilon-term definition of theoretical terms. Specifically, we develop two ways of specifying the truth conditions of theoretical statements in a choice functional semantics, each giving rise to a corresponding logic of such statements. In order to investigate the inferential strength of (...) these logical systems, we provide a translation of each truth definition into a modal definition of theoretical truth. Based on this, we show that the stronger notion of choice-semantical truth captures more adequately our informal semantic understanding of scientific statements. (shrink)

In his recent book, Daniel Dennett defends a novel account of semantic information in terms of design worth getting (Dennett, 2017). While this is an interesting proposal in itself, my purpose in this commentary is to challenge several of Dennett’s claims. First, he argues that semantic information can be transferred without encoding and storing it. Second, this lack of encoding is what makes semantic information unmeasurable. However, the argument for both these claims, presented (...) by Dennett as an intuition pump, is invalid. (shrink)

Quine's aim in this slim book is to "update, sum up and clarify variously intersecting views on cognitive meaning, objective referencce, and the grounds of knowledge." Only nine pages had previously appeared as the book came to print. It is based largely on unpublished lectures and informal discussions of the past ten years back to the Immanuel Kant Lectures given at Stanford in 1980. It does not, then duplicate Leonelli's Italian translation of the Kant lectures, La Scienza E I Datti (...) di Senso, which appeared in 1987. (shrink)

The main aim of the paper is to reject the idea that predicates of personal taste express normative meanings. According to a recent theory proposed by Daniel Gutzmann, predicates of personal taste express both a truth-conditional content and a use-conditional content, the latter being normative. The purported normativity of predicates of personal taste is supposed to consist in that when producing utterances containing such predicates, their speakers suggest how other people ought to experience the objects of taste under discussion. (...) The paper provides a bunch of evidence to show there are utterances containing predicates of personal taste that cannot be used normatively in this sense. In particular, it is claimed that one can make such an utterance and then add a related normative piece of information without doing anything redundant; one can also make such an utterance and then deny the related normative piece of information without generating any contradiction or infelicity. At the same time, it is admitted there are situations in which the speakers do communicate something normative by producing utterances containing predicates of personal taste. We thus need an explanation to cope with such cases. Although the paper does not offer one, it provides some reasons to the effect that a correct explanation has to be pragmatic rather than semantic. (shrink)

We show that Smullyan's analytic tableaux cannot p-simulate the truth-tables. We identify the cause of this computational breakdown and relate it to an underlying semantic difficulty which is common to the whole tradition originating in Gentzen's sequent calculus, namely the dissonance between cut-free proofs and the Principle of Bivalence. Finally we discuss some ways in which this principle can be built into a tableau-like method without affecting its analytic nature.

Between the two horns of Jørgensen's dilemma, the authors opt for that according to which logic deals not only with truth and falsity but also with those concepts not possessing this semantic reference. Notwithstanding the “descriptive” prejudice, deontic logic has gained validity among modal logics. The technical foundation proposed consists in an abstract characterization of logical consequence. By identifying in the abstract notion of consequence the primitive from which to begin, it is possible to define the connectives - (...) even those of obligation - by means of the rules of introduction or elimination in a context of derivation. (shrink)

This paper outlines a quantitative theory of strongly semantic information (TSSI) based on truth-values rather than probability distributions. The main hypothesis supported in the paper is that the classic quantitative theory of weakly semantic information (TWSI), based on probability distributions, assumes that truth-values supervene on factual semantic information, yet this principle is too weak and generates a well-known semantic paradox, whereas TSSI, according to which factual semantic information encapsulates (...) class='Hi'>truth, can avoid the paradox and is more in line with the standard conception of what generally counts as semantic information. After a brief introduction, section two outlines the semantic paradox implied by TWSI, analysing it in terms of an initial conflict between two requisites of a quantitative theory of semantic information. In section three, three criteria of semantic information equivalence are used to provide a taxonomy of quantitative approaches to semantic information and introduce TSSI. In section four, some further desiderata that should be fulfilled by a quantitative TSSI are explained. From section five to section seven, TSSI is developed on the basis of a calculus of truth-values and semantic discrepancy with respect to a given situation. In section eight, it is shown how TSSI succeeds in solving the paradox. Section nine summarises the main results of the paper and indicates some future developments. (shrink)

We construct a presentist semantics on which there are no truth-makers for past and future tensed statements. The semantics is not an expressivist or projectivist one, and is not susceptible to the semantical difficulties that confront such theories. We discuss how the approach handles some standard concerns with presentism.

Classical logic of formal provability includes Löb’s theorem, but not reflection. In contrast, intuitions about the inferential behavior of informal provability (in informal mathematics) seem to invalidate Löb’s theorem and validate reflection (after all, the intuition is, whatever mathematicians prove holds!). We employ a non-deterministic many-valued semantics and develop a modal logic T-BAT of an informal provability operator, which indeed does validate reflection and invalidates Löb’s theorem. We study its properties and its relation to known provability-related paradoxical arguments. We also (...) argue that T-BAT is a fairly sensible candidate for a formal logic of informal provability. (shrink)

Contemporary philosophy and theoretical psychology are dominated by an acceptance of content-externalism: the view that the contents of one's mental states are constitutively, as opposed to causally, dependent on facts about the external world. In the present work, it is shown that content-externalism involves a failure to distinguish between semantics and pre-semantics---between, on the one hand, the literal meanings of expressions and, on the other hand, the information that one must exploit in order to ascertain their literal meanings. It (...) is further shown that, given the falsity of content-externalism, the falsity of the Computational Theory of Mind (CTM) follows. It is also shown that CTM involves a misunderstanding of terms such as "computation," "syntax," "algorithm," and "formal truth." Novel analyses of the concepts expressed by these terms are put forth. These analyses yield clear, intuition-friendly, and extensionally correct answers to the questions "what are propositions?, "what is it for a proposition to be true?", and "what are the logical and psychological differences between conceptual (propositional) and non-conceptual (non-propositional) content?" Naively taking literal meaning to be in lockstep with cognitive content, Burge, Salmon, Falvey, and other semantic externalists have wrongly taken Kripke's correct semantic views to justify drastic and otherwise contraindicated revisions of commonsense. (Salmon: What is non-existent exists; at a given time, one can rationally accept a proposition and its negation. Burge: Somebody who is having a thought may be psychologically indistinguishable from somebody who is thinking nothing. Falvey: somebody who rightly believes himself to be thinking about water is psychologically indistinguishable from somebody who wrongly thinks himself to be doing so and who, indeed, isn't thinking about anything.) Given a few truisms concerning the differences between thought-borne and sentence-borne information, the data is easily modeled without conceding any legitimacy to any one of these rationality-dismantling atrocities. (It thus turns out, ironically, that no one has done more to undermine Kripke's correct semantic points than Kripke's own followers!). (shrink)

Since the introduction of the computer in the early 1950's, the investigation of artificial intelligence has followed three chief avenues: the discovery of self-organizing systems; the building of working models of human behavior, incorporating specific psychological theories; and the building of "heuristic" machines, without bias in favor of humanoid characteristics. While this work has used philosophical logic and its results may illustrate philosophical problems, the artificial intelligence program is by now an intricate, organized specialty. This book, therefore, has a (...) quite specialized audience of its own although it can be very valuable to those philosophers who are interested and competent in using this pioneering material. Five scientific papers report attempts to solve five different kinds of problems. Bertram Raphael describes an attempt to build a memory structure that converts the information input into a systematic model by "understanding" the informational statements as they are made. Daniel Bobrow's machine can set up algebraic equations from informal verbal statements. M. Ross Quillan asks: "What sort of representational format can permit the 'meanings' of words to be stored?" Thomas Evans' machine, Analogy, serves as a model for "pattern-recognition" rather than the "common-property" method of semantic memory. Fischer Black has developed a logical deduction mechanism for question-answering which keeps track of where we are and avoids endless deduction. The editor and John McCarthy contribute more general chapters, providing the historical background of cybernetics, and dealing with the problem of formalizing a concept of causality. Minsky ends the volume with his view that our convictions on dualism, consciousness, free will, and the like are used in the attempt to explain the complicated interactions between parts of our model of ourselves.--M. B. M. (shrink)

In this paper I argue that, according to a particular physicalist conception of information, information is both alethically neutral or non-alethic, and is intrinsically semantic. The conception of information presented is physicalist and reductionist, and is contrary to most current pluralist and non-reductionist philosophical opinion about the nature of information. The ontology assumed for this conception of information is based upon physicalist non-eliminative ontic structural realism. However, the argument of primary interest is that (...) class='Hi'>information so construed is intrinsically semantic on a reductionist and non-alethic basis where semantic content is constituted by indication along causal pathways. Similar arguments have been presented by philosophers with respect to representation. I suggest the conception of information that I present is correct by the lights of the best applied mathematical and scientific theories of information. If so, there is no need for any separate theory of semantic information. Thus I present a theory of intrinsically semantic information which also constitutes an informational theory of truth where truth reduces to information. In the last section I discuss weakly and strongly semantic information, and reject them in favour of alethically neutral intrinsically semantic information. (shrink)

We present a compositional semantics for first-order logic with imperfect information that is equivalent to Sevenster and Sandu’s equilibrium semantics (under which the truth value of a sentence in a finite model is equal to the minimax value of its semantic game). Our semantics is a generalization of an earlier semantics developed by the first author that was based on behavioral strategies, rather than mixed strategies.

In this paper we explore the possibility of giving a justification of the “semantic information” content and measure, in the framework of the recent coalgebraic approach to quantum systems and quantum computation, extended to QFT systems. In QFT, indeed, any quantum system has to be considered as an “open” system, because it is always interacting with the background fluctuations of the quantum vacuum. Namely, the Hamiltonian in QFT always includes the quantum system and its inseparable thermal bath, formally (...) “entangled” like an algebra with its coalgebra, according to the principle of the “doubling” of the degrees of freedom between them. This is the core of the representation theory of cognitive neuroscience based on QFT. Moreover, in QFT, the probabilities of the quantum states follow a Wigner distribution, based on the notion and measure of quasiprobability, where regions integrated under given expectation values do not represent mutually exclusive states. This means that a computing agent, either natural or artificial, in QFT, against the quantum Turing machine paradigm, is able to change dynamically the representation space of its computations. This depends on the possibility of interpreting QFT system computations within the framework of category theory logic and its principle of duality between opposed categories, such as the algebra and coalgebra categories of QFT. This allows us to justify and not only to suppose, like in the “theory of strong semantic information” of L. Floridi, the definition of modal “local truth” and the notion of semantic information as a measure of it, despite both measures being defined on quasiprobability distributions. (shrink)

"Semantic Truth Theories" uses the techniques of mathematical logic to develop a new semantic treatment of the concept of truth based on ideas of Saul Kripke. Yael Cohen goes on to solve the Liar paradox, Hempel's raven paradox in the philosophy of science, and other classical problems of philosophy. She does this by enlarging the scope of formal logic to include concepts of presupposition besides the usual implication. The book thus provides a unified treatment of many (...) topics having to do with truth, topics whose deep and unsuspected interconnections are not visible without the insights of mathematical knowledge which the author elaborates. The early chapters of the book contain an accessible introduction to semantic paradoxes which should be useful to students. (shrink)

The mainstream view in the philosophy of language holds that every meaningful sentence has a truth-condition. This view, however, runs into difficulties with non-objective sentences such as sentences on matters of taste or value: these do not appear to be either true or false, but are generally taken to be meaningful. How can this conflict be resolved? -/- Truth Without Objectivity examines various ways of resolving this fundamental problem, before developing and defending its own original solution, a (...) relativist theory of truth. Standard solutions maintain either that in uttering non-objective sentences speakers make implicit reference to their own preferences and thus have unproblematic truth conditions, or that they have no truth conditions at all. Max Kölbel argues that both of these proposed solutions are inadequate, and that a third well-known position, minimalism, can only solve the problem if it is developed in the direction of relativism about truth. -/- Kölbel defends the idea that truth (as invoked in semantics) is a neutral notion: a sentence’s possessing a truth condition does not yet entail that it concerns an objective subject matter, because truth and objectivity are independent of one another. He argues that this notion of ‘truth without objectivity’ leads directly to relativism about truth, and goes on to defend one form of relativism against well-known objections. (shrink)

One of the most important objections to information-based semantic theories is that they are incapable of explaining Frege cases. The worry is that if a concept’s intentional content is a function of its informational content, as such theories propose, then it would appear that coreferring expressions have to be synonymous, and if this is true, it’s difficult to see how an agent could believe that a is F without believing that b is F whenever a and b (...) are identical. I argue that this appearance is deceptive. If we heed the distinction between the analog and digital contents of a signal, it is actually possible to reconstruct something akin to Frege’s sense/reference distinction in purely information-theoretic terms. This allows informational semanticists to treat coreferring expressions as semantically distinct and to solve Frege cases in the same way that Frege did—namely, by appealing to the different contents of coreferring expressions. (shrink)

The relevance of the topic of the article is due to the need for philosophical research into the nature of information as a factor that significantly affects the development of modern society. Understanding the nature of information is important for the study of processes, mechanisms, and technologies in any sphere of social life.The study is based on a semiotic approach, the relationship between information and reality is considered based on the semantic and pragmatic aspects of this (...) problem. The concept of semantic information by Luciano Floridi and the views on the nature of information by Yuval Noah Harari are analyzed. The semantic aspect is understood not only in terms of the “truthfulness” of data, but also in terms of the perception and interpretation of this data by the consumer of information. Information appears as a model of reality, and at the same time information models reality, creating a second, illusory reality. A person exists in a situation of “two realities” (ontological and semiotic). This situation of “two realities” creates numerous philosophical and semiotic problems.Information not only reflects and constructs reality but is also used as a means of influencing consciousness, as a means of control. The modern information society is built on technologies of manipulation of consciousness. This is associated with the peculiarities of the functioning of information in society. In modern culture, information increasingly replaces reality, simulates reality. These are fakes and disinformation, rumors and conspiracy theories, as well as literature and art that exist as an imitation of reality. The media record events less and less often, and more and more often direct them. This is what describes the state of post-truth, when information flows themselves determine what is true and what is not. Information loses touch with reality, information and reality do not intersect or intersect rarely. People are increasingly immersed in this artificial reality, being in the information, virtual world. (shrink)

In this paper I argue, contrary to Chad Hansen’s view , that pre-Han 漢 Chinese philosophy has the semantic concept of truth. Hansen argues that, first, pre-Han Chinese thinkers do not have motivations to introduce the concept of truth in their philosophy due to their peculiar theory of language; second, the concept does not fit well with philosophical texts at that time, and in particular, the Mozi 墨子 text about the three standards of doctrine. However, I argue (...) that Chinese thinkers indeed have reasons to introduce the concept of truth. Hansen’s reading of the three standards of doctrine takes the standards as standards of correct word use, thus attributing to the authors of the Mozi an understanding of yan 言 as something without complete propositional content. However, I argue, a reading that sees the three standards as standards for something with complete propositional content explains better the passages in which the authors apply the standards to various issues. Finally I argue that the term ran 然 is sometimes used as a truth predicate in classical Chinese texts, because it has several important features identical to that of the truth predicate “is true” in English. (shrink)

There is no consensus as to whether a Liar sentence is meaningful or not. Still, a widespread conviction with respect to Liar sentences (and other ungrounded sentences) is that, whether or not they are meaningful, they are useless . The philosophical contribution of this paper is to put this conviction into question. Using the framework of assertoric semantics , which is a semantic valuation method for languages of self-referential truth that has been developed by the author, we show (...) that certain computational problems, called query structures , can be solved more efficiently by an agent who has self-referential resources (amongst which are Liar sentences) than by an agent who has only classical resources; we establish the computational power of self-referential truth . The paper concludes with some thoughts on the implications of the established result for deflationary accounts of truth. (shrink)

We treat the problem of reasoning with ambiguous propositions. Even though ambiguity is obviously problematic for reasoning, it is no less obvious that ambiguous propositions entail other propositions, and are entailed by other propositions. This article gives a formal analysis of the underlying mechanisms, both from an algebraic and a logical point of view. The main result can be summarized as follows: sound reasoning with ambiguity requires a distinction between equivalence on the one and congruence on the other side: the (...) fact that \ entails \ does not imply \ can be substituted for \ in all contexts preserving truth. Without this distinction, we will always run into paradoxical results. We present the sequent calculus \, which we conjecture implements sound and complete propositional reasoning with ambiguity, and provide it with a language-theoretic semantics, where letters represent unambiguous meanings and concatenation represents ambiguity. (shrink)

Singular terms without referents are called empty or vacuous terms. But not all of them are equally empty. In particular, not all proper names that fail to name an existing object fail in the same way: although they are all empty, they are not all equally vacuous. “Vulcan,” “Jacob Horn,” “Odysseus,” and “Sherlock Holmes,” for instance, are all empty. They have no referents. But they are not entirely vacuous or useless. Sometimes they are used in statements that are true (...) or false. We are basically referentialists about proper names. The ordinary semantic function of a proper name is to refer to an object, and to do it directly, that is, without semantically providing any identifying condition that the object should meet to be the referent. To put it differently, we agree that statements containing proper names express singular propositions, i.e., that their truth-conditions involve the referent of the proper name, if it exists, and not any identifying condition of it. Now, since empty names lack a referent, and therefore would not express such a singular proposition, how do we explain that many, if not all, statements containing them have a truth-value? Answering this question for the case of fictional names, in particular, is the aim of this paper. (shrink)

Informational semantics were first developed as an interpretation of the model-theory of substructural (and especially relevant) logics. In this paper we argue that such a semantics is of independent value and that it should be considered as a genuine alternative explication of the notion of logical consequence alongside the traditional model-theoretical and the proof-theoretical accounts. Our starting point is the content-nonexpansion platitude which stipulates that an argument is valid iff the content of the conclusion does not exceed the combined content (...) of the premises. We show that this basic platitude can be used to characterise the extension of classical as well as non-classical consequence relations. The distinctive trait of an informational semantics is that truth-conditions are replaced by information-conditions. The latter leads to an inversion of the usual order of explanation: Considerations about logical discrimination (how finely propositions are individuated) are conceptually prior to considerations about deductive strength. Because this allows us to bypass considerations about truth, an informational semantics provides an attractive and metaphysically unencumbered account of logical consequence, non-classical logics, logical rivalry and pluralism about logical consequence. (shrink)