Switch to: References

Add citations

You must login to add citations.
  1. Model-Theoretic Semantics and Revenge Paradoxes.Lorenzo Rossi - 2019 - Philosophical Studies 176 (4):1035-1054.
    Revenge arguments purport to show that any proposed solution to the semantic paradoxes generates new paradoxes that prove that solution to be inadequate. In this paper, I focus on revenge arguments that employ the model-theoretic semantics of a target theory and I argue, contra the current revenge-theoretic wisdom, that they can constitute genuine expressive limitations. I consider the anti-revenge strategy elaborated by Field and argue that it does not offer a way out of the revenge problem. More generally, I argue (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Binary Kripke Semantics for a Strong Logic for Naive Truth.Ben Middleton - forthcoming - Review of Symbolic Logic:1-25.
    I show that the logic $\textsf {TJK}^{d+}$, one of the strongest logics currently known to support the naive theory of truth, is obtained from the Kripke semantics for constant domain intuitionistic logic by dropping the requirement that the accessibility relation is reflexive and only allowing reflexive worlds to serve as counterexamples to logical consequence. In addition, I provide a simplified natural deduction system for $\textsf {TJK}^{d+}$, in which a restricted form of conditional proof is used to establish conditionals.
    Download  
     
    Export citation  
     
    Bookmark  
  • Paths to Triviality.Tore Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.
    This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Naive Set Theory and Nontransitive Logic.David Ripley - 2015 - Review of Symbolic Logic 8 (3):553-571.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Can Modalities Save Naive Set Theory?Peter Fritz, Harvey Lederman, Tiankai Liu & Dana Scott - 2018 - Review of Symbolic Logic 11 (1):21-47.
    Download  
     
    Export citation  
     
    Bookmark