Switch to: Citations

Add references

You must login to add references.
  1. An Axiomatic Approach to Self-Referential Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 33 (1):1--21.
    Download  
     
    Export citation  
     
    Bookmark   83 citations  
  • The Liar Speaks the Truth: A Defense of the Revision Theory of Truth.Aladdin Mahmūd Yaqūb - 1993 - Oxford, England: Oxford University Press.
    In this book, Yaqub describes a simple conception of truth and shows that it yields a semantical theory that accommodates the whole range of our seemingly conflicting intuitions about truth. This conception takes the Tarskian biconditionals as correctly and completely defining the notion of truth. The semantical theory, which is called the revision theory, that emerges from this conception paints a metaphysical picture of truth as a property whose applicability is given by a revision process rather than by a fixed (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Universality and the Liar: An Essay on Truth and the Diagonal Argument.Keith Simmons - 1993 - Cambridge, England: Cambridge University Press.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • In Contradiction: A Study of the Transconsistent.Graham Priest - 1987 - Dordrecht, Netherland: Oxford University Press.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   347 citations  
  • Truth, Vagueness, and Paradox: An Essay on the Logic of Truth.Vann McGee - 1990 - Indianapolis, IN, USA: Hackett.
    Awarded the 1988 Johnsonian Prize in Philosophy. Published with the aid of a grant from the National Endowment for the Humanities.
    Download  
     
    Export citation  
     
    Bookmark   91 citations  
  • Truth and Paradox: Solving the Riddles.Tim Maudlin - 2004 - Oxford, England: Oxford University Press.
    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.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Recent Essays on Truth and the Liar Paradox.Robert Lazarus Martin (ed.) - 1984 - Oxford, England: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   100 citations  
  • Saving Truth From Paradox.Hartry H. Field - 2008 - Oxford, England: Oxford University Press.
    A selective background -- Broadly classical approaches -- Paracompleteness -- More on paracomplete solutions -- Paraconsistent dialetheism.
    Download  
     
    Export citation  
     
    Bookmark   280 citations  
  • Spandrels of Truth.J. C. Beall - 2009 - Oxford, England: Oxford University Press.
    In Spandrels of Truth, Beall concisely presents and defends a modest, so-called dialetheic theory of transparent truth.
    Download  
     
    Export citation  
     
    Bookmark   119 citations  
  • The Liar: An Essay on Truth and Circularity.Jon Barwise & John Etchemendy - 1987 - Oxford, England and New York, NY, USA: Oxford University Press USA.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   106 citations  
  • Alternative Revision Theories of Truth.André Chapuis - 1996 - Journal of Philosophical Logic 25 (4):399-423.
    The Revision Theory of Truth has been challenged in A. M. Yaqūb's recent book The Liar Speaks the Truth. Yaqūb suggests some non-trivial changes in the original theory - changing the limit rule - to avoid certain artifacts. In this paper it is shown that the proposed changes are not sufficient, i.e., Yaqūb's system also produces artifacts. An alternative solution is proposed and the relation between it and Yaqūb's solution is explored.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Minimalists About Truth Can (and Should) Be Epistemicists, and It Helps If They Are Revision Theorists Too.Greg Restall - 2005 - In J. C. Beall & Bradley Armour-Garb (eds.), Deflationism and Paradox. Clarendon Press.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A Comparative Taxonomy of Medieval and Modern Approaches to Liar Sentences.C. Dutilh Novaes - 2008 - History and Philosophy of Logic 29 (3):227-261.
    Two periods in the history of logic and philosophy are characterized notably by vivid interest in self-referential paradoxical sentences in general, and Liar sentences in particular: the later medieval period (roughly from the 12th to the 15th century) and the last 100 years. In this paper, I undertake a comparative taxonomy of these two traditions. I outline and discuss eight main approaches to Liar sentences in the medieval tradition, and compare them to the most influential modern approaches to such sentences. (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Inconsistent Languages.Matti Eklund - 2002 - Philosophy and Phenomenological Research 64 (2):251-275.
    The main thesis of this paper is that we sometimes are disposed to accept false and even jointly inconsistent claims by virtue of our semantic competence, and that this comes to light in the sorites and liar paradoxes. Among the subsidiary theses are that this is an important source of indeterminacy in truth conditions, that we must revise basic assumptions about semantic competence, and that classical logic and bivalence can be upheld in the face of the sorites paradox.
    Download  
     
    Export citation  
     
    Bookmark   79 citations  
  • Truth, Paradox, and Ineffable Propositions.James R. Shaw - 2013 - Philosophy and Phenomenological Research 86 (1):64-104.
    I argue that on very weak assumptions about truth (in particular, that there are coherent norms governing the use of "true"), there is a proposition absolutely inexpressible with conventional language, or something very close. I argue for this claim "constructively": I use a variant of the Berry Paradox to reveal a particular thought for my readership to entertain that very strongly resists conventional expression. I gauge the severity of this expressive limitation within a taxonomy of expressive failures, and argue that (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A Critique of Deflationism.Anil Gupta - 1993 - Philosophical Topics 21 (2):57-81.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • Maximal Three-Valued Clones with the Gupta-Belnap Fixed-Point Property.José Martínez Fernández - 2007 - Notre Dame Journal of Formal Logic 48 (4):449-472.
    This paper gives a propositional reformulation of the fixed-point problem posed by Gupta and Belnap, using the stipulation logic of Visser. After presenting a solution for clones of three-valued operators that include the constant functions, I determine the maximal three-valued clones with constants that have the fixed-point property, giving different characterizations of them.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Comparing Inductive and Circular Definitions: Parameters, Complexity and Games.Kai-Uwe Küdhnberger, Benedikt Löwe, Michael Möllerfeld & Philip Welch - 2005 - Studia Logica 81 (1):79 - 98.
    Gupta-Belnap-style circular definitions use all real numbers as possible starting points of revision sequences. In that sense they are boldface definitions. We discuss lightface versions of circular definitions and boldface versions of inductive definitions.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The Liar Paradox.Charles Parsons - 1974 - Journal of Philosophical Logic 3 (4):381 - 412.
    Download  
     
    Export citation  
     
    Bookmark   96 citations  
  • Alternative Ways for Truth to Behave When There’s No Vicious Reference.Stefan Wintein - 2014 - Journal of Philosophical Logic 43 (4):665-690.
    In a recent paper, Philip Kremer proposes a formal and theory-relative desideratum for theories of truth that is spelled out in terms of the notion of ‘no vicious reference’. Kremer’s Modified Gupta-Belnap Desideratum (MGBD) reads as follows: if theory of truth T dictates that there is no vicious reference in ground model M, then T should dictate that truth behaves like a classical concept in M. In this paper, we suggest an alternative desideratum (AD): if theory of truth T dictates (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Vagueness and Revision Sequences.C. M. Asmus - 2013 - Synthese 190 (6):953-974.
    Theories of truth and vagueness are closely connected; in this article, I draw another connection between these areas of research. Gupta and Belnap’s Revision Theory of Truth is converted into an approach to vagueness. I show how revision sequences from a general theory of definitions can be used to understand the nature of vague predicates. The revision sequences show how the meaning of vague predicates are interconnected with each other. The approach is contrasted with the similar supervaluationist approach.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Truth and Paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.
    Download  
     
    Export citation  
     
    Bookmark   130 citations  
  • The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
    Download  
     
    Export citation  
     
    Bookmark   335 citations  
  • Boolean Negation and All That.Graham Priest - 1990 - Journal of Philosophical Logic 19 (2):201 - 215.
    We have seen that proofs of soundness of (Boolean) DS, EFQ and of ABS — and hence the legitimation of these inferences — can be achieved only be appealing to the very form of reasoning in question. But this by no means implies that we have to fall back on classical reasoning willy-nilly. Many logical theories can provide the relevant boot-strapping. Decision between them has, therefore, to be made on other grounds. The grounds include the many criteria familiar from the (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Paradox, Truth and Logic Part I: Paradox and Truth.Peter W. Woodruff - 1984 - Journal of Philosophical Logic 13 (2):213 - 232.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Four Valued Semantics and the Liar.Albert Visser - 1984 - Journal of Philosophical Logic 13 (2):181 - 212.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • A Contextual-Hierarchical Approach to Truth and the Liar Paradox.Michael Glanzberg - 2004 - Journal of Philosophical Logic 33 (1):27-88.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Truth, Meaning, Experience.Anil Gupta - 2011 - Oup Usa.
    This volume reprints eight of Anil Gupta's essays, some with additional material. The essays bring a refreshing new perspective to central issues in philosophical logic, philosophy of language, and epistemology.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Revision Theory of Truth.A. Gupta & N. Belnap - 1993 - MIT Press.
    In this rigorous investigation into the logic of truth Anil Gupta and Nuel Belnap explain how the concept of truth works in both ordinary and pathological..
    Download  
     
    Export citation  
     
    Bookmark   183 citations  
  • Logic, Semantics, Metamathematics.Alfred Tarski - 1956 - Oxford, Clarendon Press.
    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, ...
    Download  
     
    Export citation  
     
    Bookmark   361 citations  
  • The Semantic Conception of Truth.Alfred Tarski - 1944 - In Simon Blackburn & Keith Simmons (eds.), Truth. Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   106 citations  
  • Universal Logic.Ross Brady - 2006 - CSLI Publications.
    Throughout the twentieth century, the classical logic of Frege and Russell dominated the field of formal logic. But, as Ross Brady argues, a new type of weak relevant logic may prove to be better equipped to present new solutions to persistent paradoxes. _Universal Logic _begins with an overview of classical and relevant logic and discusses the limitations of both in analyzing certain paradoxes. It is the first text to demonstrate how the main set-theoretic and semantic paradoxes can be solved in (...)
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Spandrels of Truth.Jc Beall - 2010 - Bulletin of Symbolic Logic 16 (2):284-286.
    Download  
     
    Export citation  
     
    Bookmark   132 citations  
  • The Complexity of Revision.Gian Aldo Antonelli - 1994 - Notre Dame Journal of Formal Logic 35 (1):67-72.
    In this paper we show that the Gupta-Belnap systems S# and S* are П12. Since Kremer has independently established that they are П12-hard, this completely settles the problem of their complexity. The above-mentioned upper bound is established through a reduction to countable revision sequences that is inspired by, and makes use of a construction of McGee.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • The Gupta-Belnap Systems ${\rm S}^\#$ and ${\rm S}^*$ Are Not Axiomatisable.Philip Kremer - 1993 - Notre Dame Journal of Formal Logic 34 (4):583-596.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • The Guptα-Belnαp Systems S and S* Are Not Axiomatisable.Philip Kremer - 1993 - Notre Dame Journal of Formal Logic 34 (4):583-596.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A New Conditional for Naive Truth Theory.Andrew Bacon - 2013 - Notre Dame Journal of Formal Logic 54 (1):87-104.
    In this paper a logic for reasoning disquotationally about truth is presented and shown to have a standard model. This work improves on Hartry Field's recent results establishing consistency and omega-consistency of truth-theories with strong conditional logics. A novel method utilising the Banach fixed point theorem for contracting functions on complete metric spaces is invoked, and the resulting logic is shown to validate a number of principles which existing revision theoretic methods have heretofore failed to provide.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • The Complexity of Revision, Revised.G. Aldo Antonelli - 2002 - Notre Dame Journal of Formal Logic 43 (2):75-78.
    The purpose of this note is to acknowledge a gap in a previous paper, "The complexity of revision," and to provide a corrected version of the argument.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Semantic Paradoxes: A Diagnostic Investigation.Charles Chihara - 1979 - Philosophical Review 88 (4):590-618.
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  • Solovay-Type Theorems for Circular Definitions.Shawn Standefer - 2015 - Review of Symbolic Logic 8 (3):467-487.
    We present an extension of the basic revision theory of circular definitions with a unary operator, □. We present a Fitch-style proof system that is sound and complete with respect to the extended semantics. The logic of the box gives rise to a simple modal logic, and we relate provability in the extended proof system to this modal logic via a completeness theorem, using interpretations over circular definitions, analogous to Solovay’s completeness theorem forGLusing arithmetical interpretations. We adapt our proof to (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • What Theories of Truth Should Be Like (but Cannot Be).Hannes Leitgeb - 2007 - Philosophy Compass 2 (2):276–290.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • On Artifacts and Truth-Preservation.Shawn Standefer - 2015 - Australasian Journal of Logic 12 (3):135-158.
    In Saving Truth from Paradox, Hartry Field presents and defends a theory of truth with a new conditional. In this paper, I present two criticisms of this theory, one concerning its assessments of validity and one concerning its treatment of truth-preservation claims. One way of adjusting the theory adequately responds to the truth-preservation criticism, at the cost of making the validity criticism worse. I show that in a restricted setting, Field has a way to respond to the validity criticism. I (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • How Truth Behaves When There’s No Vicious Reference.Philip Kremer - 2010 - Journal of Philosophical Logic 39 (4):345-367.
    In The Revision Theory of Truth (MIT Press), Gupta and Belnap (1993) claim as an advantage of their approach to truth "its consequence that truth behaves like an ordinary classical concept under certain conditions—conditions that can roughly be characterized as those in which there is no vicious reference in the language." To clarify this remark, they define Thomason models, nonpathological models in which truth behaves like a classical concept, and investigate conditions under which a model is Thomason: they argue that (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Truth.Alexis G. Burgess & John P. Burgess - 2011 - Princeton University Press.
    This is a concise, advanced introduction to current philosophical debates about truth. A blend of philosophical and technical material, the book is organized around, but not limited to, the tendency known as deflationism, according to which there is not much to say about the nature of truth. In clear language, Burgess and Burgess cover a wide range of issues, including the nature of truth, the status of truth-value gaps, the relationship between truth and meaning, relativism and pluralism about truth, and (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Analytic Calculi for Circular Concepts by Finite Revision.Riccardo Bruni - 2013 - Studia Logica 101 (5):915-932.
    The paper introduces Hilbert– and Gentzen-style calculi which correspond to systems ${\mathsf{C}_{n}}$ from Gupta and Belnap [3]. Systems ${\mathsf{C}_{n}}$ were shown to be sound and complete with respect to the semantics of finite revision. Here, it is shown that Gentzen-style systems ${\mathsf{GC}_{n}}$ admit a syntactic proof of cut elimination. As a consequence, it follows that they are consistent.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • XV—Remarks on Definitions and the Concept of Truth.Anil Gupta - 1989 - Proceedings of the Aristotelian Society 89 (1):227-246.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Pointers to Truth.Haim Gaifman - 1992 - Journal of Philosophy 89 (5):223.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Pointers to Truth.Haim Gaifman - 1992 - Journal of Philosophy 89 (5):223-261.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Semantical Paradox.Tyler Burge - 1979 - Journal of Philosophy 76 (4):169-198.
    Download  
     
    Export citation  
     
    Bookmark   110 citations  
  • A Critique of Deflationism.Anil Gupta - 1993 - Philosophical Topics 21 (1):57-81.
    Download  
     
    Export citation  
     
    Bookmark   78 citations