Tim Maudiin’s Truth and Paradox (Maudlin 2004, cited here as T&P), a book that is richly endowed with interesting analyses and original theses, chooses to ignore both the prosentential theory of truth from Grover, Camp and Belnap 1975 and the revision theory in its book form, Gupta and Belnap 1993 (The Revision Theory of Truth, henceforth RTT).1 There is no discussion of either theory, nor even any mention of them in the list of references. I offer a pair of quotes (...) chosen from among a number of T&P generalizations that Maudlin would doubtless have modified if RTT had been on his mind at the time of composition of T&P. (1) "...every acceptable account of truth seems to imply that the Tlnferences must be valid" (p. 15). My response is that the revision theory of truth is built on an explicit denial of this. Rather than taking them as "valid," RTT takes the T—Inferences as stage-of-revision—shifting revision principles in the context of a definitional account of truth. (2) "...most discussions of the Liar paradox and related paradoxes...do not address [such questions as]...where ['l`&P’s] Proof Lambda and Proof Gamma go wrong" (p. 20). In fact, RTT is not open to this criticism. It’s simple natural-deduction calculus C0 addresses exactly such questions. (shrink)

According to Gupta and Belnap, the “extensional behavior” of ‘true’ matches that of a circularly defined predicate. Besides promising to explain semantic paradoxicality, their general theory of circular predicates significantly liberalizes the framework of truth-conditional semantics. The authors’ discussions of the rationale behind that liberalization invoke two distinct senses in which a circular predicate’s semantic behavior is explained by a “revision rule” carrying hypothetical information about its extension. Neither attempted explanation succeeds. Their theory may however be modified to employ a (...) relativized notion of extension. The resulting contextualist semantics for ‘true’ construes circularity as a pragmatic phenomenon. (shrink)

The paper "Does Epistemological Holism lead to Meaning – Holism" (Cozzo, 2002) touches one of the main problems of a molecularist theory of meaning: how to restrict the class of inferences connected with a word, in order to define the sense of the word. I will discuss the starting point of this approach, mainly the pre-theoretical criterion against meaning holism: meaning holism, following a well-known argument by Dummett, reduces communication to a mystery. However there is a strong background assumption of (...) this argument: communication is sharing the same meanings. Accepting this assumption without acknowledging it makes the entire proposal more problematic than it appears at first sight. In what follows I will try to clarify the possibility of a different reaction to meaning holism, putting forward some distinctions which come to light when the above stated assumption is made explicit. Then, some other comments will follow on the difficulty of avoiding extreme meaning holism, even within Cozzo's elegant attempt to implement a molecularist vision; in the end, his notion of the sense of a word will appear to be difficult to define, if these holistic aspects of language take the space they deserve even in his theory. I conclude with two remarks regarding two relevant requirements for a theory of meaning (conservativeness and harmony). (shrink)

A syntactically correct number-specification may fail to specify any number due to underspecification. For similar reasons, although each sentence in the Yablo sequence is syntactically perfect, none yields a statement with any truth-value. As is true of all members of the Liar family, the sentences in the Yablo sequence are so constructed that the specification of their truth-conditions is vacuous; the Yablo sentences fail to yield statements. The ‘revenge’ problem is easily defused. The solution to the semantical paradoxes offered here (...) revives the mediaeval cassatio approach, one that largely disappeared due to its incomprehending rejection by influential contemporary writers such as William Shyreswood and Thomas Bradwardine. The diagnosis readily extends to the set-theoretic paradoxes. (shrink)

Logic: the Basics is an accessible introduction to the core philosophy topic of standard logic. Focussing on traditional Classical Logic the book deals with topics such as mathematical preliminaries, propositional logic, monadic quantified logic, polyadic quantified logic, and English and standard ‘symbolic transitions’. With exercises and sample answers throughout this thoroughly revised new edition not only comprehensively covers the core topics at introductory level but also gives the reader an idea of how they can take their knowledge further and the (...) philosophical questions around logic. -/- Logic: the Basics is essential reading for first-year undergraduate philosophy students on standard introductory logic courses. (shrink)