Theories of Truth provides a clear, critical introduction to one of the most difficult areas of philosophy. It surveys all of the major philosophical theories of truth, presenting the crux of the issues involved at a level accessible to nonexperts yet in a manner sufficiently detailed and original to be of value to professional scholars. Kirkham's systematic treatment and meticulous explanations of terminology ensure that readers will come away from this book with a comprehensive general understanding of one of philosophy's (...) thorniest set of topics. -/- Included are discussions of the correspondence, coherence, pragmatic, semantic, performative, redundancy, appraisal, and truth-as-justification theories. There are also chapters or sections of chapters on the liar paradox, three-valued logic, Field's critique of Tarski, Davidson's program, Dummett's theory of linguistic competence, satisfaction, recursion, the extension/intension distinction, and an explanation of how theories of justification, properly understood, differ from theories of truth. -/- A persistent theme is that philosophers have too often failed to recognize that not all theories of truth are intended to answer the same question. When the various questions are made distinct, it is apparent that many of the "debates" in this field are really cases of philosophers talking past one another. There is much less disagreement within the field than has commonly been thought. (shrink)

am going to discuss some issues inspired by a well-known paper ofKeith Donnellan, "Reference and Definite Descriptions,”2 but the interest—to me—of the contrast mentioned in my title goes beyond Donnellan's paper: I think it is of considerable constructive as well as critical importance to the philosophy oflanguage. These applications, however, and even everything I might want to say relative to Donnellan’s paper, cannot be discussed in full here because of problems of length. Moreover, although I have a considerable interest in (...) the substantive issues raised by Donnellan’s paper, and by related literature, my own conclusions will be methodological, not substantive. I can put the matter this way: Donnellan’s paper claims to give decisive objections both to Russell’s theory of definite descriptions (taken as a theory about English) and to Strawson’s. My concem is not primarily with the question; is Donnellan right, or is Russell (or Strawson)? Rather, it is with the question: do the considerations in Donneilarfs paper refute Russell’s theory (or Strawson’s)? For definiteness, I will concentrate on Donnellan versus Russell, leaving Strawson aside. And about this issue I will draw a definite conclusion, one which I think will illuminate a few methodological maxims about language. Namely, I will conclude that the considerations in Donnellan’s paper, by themselves, do not refute Russell’s theory. Any conclusions about Russell’s views per se, or Donnellan’s, must be tentative, IfI were to be asked for a tentative stab about Russell, I would say that although his theory does a far better job of handling ordinary discourse than many have thought, and although many popular arguments against it are inconclusive, probably it ultimately fails. The considerations I have in mind have to do with the existence of “improper” definite descriptions, such as “the table," where uniquely specifying conditions are not contained in the description itself.. (shrink)

John Buridan was a fourteenth-century philosopher who enjoyed an enormous reputation for about two hundred years, was then totally neglected, and is now being 'rediscovered' through his relevance to contemporary work in philosophical logic. The final chapter of Buridan's Sophismata deals with problems about self-reference, and in particular with the semantic paradoxes. He offers his own distinctive solution to the well-known 'Liar Paradox' and introduces a number of other paradoxes that will be unfamiliar to most logicians. Buridan also moves on (...) from these problems to more general questions about the nature of propositions, the criteria of their truth and falsity and the concepts of validity and knowledge. This edition of that chapter is intended to make Buridan's ideas and arguments accessible to a wider range of readers. The volume should interest many philosophers, linguists and logicians, who are increasingly finding in medieval work striking anticipations of their own concerns. (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)

The first systematic exposition of all the central topics in the philosophy of logic, Susan Haack's book has established an international reputation for its accessibility, clarity, conciseness, orderliness, and range as well as for its thorough scholarship and careful analyses. Haack discusses the scope and purpose of logic, validity, truth-functions, quantification and ontology, names, descriptions, truth, truth-bearers, the set-theoretical and semantic paradoxes, and modality. She also explores the motivations for a whole range of non-classical systems of logic, including many-valued logics, (...) fuzzy logic, moddal and tense logics, and relevance logics. Persupposing only an elementary knowledge of formal logic, this book includes many useful summary tables and diagrams, as well as a helpful glossary of technical terms. Wide-ranging, informative, and eminently readable, this book has proven a valuable resource for generations of students and scholars in a variety of disciplines outside philosophy needing guidance on the philosophy of logic. (shrink)

In Context and Content Robert Stalnaker develops a philosophical picture of the nature of speech and thought and the relations between them. Two themes in particular run through these collected essays: the role that the context in which speech takes place plays in accounting for the way language is used to express thought, and the role of the external environment in determining the contents of our thoughts. Stalnaker argues against the widespread assumption of the priority of linguistic over mental representation, (...) which he suggests has had a distorting influence on our understanding. The first part of the book develops a framework for representing contexts and the way they interact with the interpretation of what is said in them. This framework is used to help to explain a range of linguistic phenomena concerning presupposition and assertion, conditional statements, the attribution of beliefs, and the use of names, descriptions, and pronouns to refer. Stalnaker then draws out the conception of thought and its content that is implicit in this framework. He defends externalism about thought--the assumption that our thoughts have the contents they have in virtue of the way we are situated in the world--and explores the role of linguistic action and linguistic structure in determining the contents of our thoughts. Context and Content offers philosophers and cognitive scientists a summation of Stalnaker's important and influential work in this area. His new introduction to the volume gives an overview of this work and offers a convenient way in for those who are new to it. The Oxford Cognitive Science series is a new forum for the best contemporary work in this flourishing field, where various disciplines--cognitive psychology, philosophy, linguistics, cognitive neuroscience, and computational theory--join forces in the investigation of thought, awareness, understanding, and associated workings of the mind. Each book constitutes an original contribution to its subject, but will be accessible beyond the ranks of specialists, so as to reach a broad interdisciplinary readership. The series will be carefully shaped and steered with the aim of representing the most important developments in the field and bringing together its constituent disciplines. (shrink)

In this book, Scott Soames illuminates the notion of truth and the role it plays in our ordinary thought as well as in our logical, philosophical, and scientific theories. Soames aims to integrate and deepen the most significant insights on truth from a variety of sources. He powerfully brings together the best technical work and the most important philosophical reflection on truth and shows how each can illuminate the other. Investigating such questions as whether we need a truth predicate at (...) all, what theoretical tasks it allows us to accomplish, and how we are to understand the content of any predicate capable of accomplishing these tasks, Soames organizes his discussion into three parts. Part I addresses crucial foundational issues as it identifies the bearers of truth, provides a basis for distinguishing truth from other notions, and formulates positive responses to well-known forms of truth-skepticism. Part II explicates the formal theories of Alfred Tarski and Saul Kripke and evaluates the philosophical significance of their work. It discusses their treatments of the Liar paradox, the relationship between truth and proof, the notion of a partially defined predicate, the concepts of logical truth and logical consequence, and the connection between truth and meaning. Part III extends important lessons drawn from Tarski and Kripke into new domains: vague predicates, the Sorites paradox, and the development of a larger, deflationary perspective on truth. Throughout the book, Soames examines a wide range of deflationary theories of truth, and attempts to separate what is correct and worth preserving in them from what is not. In doing so, he seeks to clear up many of the most significant philosophical doubts about truth. Written for a general audience while offering engaging material to the specialist, this rich study will be profitably read by both. (shrink)

Consider the sentence 'This sentence is not true'. It seems that the sentence can be neither true nor not true, on pain of contradiction. Certain notorious paradoxes like this have bedevilled philosophical theories of truth. Tim Maudlin presents an original account of logic and semantics which deals with these paradoxes, and allows him to set out a new theory of truth-values and the norms governing claims about truth. All philosophers interested in logic and language will find Truth and Paradox a (...) stimulating read. (shrink)

This is a brief, accessible introduction to the thought of the philosopher John Buridan (ca. 1295-1361). Little is known about Buridan's life, most of which was spent studying and then teaching at the University of Paris. Buridan's works are mostly by-products of his teaching. They consist mainly of commentaries on Aristotle, covering the whole extent of Aristotelian philosophy, ranging from logic to metaphysics, to natural science, to ethics and politics. Gyula Klima argues that many of Buridan's academic concerns are strikingly (...) similar to those of modern philosophy and his work sometimes quite directly addresses modern philosophical questions. (shrink)

Donald Davidson presents a new edition of the 1984 volume which set out his enormously influential philosophy of language. Inquiries into Truth and Interpretation has been a central point of reference and a focus of controversy in the subject ever since, and its influence has extended into linguistic theory, philosophy of mind, and epistemology. The central question which these essays address is what it is for words to mean what they do. This new edition features an additional essay, previously uncollected.

The fact that Gödel's famous incompleteness theorem and the archetype of all logical paradoxes, that of the Liar, are related closely is, of course, not only well known, but is a part of the common knowledge of the community of logicians. Indeed, almost every more or less formal treatment of the theorem makes a reference to this connection. Gödel himself remarked in the paper announcing his celebrated result :The analogy between this result and Richard's antinomy leaps to the eye;there is (...) also a close relationship with the ‘liar’ antinomy, since … we are… confronted with a proposition which asserts its own unprovability.In the light of the fact that the existence of this connection is commonplace it is all the more surprising that very little can be learnt about its exact nature except perhaps that it is some kind of similarity or analogy. There is, however, a lot more to it than that. Indeed, as we shall try to show below, the general ideas underlying the three central theorems concerning internal limitations of formal deductive systems can be taken as different ways to resolve the Liar paradox. More precisely, it will turn out that an abstract formal variant of the Liar paradox, which can almost straightforwardly inferred from its original ordinary language version, is a possible common generalization of Gödel's incompleteness theorem, the theorem of Tarski on the undefinability of truth, and that of Church concerning the undecidability of provability. (shrink)

Frege’s project has been characterized as an attempt to formulate a complete system of logic adequate to characterize mathematical theories such as arithmetic and set theory. As such, it was seen to fail by Gödel’s incompleteness theorem of 1931. It is argued, however, that this is to impose a later interpretation on the word ‘complete’ it is clear from Dedekind’s writings that at least as good as interpretation of completeness is categoricity. Whereas few interesting first-order mathematical theories are categorical or (...) complete, there are logical extensions of these theories into second-order and by the addition of generalized quantifiers which are categorical. Frege’s project really found success through Gödel’s completeness theorem of 1930 and the subsequent development of first- and higher-order model theory. (shrink)

Available for the first time in 20 years, here is the Rudolf Carnap's famous principle of tolerance by which everyone is free to mix and match the rules of ...

Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...) philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gode1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Godel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.". (shrink)

I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...

Divided into two parts, the first concentrates on the logical properties of propositions, their relation to facts and sentences, and the parallel objects of commands and questions. The second part examines theories of intentionality and discusses the relationship between different theories of naming and different accounts of belief.

In Contradiction advocates and defends the view that there are true contradictions, a view that flies in the face of orthodoxy in Western philosophy since Aristotle. The book has been at the center of the controversies surrounding dialetheism ever since its first publication in 1987. This second edition of the book substantially expands upon the original in various ways, and also contains the author’s reflections on developments over the last two decades. Further aspects of dialetheism are discussed in the companion (...) volume, Doubt Truth to be a Liar, also published by Oxford University Press in 2006. (shrink)

In this ingenious and powerfully argued book Tim Maudlin sets out a novel account of logic and semantics which allows him to deal with certain notorious paradoxes which have bedevilled philosophical theories of truth. All philosophers interested in logic and language will find this a stimulating read.

This is the first single-volume edition and translation of Frege's philosophical writings to include his seminal papers as well as substantial selections from ...

By a `denoting phrase' I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the center of mass of the solar system at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. Thus a phrase is denoting solely in virtue of its form. We may distinguish (...) three cases: (1) A phrase may be denoting, and yet not denote anything; e.g., `the present King of France'. (2) A phrase may denote one definite object; e.g., `the present King of England' denotes a certain man. (3) A phrase may denote ambiguously; e.g. `a man' denotes not many men, but an ambiguous man. The interpretation of such phrases is a matter of considerably difficulty; indeed, it is very hard to frame any theory not susceptible of formal refutation. All the difficulties with which I am acquainted are met, so far as I can discover, by the theory which I am about to explain. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

Starting with Frege, the semantics (and pragmatics) of quotation has received a steady flow of attention over the last one hundred years. It has not, however, been subject to the same kind of intense debate and scrutiny as, for example, both the semantics of definite descriptions and propositional attitude verbs. Many philosophers probably share Davidson's experience: ‘When I was initiated into the mysteries of logic and semantics, quotation was usually introduced as a somewhat shady device, and the introduction was accompanied (...) by a stern sermon on the sin of confusing the use and mention of expressions’ (Davidson 1979, p. 79). Those who leave it at that, however, miss out on one of the most difficult and interesting topics in the philosophy of language. (shrink)

This paper aims to identify the constitutive rule of assertion, conceived by analogy with the rules of a game. That assertion has such rules is by no means obvious; perhaps it is more like a natural phenomenon than it seems. One way to find out is by supposing that it has such rules, in order to see where the hypothesis leads and what it explains. That will be done here. The hypothesis is not perfectly clear, of course, but we have (...) at least a crude conception of constitutive rules, which we may refine as we elaborate the hypothesis. Although no attempt will be made here to define ‘rule’, some remarks on constitutive rules will focus the discussion. (shrink)

By a `denoting phrase' I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the center of mass of the solar system at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. Thus a phrase is denoting solely in virtue of its form. We may distinguish (...) three cases: (1) A phrase may be denoting, and yet not denote anything; e.g., `the present King of France'. (2) A phrase may denote one definite object; e.g., `the present King of England' denotes a certain man. (3) A phrase may denote ambiguously; e.g. `a man' denotes not many men, but an ambiguous man. The interpretation of such phrases is a matter of considerably difficulty; indeed, it is very hard to frame any theory not susceptible of formal refutation. All the difficulties with which I am acquainted are met, so far as I can discover, by the theory which I am about to explain. (shrink)

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.

Now in a new edition, this volume updates Davidson's exceptional Inquiries into Truth and Interpretation (1984), which set out his enormously influential philosophy of language. The original volume remains a central point of reference, and a focus of controversy, with its impact extending into linguistic theory, philosophy of mind, and epistemology. Addressing a central question--what it is for words to mean what they do--and featuring a previously uncollected, additional essay, this work will appeal to a wide audience of philosophers, linguists, (...) and psychologists. (shrink)

The logician's central concern is with the validity of argument. A logical theory ought, therefore, to provide a general criterion of validity. This book sets out to find such a criterion, and to describe the philosophical basis and the formal theory of a logic in which the premises of a valid argument are relevant to its conclusion. The notion of relevance required for this theory is obtained by an analysis of the grounds for asserting a formula in a proof.