This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics, for example Brouwer's proof of the Bar Theorem, valuation systems, and the completeness of intuitionistic first-order logic, have been completely revised.

Philosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic, focusing on the sometimes problematic relationship between formal apparatus and intuitive motivation. Requiring minimal background and arranged to make the more technical material optional, the book offers a choice between an overview and in-depth study, and it balances the (...) philosophical and technical aspects of the subject.The book emphasizes the relationship between models and the traditional goal of logic, the evaluation of arguments, and critically examines apparatus and assumptions that often are taken for granted. Philosophical Logic provides an unusually thorough treatment of conditional logic, unifying probabilistic and model-theoretic approaches. It underscores the variety of approaches that have been taken to relevantistic and related logics, and it stresses the problem of connecting formal systems to the motivating ideas behind intuitionistic mathematics. Each chapter ends with a brief guide to further reading.Philosophical Logic addresses students new to logic, philosophers working in other areas, and specialists in logic, providing both a sophisticated introduction and a new synthesis. (shrink)

This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and (...) their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area. (shrink)

Anti-realistic conceptions of truth and falsity are usually epistemic or inferentialist. Truth is regarded as knowability, or provability, or warranted assertability, and the falsity of a statement or formula is identified with the truth of its negation. In this paper, a non-inferentialist but nevertheless anti-realistic conception of logical truth and falsity is developed. According to this conception, a formula (or a declarative sentence) A is logically true if and only if no matter what is told about what is told about (...) the truth or falsity of atomic sentences, A always receives the top-element of a certain partial order on non-ontic semantic values as its value. The ordering in question is a told-true order. Analogously, a formula A is logically false just in case no matter what is told about what is told about the truth or falsity of atomic sentences, A always receives the top-element of a certain told-false order as its value. Here, truth and falsity are pari passu , and it is the treatment of truth and falsity as independent of each other that leads to an informational interpretation of these notions in terms of a certain kind of higher-level information. (shrink)

In "Truth and the Past, " Dummett, best known as a proponent of antirealism, clarifies his current positions on the metaphysical issue of realism and the ...

This book offers a unique synthesis of past and current work on the structure, meaning, and use of negation and negative expressions, a topic that has engaged thinkers from Aristotle and the Buddha to Freud and Chomsky. Horn's masterful study melds a review of scholarship in philosophy, psychology, and linguistics with original research, providing a full picture of negation in natural language and thought; this new edition adds a comprehensive preface and bibliography, surveying research since the book's original publication.

Dummettian anti-realism–the refusal to endorse bivalence–is generally thought to be associated with idealism This paper argues that this is only true of the position developed by early Dummett. In a later manifestation Dummettian anti-realism is better thought of as providing the logic for anti-realisms of an error theoretic kind. Early on Dummett distinguished deep from shallow arguments for giving up bivalence: deep arguments followed a strong ‘sufficiency’ reading of Frege’s context principle, and made the sentence the primary vehicle of meaning. (...) Enriched by an account of truth in terms of verifiability, deep arguments implied a form of linguistic idealism. From within a perspective that had already made ontology relative to theory, it was natural for the difference between realism and idealism to hinge on the notion of truth for sentences. Having given up the distinction between deep and shallow arguments against bivalence, Dummett, post 1990, asserts that every rejection of bivalence leads to a form of anti-realism. In the intervening years, he has also come to cast doubt on the sufficiency reading of the context principle, particularly as developed by Crispin Wright. These doubts open the space for some more simple-minded criticisms of this strong version of the context principle, developed in the paper. Once the sufficiency reading of the context principle is given up, arguments for failing to assert bivalence come to hinge on beliefs about ‘genuine’ existence. These forms of anti-realism cannot be taken to imply idealism. Rather, in many cases they will be the expression of views of an error-theoretic kind, that are quite compatible with a thorough-going rejection of idealism. (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 ...

There is a principle in things, about which we cannot be deceived, but must always, on the contrary, recognize the truth – viz. that the same thing cannot at one and the same time be and not be": with these words of the Metaphysics, Aristotle introduced the Law of Non-Contradiction, which was to become the most authoritative principle in the history of Western thought. However, things have recently changed, and nowadays various philosophers, called dialetheists, claim that this Law does not (...) hold unrestrictedly – that in peculiar circumstances the same thing may at the same time be and not be, and contradictions may obtain in the world. This book opens with an examination of the famous logical paradoxes that appear to speak on behalf of contradictions (e.g., the Liar paradox, the set-theoretic paradoxes such as Cantor’s and Russell’s), and of the reasons for the failure of the standard attempts to solve them. It provides, then, an introduction to paraconsistent logics – non-classical logics in which the admission of contradictions does not lead to logical chaos –, and their astonishing applications, going from inconsistent data base management to contradictory arithmetics capable of circumventing Gödel’s celebrated Incompleteness Theorem. The final part of the book discusses the philosophical motivations and difficulties of dialetheism, and shows how to extract from Aristotle’s ancient words a possible reply to the dialetheic challenge. How to Sell a Contradiction will appeal to anyone interested in non-classical logics, analytic metaphysics, and philosophy of mathematics, and especially to those who consider challenging our most entrenched beliefs the main duty of philosophical inquiry. (shrink)

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

This highly acclaimed book is a major contribution to the philosophy of language as well as a systematic interpretation of Frege, indisputably the father of ...

Provability, Computability and Reflection.

A collection of all but two of the author's philosophical essays and lectures originally published or presented before August 1976.

With contributions from some of the key figures in the contemporary debate on relativism this book is about a topic that is the focus of much traditional and ...

Dialetheism is the view that some contradictions are true. This is a view which runs against orthodoxy in logic and metaphysics since Aristotle, and has implications for many of the core notions of philosophy. Doubt Truth to Be a Liar explores these implications for truth, rationality, negation, and the nature of logic, and develops further the defense of dialetheism first mounted in Priest's In Contradiction, a second edition of which is also available.

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)

The Law of Non-Contradiction - that no contradiction can be true - has been a seemingly unassailable dogma since the work of Aristotle, in Book G of the Metaphysics. It is an assumption challenged from a variety of angles in this collection of original papers. Twenty-three of the world's leading experts investigate the 'law', considering arguments for and against it and discussing methodological issues that arise whenever we question the legitimacy of logical principles. The result is a balanced inquiry into (...) a venerable principle of logic, one that raises questions at the very centre of logic itself. The aim of this volume is to present a comprehensive debate about the Law of Non-Contradiction, from discussions as to how the law is to be understood, to reasons for accepting or re-thinking the law, and to issues that raise challenges to the law, such as the Liar Paradox, and a 'dialetheic' resolution of that paradox. The editors contribute an introduction which surveys the issues and serves to frame the debate, and a useful bibliography offering a guide to further reading. This volume will be of interest to anyone working on philosophical logic, and to anyone who has ever wondered about the status of logical laws and about how one might proceed to mount arguments for or against them. (shrink)

Semantic realism, as I shall understand it it in this paper, is the combination of the views that sentential understanding is constituted by grasp of truth conditions and that the notion of truth which figures therein is essentially epistemically unconstrained. In a single slogan, understanding a sentence consists in some cases in grasp of potentially recognition-transcendent truth conditions. For example, a semantic realist about the past holds that our understanding of 'Caesar sneezed fifteen times on his 19th birthday' consists in (...) grasp of its truth condition, where this is capable of obtaining even though there is no guarantee that we shall be able, even in principle, to recognize that that is so. (shrink)

This unique book by Stewart Shapiro looks at a range of philosophical issues and positions concerning mathematics in four comprehensive sections. Part I describes questions and issues about mathematics that have motivated philosophers since the beginning of intellectual history. Part II is an historical survey, discussing the role of mathematics in the thought of such philosophers as Plato, Aristotle, Kant, and Mill. Part III covers the three major positions held throughout the twentieth century: the idea that mathematics is logic (logicism), (...) the view that the essence of mathematics is the rule-governed manipulation of characters (formalism), and a revisionist philosophy that focuses on the mental activity of mathematics (intuitionism). Finally, Part IV brings the reader up-to-date with a look at contemporary developments within the discipline. This sweeping introductory guide to the philosophy of mathematics makes these fascinating concepts accessible to those with little background in either mathematics or philosophy. (shrink)

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; (...) these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science. (shrink)

The Taming of the True poses a broad challenge to realist views of meaning and truth that have been prominent in recent philosophy. Neil Tennant argues compellingly that every truth is knowable, and that an effective logical system can be based on this principle. He lays the foundations for global semantic anti-realism and extends its consequences from the philosophy of mathematics and logic to the theory of meaning, metaphysics, and epistemology.

Michael Dummett is a leading contemporary philosopher whose work on the logic and metaphysics of language has had a lasting influence on how these subjects are conceived and discussed. This volume contains some of the most provocative and widely discussed essays published in the last fifteen years, together with a number of unpublished or inaccessible writings. Essays included are: "What is a Theory of Meaning?," "What do I Know When I Know a Language?," "What Does the Appeal to Use Do (...) for the Theory of Meaning?," "Language and Truth," "Truth and Meaning," "Language and Communication," "The Source of the Concept of Truth," "Mood, Force, and Convention," "Frege and Husserl on Reference," "Realism," "Existence," "Does Quantification Involve Identity?," "Could there be Unicorns?," "Causal Loops," "Common Sense and Physics," "Testimony and Memory," "What is Mathematics About?," "Wittgenstein on Necessity: Some Reflections," and "Realism and Anti-Realism." Serving well as a companion to Dummett's other collections, the essays in this volume are not forbiddingly technical or specialized, and have relevance to many areas of analytic philosophy. (shrink)

Such a conception, says Dummett, will form "a base camp for an assault on the metaphysical peaks: I have no greater ambition in this book than to set up a base ...

I consider the well known “manifestation challenge” to semantic realism propounded by Michael Dummett, and further developed by Crispin Wright and Bob Hale. I distinguish between strong and weak versions of the challenge, and show that anti–realists effectively concede that realism can meet the strong version. I then argue that the weak version is unmotivated. Building on work by John McDowell and Peter Strawson, and responding to criticisms from Wright, I argue further that the semantic realist can meet even the (...) weak version. It emerges, inter alia, that there are some serious ambiguities in the standard anti–realist characterisations of semantic realism. (shrink)

In section 1 we argue that the adoption of a tenseless notion of truth entails a realistic view of propositions and provability. This view, in turn, opens the way to the intelligibility of theclassical meaning of the logical constants, and consequently is incompatible with the antirealism of orthodox intuitionism. In section 2 we show how what we call the potential intuitionistic meaning of the logical constants can be defined, on the one hand, by means of the notion of atemporal provability (...) and, on the other, by means of the operator K of epistemic logic. Intuitionistic logic, as reconstructed within this perspective, turns out to be a part of epistemic logic, so that it loses its traditional foundational role, antithetic to that of classical logic. In section 3 we uphold the view that certain consequences of the adoption of atemporal notion of truth, despite their apparent oddity, are quite acceptable from an antirealist point of view. (shrink)

In this paper, I take issue with an idea that has emerged from recent relativist proposals, and, in particular, from Lasersohn, according to which the correct semantics for taste predicates must use contents that are functions of a judge parameter rather than implicit arguments lexically associated with such predicates. I argue that the relativist account and the contextualist implicit argument-account are, from the viewpoint of semantics, not much more than notational variants of one another. In other words, given any sentence (...) containing a taste predicate, and given any assignment of values to the relevant parameters, the two accounts predict the same truth value and are, in that sense, equivalent. I also look at possible reasons for preferring one account over the other. The phenomenon of "faultless disagreement" is often believed to be one such reason. I argue, against Kölbel and Lasersohn, that disagreement is never faultless: either the two parties genuinely disagree, hence if the one is right then the other is wrong, or the two parties are both right, but their apparent disagreement boils down to a misunderstanding. What is more, even if there were faultless disagreement, I argue that relativism would fail to account for it. The upshot of my paper, then, is to show that there is not much disagreement between a contextualist account that models the judge parameter as an implicit argument to the taste predicate, and a relativist account that models it as a parameter of the circumstances of evaluation. The choice between the two accounts, at least when talking about taste, is thus, to a large extent, a matter of taste. (shrink)

Modern logic is undergoing a cognitive turn, side-stepping Frege’s ‘antipsychologism’. Collaborations between logicians and colleagues in more empirical fields are growing, especially in research on reasoning and information update by intelligent agents. We place this border-crossing research in the context of long-standing contacts between logic and empirical facts, since pure normativity has never been a plausible stance. We also discuss what the fall of Frege’s Wall means for a new agenda of logic as a theory of rational agency, and what (...) might then be a viable understanding of ‘psychologism’ as a friend rather than an enemy of logical theory. (shrink)

The aim of this paper is to examine the kind of evidence that might be adduced in support of relativist semantics of a kind that have recently been proposed for predicates of personal taste, for epistemic modals, for knowledge attributions and for other cases. I shall concentrate on the case of taste predicates, but what I have to say is easily transposed to the other cases just mentioned. I shall begin by considering in general the question of what kind of (...) evidence can be offered in favour of some semantic theory or framework of semantic theorizing. In other words, I shall begin with the difficult question of the empirical significance of semantic theorizing. In Sect. 2, I outline a relativist semantic theory, and in Sect. 3, I review four types of evidence that might be offered in favour of a relativistic framework. I show that the evidence is not conclusive because a sophisticated form of contextualism can stand up to the evidence. However, the evidence can be taken to support the view that either relativism or the sophisticated form of contextualism is correct. (shrink)

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

The abstract structure of inquiry - the process of acquiring and changing beliefs about the world - is the focus of this book which takes the position that the "pragmatic" rather than the "linguistic" approach better solves the philosophical problems about the nature of mental representation, and better accounts for the phenomena of thought and speech. It discusses propositions and propositional attitudes (the cluster of activities that constitute inquiry) in general and takes up the way beliefs change in response to (...) potential new information, suggesting that conditional propositions should be understood as projections of epistemic policies onto the world.Robert C. Stalnaker is a professor in the Sage School of Philosophy at Cornell University. A Bradford Book. (shrink)

Beginning with the premise that the principal function of a criminal trial is to find out the truth about a crime, Larry Laudan examines the rules of evidence and procedure that would be appropriate if the discovery of the truth were, as higher courts routinely claim, the overriding aim of the criminal justice system. Laudan mounts a systematic critique of existing rules and procedures that are obstacles to that quest. He also examines issues of error distribution by offering the first (...) integrated analysis of the various mechanisms - the standard of proof, the benefit of the doubt, the presumption of innocence and the burden of proof - for implementing society's view about the relative importance of the errors that can occur in a trial. (shrink)