Switch to: Citations

Add references

You must login to add references.
  1. Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
    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.
    Download  
     
    Export citation  
     
    Bookmark   925 citations  
  • Saving truth from paradox.Hartry Field - 2008 - New York: Oxford University Press.
    A selective background -- Broadly classical approaches -- Paracompleteness -- More on paracomplete solutions -- Paraconsistent dialetheism.
    Download  
     
    Export citation  
     
    Bookmark   344 citations  
  • Understanding Truth.Scott Soames - 1998 - Oxford and New York: Oxford University Press USA.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   229 citations  
  • The Revision Theory of Truth.Anil Gupta & Nuel D. 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   223 citations  
  • Replacing Truth.Kevin Scharp - 2013 - Oxford, England: Oxford University Press UK.
    Kevin Scharp proposes an original theory of the nature and logic of truth on which truth is an inconsistent concept that should be replaced for certain theoretical purposes. He argues that truth is best understood as an inconsistent concept, and proposes a detailed theory of inconsistent concepts that can be applied to the case of truth. Truth also happens to be a useful concept, but its inconsistency inhibits its utility; as such, it should be replaced with consistent concepts that can (...)
    Download  
     
    Export citation  
     
    Bookmark   130 citations  
  • The taming of the true.Neil Tennant - 1997 - New York: Oxford University Press.
    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.
    Download  
     
    Export citation  
     
    Bookmark   214 citations  
  • The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
    Download  
     
    Export citation  
     
    Bookmark   486 citations  
  • Spandrels of truth.J. C. Beall - 2009 - New York: 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   160 citations  
  • Doubt truth to be a liar.Graham Priest - 2006 - New York: Oxford University Press.
    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.
    Download  
     
    Export citation  
     
    Bookmark   188 citations  
  • Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
    This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends classical (...)
    Download  
     
    Export citation  
     
    Bookmark   166 citations  
  • Anti-realism and logic: truth as eternal.Neil Tennant - 1987 - New York: Oxford University Press.
    Anti-realism is a doctrine about logic, language, and meaning that is based on the work of Wittgenstein and Frege. In this book, Professor Tennant clarifies and develops Dummett's arguments for anti-realism and ultimately advocates a radical reform of our logical practices.
    Download  
     
    Export citation  
     
    Bookmark   137 citations  
  • Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.
    In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, (...)
    Download  
     
    Export citation  
     
    Bookmark   168 citations  
  • Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.
    Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic (...)
    Download  
     
    Export citation  
     
    Bookmark   122 citations  
  • Replacing truth.Kevin Scharp - 2007 - Inquiry: An Interdisciplinary Journal of Philosophy 50 (6):606 – 621.
    Of the dozens of purported solutions to the liar paradox published in the past fifty years, the vast majority are "traditional" in the sense that they reject one of the premises or inference rules that are used to derive the paradoxical conclusion. Over the years, however, several philosophers have developed an alternative to the traditional approaches; according to them, our very competence with the concept of truth leads us to accept that the reasoning used to derive the paradox is sound. (...)
    Download  
     
    Export citation  
     
    Bookmark   165 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   117 citations  
  • The Tarskian Turn: Deflationism and Axiomatic Truth.Leon Horsten - 2011 - MIT Press.
    The work of mathematician and logician Alfred Tarski (1901--1983) marks the transition from substantial to deflationary views about truth.
    Download  
     
    Export citation  
     
    Bookmark   78 citations  
  • Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.
    This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but the (...)
    Download  
     
    Export citation  
     
    Bookmark   124 citations  
  • Reaching Transparent Truth.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2013 - Mind 122 (488):841-866.
    This paper presents and defends a way to add a transparent truth predicate to classical logic, such that and A are everywhere intersubstitutable, where all T-biconditionals hold, and where truth can be made compositional. A key feature of our framework, called STTT (for Strict-Tolerant Transparent Truth), is that it supports a non-transitive relation of consequence. At the same time, it can be seen that the only failures of transitivity STTT allows for arise in paradoxical cases.
    Download  
     
    Export citation  
     
    Bookmark   135 citations  
  • (3 other versions)Doubt Truth to Be a Liar.Graham Priest - 2007 - Studia Logica 87 (1):129-134.
    Download  
     
    Export citation  
     
    Bookmark   229 citations  
  • Spandrels of truth.Jc Beall - 2010 - Bulletin of Symbolic Logic 16 (2):284-286.
    Download  
     
    Export citation  
     
    Bookmark   177 citations  
  • Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
    In this paper, we distinguish two versions of Curry's paradox: c-Curry, the standard conditional-Curry paradox, and v-Curry, a validity-involving version of Curry's paradox that isn’t automatically solved by solving c-curry. A unified treatment of curry paradox thus calls for a unified treatment of both c-Curry and v-Curry. If, as is often thought, c-Curry paradox is to be solved via non-classical logic, then v-Curry may require a lesson about the structure—indeed, the substructure—of the validity relation itself.
    Download  
     
    Export citation  
     
    Bookmark   98 citations  
  • Truth without contra(di)ction.Elia Zardini - 2011 - Review of Symbolic Logic 4 (4):498-535.
    The concept of truth arguably plays a central role in many areas of philosophical theorizing. Yet, what seems to be one of the most fundamental principles governing that concept, i.e. the equivalence between P and , is inconsistent in full classical logic, as shown by the semantic paradoxes. I propose a new solution to those paradoxes, based on a principled revision of classical logic. Technically, the key idea consists in the rejection of the unrestricted validity of the structural principle of (...)
    Download  
     
    Export citation  
     
    Bookmark   99 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   74 citations  
  • Semantical paradox.Tyler Burge - 1979 - Journal of Philosophy 76 (4):169-198.
    Download  
     
    Export citation  
     
    Bookmark   141 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   60 citations  
  • A Calculus for Antinomies.F. G. Asenjo - 1966 - Notre Dame Journal of Formal Logic 16 (1):103-105.
    Download  
     
    Export citation  
     
    Bookmark   148 citations  
  • The liar paradox.Charles Parsons - 1974 - Journal of Philosophical Logic 3 (4):381 - 412.
    Download  
     
    Export citation  
     
    Bookmark   121 citations  
  • Truth and paradox: solving the riddles.Tim Maudlin - 2004 - New York: 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   52 citations  
  • Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.
    We group the existing variants of the familiar set-theoretical and truth-theoretical paradoxes into two classes: connective paradoxes, which can in principle be ascribed to the presence of a contracting connective of some sort, and structural paradoxes, where at most the faulty use of a structural inference rule can possibly be blamed. We impute the former to an equivocation over the meaning of logical constants, and the latter to an equivocation over the notion of consequence. Both equivocation sources are tightly related, (...)
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • A paradox regained.D. Kaplan & R. Montague - 1960 - Notre Dame Journal of Formal Logic 1 (3):79-90.
    Download  
     
    Export citation  
     
    Bookmark   105 citations  
  • A model of tolerance.Elia Zardini - 2008 - Studia Logica 90 (3):337-368.
    According to the naive theory of vagueness, the vagueness of an expression consists in the existence of both positive and negative cases of application of the expression and in the non- existence of a sharp cut-off point between them. The sorites paradox shows the naive theory to be inconsistent in most logics proposed for a vague language. The paper explores the prospects of saving the naive theory by revising the logic in a novel way, placing principled restrictions on the transitivity (...)
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  • What Truth Depends on.Hannes Leitgeb - 2005 - Journal of Philosophical Logic 34 (2):155-192.
    What kinds of sentences with truth predicate may be inserted plausibly and consistently into the T-scheme? We state an answer in terms of dependence: those sentences which depend directly or indirectly on non-semantic states of affairs (only). In order to make this precise we introduce a theory of dependence according to which a sentence φ is said to depend on a set Φ of sentences iff the truth value of φ supervenes on the presence or absence of the sentences of (...)
    Download  
     
    Export citation  
     
    Bookmark   74 citations  
  • (1 other version)Universal Logic.Ross Brady - 2006 - Bulletin of Symbolic Logic 13 (4):544-547.
    Download  
     
    Export citation  
     
    Bookmark   83 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   73 citations  
  • Disarming a Paradox of Validity.Hartry Field - 2017 - Notre Dame Journal of Formal Logic 58 (1):1-19.
    Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists.” To this end they recommend a radical (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Deflating logical consequence.Lionel Shapiro - 2011 - Philosophical Quarterly 61 (243):320-342.
    Deflationists about truth seek to undermine debates about the nature of truth by arguing that the truth predicate is merely a device that allows us to express a certain kind of generality. I argue that a parallel approach is available in the case of logical consequence. Just as deflationism about truth offers an alternative to accounts of truth's nature in terms of correspondence or justification, deflationism about consequence promises an alternative to model-theoretic or proof-theoretic accounts of consequence's nature. I then (...)
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • Multiple-conclusion lp and default classicality.Jc Beall - 2011 - Review of Symbolic Logic 4 (2):326-336.
    Philosophical applications of familiar paracomplete and paraconsistent logics often rely on an idea of . With respect to the paraconsistent logic LP (the dual of Strong Kleene or K3), such is standardly cashed out via an LP-based nonmonotonic logic due to Priest (1991, 2006a). In this paper, I offer an alternative approach via a monotonic multiple-conclusion version of LP.
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • Relevant Restricted Quantification.J. C. Beall, Ross T. Brady, A. P. Hazen, Graham Priest & Greg Restall - 2006 - Journal of Philosophical Logic 35 (6):587-598.
    The paper reviews a number of approaches for handling restricted quantification in relevant logic, and proposes a novel one. This proceeds by introducing a novel kind of enthymematic conditional.
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • The liar in context.Michael Glanzberg - 2001 - Philosophical Studies 103 (3):217 - 251.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • Non-classical Metatheory for Non-classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.
    A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Naive Modus Ponens.Elia Zardini - 2013 - Journal of Philosophical Logic 42 (4):575-593.
    The paper is concerned with a logical difficulty which Lionel Shapiro’s deflationist theory of logical consequence (as well as the author’s favoured, non-deflationist theory) gives rise to. It is argued that Shapiro’s non-contractive approach to solving the difficulty, although correct in its broad outlines, is nevertheless extremely problematic in some of its specifics, in particular in its failure to validate certain intuitive rules and laws associated with the principle of modus ponens. An alternative non-contractive theory is offered which does not (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Sets and classes.Charles Parsons - 1974 - Noûs 8 (1):1-12.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • Quantification and realism.Michael Glanzberg - 2004 - Philosophy and Phenomenological Research 69 (3):541–572.
    This paper argues for the thesis that, roughly put, it is impossible to talk about absolutely everything. To put the thesis more precisely, there is a particular sense in which, as a matter of semantics, quantifiers always range over domains that are in principle extensible, and so cannot count as really being ‘absolutely everything’. The paper presents an argument for this thesis, and considers some important objections to the argument and to the formulation of the thesis. The paper also offers (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • Revising Up: Strengthening Classical Logic in the Face of Paradox.David Ripley - 2013 - Philosophers' Imprint 13.
    This paper provides a defense of the full strength of classical logic, in a certain form, against those who would appeal to semantic paradox or vagueness in an argument for a weaker logic. I will not argue that these paradoxes are based on mistaken principles; the approach I recommend will extend a familiar formulation of classical logic by including a fully transparent truth predicate and fully tolerant vague predicates. It has been claimed that these principles are not compatible with classical (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • (1 other version)Indefinite extensibility.Timothy Williamson - 1999 - Grazer Philosophische Studien 55 (1):1-24.
    Of all the cases made against classical logic, Michael Dummett's is the most deeply considered. Issuing from a systematic and original conception of the discipline, it constitutes one of the most distinctive achievements of twentieth century British philosophy. Although Dummett builds on the work of Brouwer and Heyting, he provides the case against classical logic with a new, explicit and general foundation in the philosophy of language. Dummett's central arguments, widely celebrated if not widely endorsed, concern the implications of the (...)
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Shrieking against gluts: the solution to the 'just true' problem.Jc Beall - 2013 - Analysis 73 (3):438-445.
    This paper applies what I call the shrieking method (a refined version of an idea with roots in Priest's work) to one of – if not the – issues confronting glut-theoretic approaches to paradox (viz., the problem of ‘just true’ or, what comes to the same, ‘just false’). The paper serves as a challenge to formulate a problem of ‘just true’ that isn't solved by shrieking (as advanced in this paper), if such a problem be thought to exist.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Naive truth and naive logical properties.Elia Zardini - 2014 - Review of Symbolic Logic 7 (2):351-384.
    A unified answer is offered to two distinct fundamental questions: whether a nonclassical solution to the semantic paradoxes should be extended to other apparently similar paradoxes and whether a nonclassical logic should be expressed in a nonclassical metalanguage. The paper starts by reviewing a budget of paradoxes involving the logical properties of validity, inconsistency, and compatibility. The author’s favored substructural approach to naive truth is then presented and it is explained how that approach can be extended in a very natural (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • There is No Paradox of Logical Validity.Roy T. Cook - 2014 - Logica Universalis 8 (3-4):447-467.
    A number of authors have argued that Peano Arithmetic supplemented with a logical validity predicate is inconsistent in much the same manner as is PA supplemented with an unrestricted truth predicate. In this paper I show that, on the contrary, there is no genuine paradox of logical validity—a completely general logical validity predicate can be coherently added to PA, and the resulting system is consistent. In addition, this observation lead to a number of novel, and important, insights into the nature (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Some remarks on the notion of proof.John Myhill - 1960 - Journal of Philosophy 57 (14):461-471.
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • (1 other version)Entailment and Deducibility.T. J. Smiley - 1959 - Proceedings of the Aristotelian Society 59:233-254.
    T. J. Smiley; XII.—Entailment and Deducibility, Proceedings of the Aristotelian Society, Volume 59, Issue 1, 1 June 1959, Pages 233–254, https://doi.org/10.1093.
    Download  
     
    Export citation  
     
    Bookmark   46 citations