Switch to: References

Add citations

You must login to add citations.
  1. The very idea of a substructural approach to paradox.Lionel Shapiro - 2016 - Synthese 199 (Suppl 3):767-786.
    This paper aims to call into question the customary division of logically revisionary responses to the truth-theoretic paradoxes into those that are “substructural” and those that are “ structural.” I proceed by examining, as a case study, Beall’s recent proposal based on the paraconsistent logic LP. Beall formulates his response to paradox in terms of a consequence relation that obeys all standard structural rules, though at the price of the language’s lacking a detaching conditional. I argue that the same response (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Classicality Lost: K3 and LP after the Fall.Matthias Jenny - 2016 - Thought: A Journal of Philosophy 6 (1):43-53.
    It is commonly held that the ascription of truth to a sentence is intersubstitutable with that very sentence. However, the simplest subclassical logics available to proponents of this view, namely K3 and LP, are hopelessly weak for many purposes. In this article, I argue that this is much more of a problem for proponents of LP than for proponents of K3. The strategies for recapturing classicality offered by proponents of LP are far less promising than those available to proponents of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Two Fallacies in Proofs of the Liar Paradox.Peter Eldridge-Smith - 2020 - Philosophia 48 (3):947-966.
    At some step in proving the Liar Paradox in natural language, a sentence is derived that seems overdetermined with respect to its semantic value. This is complemented by Tarski’s Theorem that a formal language cannot consistently contain a naive truth predicate given the laws of logic used in proving the Liar paradox. I argue that proofs of the Eubulidean Liar either use a principle of truth with non-canonical names in a fallacious way or make a fallacious use of substitution of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Note on Gödel, Priest and Naïve Proof.Massimiliano Carrara - forthcoming - Logic and Logical Philosophy:1.
    In the 1951 Gibbs lecture, Gödel asserted his famous dichotomy, where the notion of informal proof is at work. G. Priest developed an argument, grounded on the notion of naïve proof, to the effect that Gödel’s first incompleteness theorem suggests the presence of dialetheias. In this paper, we adopt a plausible ideal notion of naïve proof, in agreement with Gödel’s conception, superseding the criticisms against the usual notion of naïve proof used by real working mathematicians. We explore the connection between (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  • An Observation about Truth.David Kashtan - 2017 - Dissertation, University of Jerusalem
    Tarski's analysis of the concept of truth gives rise to a hierarchy of languages. Does this fragment the concept all the way to philosophical unacceptability? I argue it doesn't, drawing on a modification of Kaplan's theory of indexicals.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation