Switch to: References

Add citations

You must login to add citations.
  1. Non-Classical Circular Definitions.Shawn Standefer - 2017 - Australasian Journal of Logic 14 (1).
    Circular denitions have primarily been studied in revision theory in the classical scheme. I present systems of circular denitions in the Strong Kleene and supervaluation schemes and provide complete proof systems for them. One class of denitions, the intrinsic denitions, naturally arises in both schemes. I survey some of the features of this class of denitions.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Finite Circular Definitions.Anil Gupta - 2006 - In Thomas Bolander, Vincent F. Hendricks & Stig Andur Andersen (eds.), Self-Reference. CSLI Publications. pp. 79-93.
  • Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
  • Solovay-Type Theorems for Circular Definitions.Shawn Standefer - 2015 - Review of Symbolic Logic 8 (3):467-487.
  • In Praise of a Logic of Definitions That Tolerates Ω‐Inconsistency.Anil Gupta - 2018 - Philosophical Issues 28 (1):176-195.