13 found
Order:
See also
Shawn Standefer
University of Melbourne
  1. 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   3 citations  
  2. Contraction and Revision.Shawn Standefer - 2016 - Australasian Journal of Logic 13 (3):58-77.
    An important question for proponents of non-contractive approaches to paradox is why contraction fails. Zardini offers an answer, namely that paradoxical sentences exhibit a kind of instability. I elaborate this idea using revision theory, and I argue that while instability does motivate failures of contraction, it equally motivates failure of many principles that non-contractive theorists want to maintain.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  27
    Solovay-Type Theorems for Circular Definitions.Shawn Standefer - 2015 - Review of Symbolic Logic 8 (3):467-487.
  4. On Artifacts and Truth-Preservation.Shawn Standefer - 2015 - Australasian Journal of Logic 12 (3):135-158.
    In Saving Truth from Paradox, Hartry Field presents and defends a theory of truth with a new conditional. In this paper, I present two criticisms of this theory, one concerning its assessments of validity and one concerning its treatment of truth-preservation claims. One way of adjusting the theory adequately responds to the truth-preservation criticism, at the cost of making the validity criticism worse. I show that in a restricted setting, Field has a way to respond to the validity criticism. I (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  13
    Trees for E.Shawn Standefer - 2018 - Logic Journal of the IGPL 26 (3):300-315.
  6.  8
    Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs.Shawn Standefer - forthcoming - Studia Logica:1-32.
    Two common forms of natural deduction proof systems are found in the Gentzen–Prawitz and Jaśkowski–Fitch systems. In this paper, I provide translations between proofs in these systems, pointing out the ways in which the translations highlight the structural rules implicit in the systems. These translations work for classical, intuitionistic, and minimal logic. I then provide translations for classical S4 proofs.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  96
    The Relevant Logic E and Some Close Neighbours: A Reinterpretation.Edwin Mares & Shawn Standefer - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):695--730.
    This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference. Second, it uses this interpretation, together with Anderson and Belnap’s natural deduc- tion system for E, to generalise E to a range of other systems of strict relevant implication. Routley–Meyer ternary relation semantics for these systems are produced and completeness theorems are proven. -/- .
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  15
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  2
    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  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  6
    Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - forthcoming - Journal of Philosophical Logic:1-9.
  11. The Tarskian Turn: Deflationism and Axiomatic Truth.Shawn Standefer - 2013 - Philosophical Review 122 (1):144-147.
  12.  33
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  44
    Review of Stewart Shapiro's Varieties of Logic. [REVIEW]Shawn Standefer - 2015 - Notre Dame Philosophical Reviews 2015.
    Direct download  
     
    Export citation  
     
    Bookmark