Switch to: References

Add citations

You must login to add citations.
  1. The Modal Logics of Kripke–Feferman Truth.Carlo Nicolai & Johannes Stern - 2021 - Journal of Symbolic Logic 86 (1):362-396.
    We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results. Given a fixed-point model $\mathcal {M}$, or an axiomatization S thereof, we find a modal logic M such that a modal sentence $\varphi $ is a theorem of M if and only if the sentence $\varphi ^*$ obtained by translating the modal operator with the truth predicate is true in $\mathcal {M}$ or a theorem of S under all such translations. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Intersubstitutivity Principles and the Generalization Function of Truth.Anil Gupta & Shawn Standefer - 2018 - Synthese 195 (3):1065-1075.
    We offer a defense of one aspect of Paul Horwich’s response to the Liar paradox—more specifically, of his move to preserve classical logic. Horwich’s response requires that the full intersubstitutivity of ‘ ‘A’ is true’ and A be abandoned. It is thus open to the objection, due to Hartry Field, that it undermines the generalization function of truth. We defend Horwich’s move by isolating the grade of intersubstitutivity required by the generalization function and by providing a new reading of the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Proof Theory for Functional Modal Logic.Shawn Standefer - 2018 - Studia Logica 106 (1):49-84.
    We present some proof-theoretic results for the normal modal logic whose characteristic axiom is \. We present a sequent system for this logic and a hypersequent system for its first-order form and show that these are equivalent to Hilbert-style axiomatizations. We show that the question of validity for these logics reduces to that of classical tautologyhood and first-order logical truth, respectively. We close by proving equivalences with a Fitch-style proof system for revision theory.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Rational Way of Playing: Revision Theory for Strategic Interaction.Riccardo Bruni & Giacomo Sillari - 2018 - Journal of Philosophical Logic 47 (3):419-448.
    Gupta has proposed a definition of strategic rationality cast in the framework of his revision theory of truth. His analysis, relative to a class of normal form games in which all players have a strict best reply to all other players’ strategy profiles, shows that game-theoretic concepts have revision-theoretic counterparts. We extend Gupta’s approach to deal with normal form games in which players’ may have weak best replies. We do so by adapting intuitions relative to Nash equilibrium refinements to the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.
    We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • In Praise of a Logic of Definitions That Tolerates Ω‐Inconsistency.Anil Gupta - 2018 - Philosophical Issues 28 (1):176-195.
    Download  
     
    Export citation  
     
    Bookmark  
  • Paradoxes and Contemporary Logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   9 citations