A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

An attractive approach to the semantic paradoxes holds that cases of semantic pathology give rise to indeterminacy. What attitude should a rational agent have toward a proposition that it takes to be indeterminate in this sense? Orthodoxy holds that rationality requires that an agent disbelieve such a proposition. I argue that a rational agent should be such that it is indeterminate whether it believes the proposition in question. For rational agents, indeterminacy in the objects of their attitudes will filter up (...) to the attitudes themselves. (shrink)

If □ is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where □ is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate approach. The predicate view, however, is threatened mainly by two problems: Some obvious predicate systems are inconsistent, and possible-worlds semantics for predicates of (...) sentences has not been developed very far. By introducing possible-worlds semantics for the language of arithmetic plus the unary predicate □, we tackle both problems. Given a frame (W, R) consisting of a set W of worlds and a binary relation R on W, we investigate whether we can interpret □ at every world in such a way that □ $\ulcorner A \ulcorner$ holds at a world ᵆ ∊ W if and only if A holds at every world $\upsilon$ ∊ W such that ᵆR $\upsilon$ . The arithmetical vocabulary is interpreted by the standard model at every world. Several 'paradoxes' (like Montague's Theorem, Gödel's Second Incompleteness Theorem, McGee's Theorem on the ω-inconsistency of certain truth theories, etc.) show that many frames, e.g., reflexive frames, do not allow for such an interpretation. We present sufficient and necessary conditions for the existence of a suitable interpretation of □ at any world. Sound and complete semi-formal systems, corresponding to the modal systems K and K4, for the class of all possible-worlds models for predicates and all transitive possible-worlds models are presented. We apply our account also to nonstandard models of arithmetic and other languages than the language of arithmetic. (shrink)

In philosophical logic necessity is usually conceived as a sentential operator rather than as a predicate. An intensional sentential operator does not allow one to express quantified statements such as 'There are necessary a posteriori propositions' or 'All laws of physics are necessary' in first-order logic in a straightforward way, while they are readily formalized if necessity is formalized by a predicate. Replacing the operator conception of necessity by the predicate conception, however, causes various problems and forces one to reject (...) many philosophical accounts involving necessity that are based on the use of operator modal logic. We argue that the expressive power of the predicate account can be restored if a truth predicate is added to the language of first-order modal logic, because the predicate 'is necessary' can then be replaced by 'is necessarily true'. We prove a result showing that this substitution is technically feasible. To this end we provide partial possible-worlds semantics for the language with a predicate of necessity and perform the reduction of necessities to necessary truths. The technique applies also to many other intensional notions that have been analysed by means of modal operators. (shrink)

The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is factive, and that we can use logical/mathematical reasoning to extend our knowledge via very weak single-premise closure principles. I argue that classical logic, not any of these epistemic principles, is the culprit. I develop a consistent theory validating (...) all these principles by combining Hartry Field's theory of truth with a modal enrichment developed for a different purpose by Michael Caie. The only casualty is classical logic: the theory avoids paradox by using a weaker-than-classical K3 logic. I then assess the philosophical merits of this approach. I argue that, unlike the traditional semantic paradoxes involving extensional notions like truth, its plausibility depends on the way in which sentences are referred to--whether in natural languages via direct sentential reference, or in mathematical theories via indirect sentential reference by Gödel coding. In particular, I argue that from the perspective of natural language, my non-classical treatment of knowledge as a predicate is plausible, while from the perspective of mathematical theories, its plausibility depends on unresolved questions about the limits of our idealized deductive capacities. (shrink)

Justified belief is a core concept in epistemology and there has been an increasing interest in its logic over the last years. While many logical investigations consider justified belief as an operator, in this paper, we propose a logic for justified belief in which the relevant notion is treated as a predicate instead. Although this gives rise to the possibility of liar-like paradoxes, a predicate treatment allows for a rich and highly expressive framework, which lives up to the universal ambitions (...) of investigating epistemological concepts. We start with a base theory for justified belief, and then systematically present putative additional axioms for justified belief. We provide an overview of consistency results when the additional principles are added to the base theory, and discuss their philosophical plausibility. (shrink)

) Modern theories of formal truth have traditionally been used to analyse semantic paradoxes, but their field of application goes well beyond this field to include ontological issues, Godel′s incompleteness phenomena, and the relationship between object language, meta language and reduction. All these fields have had new light sched upon them by studies on the theories of truth. In providing a first summary of the various approaches in this field the author documents their respective advantages and areas of application. The (...) emphasis here is on the axiomatic theories of truth developed by Cantini, Feferman, Friedman and the autor himself, which over the past ten years have increasingly gained ground over the semantic theories of Kripke et al. The book describes the way in which many of the aciomatic proposals are built up and expand on semantic theories. This ist the first time that the results in this field have been made accessible to readers in their larger context. The book deals in detail with the technical aspects and so is ideal as a point of entry into the vast array of literature on the metamathematics of this field. A key objective of the book is to extablish a connection between the latest theories of truth and the older constructions elaborated by Tarski. He made a number of important findings about the formal properties of truth back in the 1930s, but some of his constructions are now considered to be obsolete. Tarski′s views appear in a new light in this book since some of his ideas have only been formulated in recent years. (shrink)

In response to the liar’s paradox, Kripke developed the fixed-point semantics for languages expressing their own truth concepts. Kripke’s work suggests a number of related fixed-point theories of truth for such languages. Gupta and Belnap develop their revision theory of truth in contrast to the fixed-point theories. The current paper considers three natural ways to compare the various resulting theories of truth, and establishes the resulting relationships among these theories. The point is to get a sense of the lay of (...) the land amid a variety of options. Our results will also provide technical fodder for the methodological remarks of the companion paper to this one. (shrink)

The psychological orientation treats semantics as a matter of idealized computation over symbolic structures, and semantic relations like denotation as relations between linguistic expressions and these structures. I argue that results similar to Gödel's incompleteness theorems and Tarski's theorem on truth create foundational difficulties for this view of semantics.

Thomason (1979/2010)'s argument against competence psychologism in semantics envisages a representation of a subject's competence as follows: he understands his own language in the sense that he can identify the semantic content of each of its sentences, which requires that the relation between expression and content be recursive. Then if the scientist constructs a theory that is meant to represent the body of the subject's beliefs, construed as assent to the content of the pertinent sentences, and that theory satisfies certain (...) 'natural assumptions', then it implies that the subject is inconsistent if the beliefs include arithmetic. I challenge the result by insisting that the motivation for Thomason's principle (ii), via Moore's Paradox, leads to a more complex representation, in which stating the facts and expressing one's beliefs are treated differently. Certain logical connections among expressions of assent, and between expression and statement, are a matter of consequence on pain of pragmatic incoherence, not consequence on pain of classical logical inconsistency. But while this salvages the possibility that a modification of the above sort of representation could be adequate, Thomason's devastating conclusion returns if the scientist identifies himself as the subject of that representation, even when paying heed to the requirement of pragmatic coherence of the sort highlighted by Moore's Paradox. (shrink)

This paper concerns two paradoxes involving propositions. The first is Russell's paradox from Appendix B of The Principles of Mathematics, a version of which was later given by Myhill. The second is a paradox in the framework of possible worlds, given by Kaplan. This paper shows a number of things about these paradoxes. First, we will see that, though the Russell/myhill paradox and the Kaplan paradox might appear somewhat different, they are really just variants of the same phenomenon. Though they (...) do this in different ways, the core of each paradox is to use the notion of a proposition to construct a function, f, from the power set of some set into the set itself. Next we will see how this paradox fits into the Inclosure Schema. Finally, I will provide a model of the paradox in question, showing its results to be non‐trivial, though inconsistent. (shrink)

The epistemic paradox of 'belief instability' has recently received notable attention from many philosophers. Understanding this paradox is very important because belief is a central notion of psychologically motivated semantic theories in philosophy, linguistics, and cognitive science, and this paradox poses serious problems for these theories. In this dissertation I criticize previous proposals and offer a new proposal, which I call a 'revision theory of belief'. ;My revision theory of belief is in many respects an application of Gupta's and Belnap's (...) revision theory of truth, which is proposed to deal with the Liar paradox. They argue that truth is a circular notion because Tarski biconditionals provide circular, partial definitions of truth. And this circularity of truth is the source of the Liar paradox. I offer a similar proposal for handling the paradox of belief instability. In particular, I argue that our notion of belief involved in the paradox of belief instability is circular, and that is why this paradox arises. ;If the notion of belief involved in the paradox is circular, we have to employ a hypothetical evaluation of the belief predicate, and if we do so through a revision process, we can avoid the contradiction which seems to be generated by some paradoxical belief sentences. But it is not easy to show that our notion of belief is circular. Especially, there is nothing like Tarski biconditionals in the case of belief. Nonetheless, I show in this dissertation that there is a certain schema, which I call the B-schema, whose instances can be taken as circular, partial definitions of a notion of belief, and it is that notion of belief which is involved in the paradox of belief instability. In this dissertation I also show that the revision approach can be extended for handling the Knower paradox. I argue that the Knower paradox arises because our notion of knowledge involved in the paradox is circular. (shrink)

We consider a language containing partial predicates for subjective knowability and truth. For this language, inductive hierarchy rules are proposed which build up the extension and anti-extension of these partial predicates in stages. The logical interaction between the extension of the truth predicate and the anti-extension of the knowability predicate is investigated.

Thomason (1979/2010)’s argument against competence psychologism in semantics envisages a representation of a subject’s competence as follows: he understands his own language in the sense that he can identify the semantic content of each of its sentences, which requires that the relation between expression and content be recursive. Then if the scientist constructs a theory that is meant to represent the body of the subject’s beliefs, construed as assent to the content of the pertinent sentences, and that theory satisfies certain (...) ‘natural assumptions’, then it implies that the subject is inconsistent if the beliefs include arithmetic. I challenge the result by insisting that the motivation for Thomason’s principle (ii), via Moore’s Paradox, leads to a more complex representation, in which stating the facts and expressing one’s beliefs are treated differently. Certain logical connections among expressions of assent, and between expression and statement, are a matter of consequence on pain of pragmatic incoherence, not consequence on pain of classical logical inconsistency. But while this salvages the possibility that a modification of the above sort of representation could be adequate, Thomason’s devastating conclusion returns if the scientist identifies himself as the subject of that representation, even when paying heed to the requirement of pragmatic coherence of the sort highlighted by Moore’s Paradox. (shrink)