This paper argues for two principal conclusions about natural language semantics based on John Buridan's considerations concerning the notion of formal consequence, that is, formally valid inference. (1) Natural languages are essentially semantically closed, yet they do not have to be on that account inconsistent. (2) Natural language semantics has to be token based, as a matter of principle. The paper investigates the Buridanian considerations leading to these conclusions, and considers some obviously emerging objections to the Buridanian approach.

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)

About twenty-five years ago, Charles Parsons published a paper that began by asking why we still discuss the Liar Paradox. Today, the question seems all the more apt. In the ensuing years we have seen not only Parsons’ work (1974), but seminal work of Saul Kripke (1975), and a huge number of other important papers. Too many to list. Surely, one of them must have solved it! In a way, most of them have. Most papers on the Liar Paradox offer (...) some explanation of the behavior of paradoxical sentences, and most also offer some extension for the predicate ‘true’ that they think is adequate, at least in some restricted setting. But if this is a solution, then the problem we face is far from a lack of solutions; rather, we have an overabundance of conflicting ones. Kripke’s work alone provides us with uncountably many different extensions for the truth predicate. Even if it so happens that one of these is a conclusive solution, we do not seem to know which one, or why. We should also ask, given that we are faced with many technically elegant but contradictory views, if they are really all addressing the same problem. What we lack is not solutions, but a way to compare and evaluate the many ones we have. (shrink)

This paper presents an approach to truth and the Liar paradox which combines elements of context dependence and hierarchy. This approach is developed formally, using the techniques of model theory in admissible sets. Special attention is paid to showing how starting with some ideas about context drawn from linguistics and philosophy of language, we can see the Liar sentence to be context dependent. Once this context dependence is properly understood, it is argued, a hierarchical structure emerges which is neither ad (...) hoc nor unnatural. (shrink)

A number of philosophers have argued that the key to understanding the semantic paradoxes is to recognize that truth is essentially relative to context. All of these philosophers have been motivated by the idea that once a liar sentence has been uttered we can 'step back' and, from the point of view of a different context, judge that the liar sentence is true. This paper argues that this 'stepping back' idea is a mistake that results from failing to relativize truth (...) to context in the first place. Moreover, context-relative liar sentences, such as 'This sentence is not true in any context' present a paradox even after truth has been relativized to context. Nonetheless, the relativization of truth to context may offer us the means to avoid paradox, if we can justifiably deny that a sentence about a context can be true in the very context it is about. (shrink)

The paper shows how we can add a truth predicate to arithmetic (or formalized syntactic theory), and keep the usual truth schema Tr( ) ↔ A (understood as the conjunction of Tr( ) → A and A → Tr( )). We also keep the full intersubstitutivity of Tr(>A>)) with A in all contexts, even inside of an →. Keeping these things requires a weakening of classical logic; I suggest a logic based on the strong Kleene truth tables, but with → (...) as an additional connective, and where the effect of classical logic is preserved in the arithmetic or formal syntax itself. Section 1 is an introduction to the problem and some of the difficulties that must be faced, in particular as to the logic of the →; Section 2 gives a construction of an arithmetically standard model of a truth theory; Section 3 investigates the logical laws that result from this; and Section 4 provides some philosophical commentary. (shrink)

The paper offers a solution to the semantic paradoxes, one in which (1) we keep the unrestricted truth schema “True(A)↔A”, and (2) the object language can include its own metalanguage. Because of the first feature, classical logic must be restricted, but full classical reasoning applies in “ordinary” contexts, including standard set theory. The more general logic that replaces classical logic includes a principle of substitutivity of equivalents, which with the truth schema leads to the general intersubstitutivity of True(A) with A (...) within the language.The logic is also shown to have the resources required to represent the way in which sentences (like the Liar sentence and the Curry sentence) that lead to paradox in classical logic are “defective”. We can in fact define a hierarchy of “defectiveness” predicates within the language. Contrary to claims that any solution to the paradoxes just breeds further paradoxes (“revenge problems”) involving defectiveness predicates, there is a general consistency/conservativeness proof that shows that talk of truth and the various “levels of defectiveness” can all be made coherent together within a single object language. (shrink)

This volume is the first annotated translation in any language of the entire text of the Summulae de dialectica, by the Parisian master of arts John Buridan (1300-1358). One of the most influential works in the history of late medieval philosophy, the Summulae is Buridan's systematic exposition of his nominalist philosophy of logic. Buridan's doctrine spread rapidly and for some two hundred years was dominant at many European universities. His work is of increasing interest today not only to historians of (...) medieval philosophy but also to modern philosophers, several of whom find in Buridan's ideas important clues to problems of contemporary philosophy. Gyula Klima provides a substantial introduction to Buridan's life and work and discusses his place in the history of logic. Through extensive notes Klima assists philosopher and medievalist alike to read Buridan with understanding and insight. Those with a philosophical interest in the relations among the structures of language, thought, and reality will find much to ponder in the Summulae. (shrink)

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed (...) with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

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)

Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while the (...) Russellian conception of the relation between sentences, propositions, and truth is crucially flawed in limiting cases, the Austinian perspective has fruitful applications to the analysis of semantic paradox. In the course of their study of a language admitting circular reference and containing its own truth predicate, Barwise and Etchemendy also develop a wide range of model-theoretic techniques--based on a new set-theoretic tool, Peter Aczel's theory of hypersets--that open up new avenues in logical and formal semantics. (shrink)

If we try to evaluate the sentence on line 1 we ¯nd ourselves going in an unending cycle. For this reason alone we may conclude that the sentence is not true. Moreover we are driven to this conclusion by an elementary argument: If the sentence is true then what it asserts is true, but what it asserts is that the sentence on line 1 is not true. Consequently the sentence on line 1 is not true. But when we write this (...) true conclusion on line 2 we ¯nd ourselves repeating the very same sentence. It seems that we are unable to deny the truth of the sentence on line 1 without asserting it at the same time. (shrink)

This is a supplement my original 2005 article "Insolubles" in the Stanford Encyclopedia of Philosophy.

William of Ockham's semantic theory was founded on the idea that thought takes place in a language not unlike the languages in which spoken and written communication occur. This mental language was held to have a number of features in common with everyday languages. For example, mental language has simple terms, not unlike words, out of which complex expressions can be constructed. As with words, each of these terms has some meaning, or signification; in fact Ockham held that the signification (...) of everyday words derives precisely from the signification of mental terms. Furthermore, the meaning of a mental expression depends directly on the meaning of its constituent terms, as is the case with expressions in more familiar languages. (shrink)

Truth-talk exhibits certain features that render it philosophically suspect and motivate a deflationary account. I offer a new formulation of deflationism that explains truth-talk in terms of semantic pretense. This amounts to a fictionalist account of truth-talk but avoids an error-theoretic interpretation and its resulting incoherence. The pretense analysis fits especially well with deflationism’s central commitment, and it handles truth-talk’s unusual features effectively. In particular, this approach suggests an interesting strategy for dealing with the Liar paradox. This version of deflationism (...) has advantages over the formulations currently available in the literature, mainly because it offers a more satisfying account of the generalizing role deflationary views take as truth-talk’s central function. Explaining the notion of truth in terms of pretense generates some special concerns, but none we cannot address through careful consideration of how pretense operates in truth-talk and of the attitudes instances of pretending involve. (shrink)

The semantic paradoxes, whose paradigm is the Liar, played a crucial role at a crucial juncture in the development of modern logic. In his 1908 seminal paper, Russell outlined a system, soon to become that of the Principia Mathematicae, whose main goal was the solution of the logical paradoxes, both semantic and settheoretic. Russell did not distinguish between the two and his theory of types was designed to solve both kinds in the same uniform way. Set theoreticians, however, were content (...) to treat only the set-theoretic paradoxes, putting aside the semantic ones as a non-mathematical concern. This separation was explicitly proposed, eighteen years after Russell’s paper, by Ramsey, though he, like Russell, advocated a system that addresses both kinds. Since then, the semantic paradoxes have been viewed within the perspective of the theory of truth, where they have occupied a respectable niche, but one of rather specialized interest. (shrink)

The paradoxes of self-reference are genuinely paradoxical. The liar paradox, Russell’s paradox and their cousins pose enormous difficulties to anyone who seeks to give a comprehensive theory of semantics, or of sets, or of any other domain which allows a modicum of self-reference and a modest number of logical principles. One approach to the paradoxes of self-reference takes these paradoxes as motivating a non-classical theory of logical consequence. Similar logical principles are used in each of the paradoxical inferences. If one (...) or other of these problematic inferences are rejected, we may arrive at a consistent (or at least, a coherent) theory. In this paper I will show that such approaches come at a serious cost. The general approach of using the paradoxes to restrict the class of allowable inferences places severe constraints on the domain of possible propositional logics, and on the kind of metatheory that is appropriate in the study of logic itself. Proof-theoretic and model-theoretic analyses of logical consequence make provide different ways for non-classical responses to the paradoxes to be defeated by revenge problems: the redefinition of logical connectives thought to be ruled out on logical grounds. Non-classical solutions are not the “easy way out” of the paradoxes. (shrink)

(Beall ed. The Revenge of the Liar, forthcoming from Oxford University Press) > The main presentation of my approach to the semantic paradoxes. I take them to show that understanding a natural language is sharing a cognitive relation to a logically false semantic theory with other speakers.