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.

For many purposes in pragmatics one needs to appeal to a context of utterance conceived as a set of sentences or propositions. The context of utterance in this sense is often defined as the set of assumptions that the speaker supposes he or she shares with the hearer. I argue by stages that this is a mistake. First, if contexts must be defined in terms of shared assumptions, then it would be preferable to define the context as the set of (...) assumptionsthat the interlocutors really do share. Second, not all shared assumptions belong to the context, because not all are relevant. Third, hearers need not accept every member of the context, because some presuppositions are informative. Finally, presupposition coordination problems show that contexts may have contents that even the speaker does not accept. Contexts, we may conclude, are mind-transcendent. In one sense of the term a "presupposition" is an interlocutor's take on this mind-transcendent context. (shrink)

The rule of universal instantiation appears to be subject to counterexamples, although the rule of existential generalization is not subject to the same doubts. This paper is a survey of ways of responding to this problem, both conservative and revisionist. The conclusion drawn is that logical validity should be defined in terms of assertibility in a context rather than in terms of truth on an interpretation. Contexts are here defined, not in terms of the attitudes of the interlocutors, but in (...) terms of the goals of conversation, and assertibility is explained in terms of cooperation. (shrink)

I define T-schema deflationism as the thesis that a theory of truth for our language can simply take the form of certain instances of Tarski's schema (T). I show that any effective enumeration of these instances will yield as a dividend an effective enumeration of all truths of our language. But that contradicts Gödel's First Incompleteness Theorem. So the instances of (T) constituting the T-Schema deflationist's theory of truth are not effectively enumerable, which casts doubt on the idea that the (...) T-schema deflationist in any sense has a theory of truth. (The argument in section 2 of "Semantics for Deflationists" supercedes this paper.). (shrink)

This paper is obsolete. It is superseded by the book, Conditionals in Context, MIT Press, 2005.

Presenting a selection of thirteen essays on various topics at the foundations of philosophy--one previously unpublished and eight accompanied by substantial new postscripts--this book offers outstanding insight on truth, meaning, and propositional attitudes; semantic indeterminacy and other kinds of "factual defectiveness;" and issues concerning objectivity, especially in mathematics and in epistemology. It will reward the attention of any philosopher interested in language, epistemology, or mathematics.

Paul Horwich gives the definitive exposition of a prominent philosophical theory about truth, `minimalism'. His theory has attracted much attention since the first edition of Truth in 1990; he has now developed, refined, and updated his treatment of the subject, while preserving the distinctive format of the book. This revised edition appears simultaneously with a new companion volume, Meaning; the two books demystify central philosophical issues, and will be essential reading for all who work on the philosophy of language.

This book is about one of the most baffling of all paradoxes – the famous Liar paradox. Suppose we say: 'We are lying now'. Then if we are lying, we are telling the truth; and if we are telling the truth we are lying. This paradox is more than an intriguing puzzle, since it involves the concept of truth. Thus any coherent theory of truth must deal with the Liar. Keith Simmons discusses the solutions proposed by medieval philosophers and offers (...) his own solutions and in the process assesses other attempts to solve the paradox. Unlike such attempts, Simmons' 'singularity' solution does not abandon classical semantics and does not appeal to the kind of hierarchical view found in Barwise's and Etchemendy's The Liar. Moreover, Simmons' solution resolves the vexing problem of semantic universality – the problem of whether there are semantic concepts beyond the expressive reach of a natural language such as English. (shrink)