Switch to: References

Citations of:

Truth is Simple

Mind 126 (501):195-232 (2017)

Add citations

You must login to add citations.
  1. The Implicit Commitment of Arithmetical Theories and Its Semantic Core.Carlo Nicolai & Mario Piazza - 2019 - Erkenntnis 84 (4):913-937.
    According to the implicit commitment thesis, once accepting a mathematical formal system S, one is implicitly committed to additional resources not immediately available in S. Traditionally, this thesis has been understood as entailing that, in accepting S, we are bound to accept reflection principles for S and therefore claims in the language of S that are not derivable in S itself. It has recently become clear, however, that such reading of the implicit commitment thesis cannot be compatible with well-established positions (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Fix, Express, Quantify: Disquotation After Its Logic.Carlo Nicolai - 2021 - Mind 130 (519):727-757.
    Truth-theoretic deflationism holds that truth is simple, and yet that it can fulfil many useful logico-linguistic roles. Deflationism focuses on axioms for truth: there is no reduction of the notion of truth to more fundamental ones such as sets or higher-order quantifiers. In this paper I argue that the fundamental properties of reasonable, primitive truth predicates are at odds with the core tenets of classical truth-theoretic deflationism that I call fix, express, and quantify. Truth may be regarded as a broadly (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • A note on Horwich’s notion of grounding.Thomas Schindler - 2020 - Synthese 197 (5):2029-2038.
    Horwich proposes a solution to the liar paradox that relies on a particular notion of grounding—one that, unlike Kripke’s notion of grounding, does not invoke any “Tarski-style compositional principles”. In this short note, we will formalize Horwich’s construction and argue that his solution to the liar paradox does not justify certain generalizations about truth that he endorses. We argue that this situation is not resolved even if one appeals to the \-rule. In the final section, we briefly discuss how Horwich (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • Hypatia's Silence.Martin Fischer, Leon Horsten & Carlo Nicolai - 2021 - Noûs 55 (1):62-85.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Book Reviews. [REVIEW]Jeffrey Ketland - 2020 - Studia Logica 108 (1):159-162.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Book Reviews. [REVIEW]Jeffrey Ketland - 2020 - Studia Logica 108 (1):159-162.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Hypatia's Silence. Truth, Justification, and Entitlement.Martin Fischer, Leon Horsten & Carlo Nicolai - manuscript
    Hartry Field distinguished two concepts of type-free truth: scientific truth and disquotational truth. We argue that scientific type-free truth cannot do justificatory work in the foundations of mathematics. We also present an argument, based on Crispin Wright's theory of cognitive projects and entitlement, that disquotational truth can do justificatory work in the foundations of mathematics. The price to pay for this is that the concept of disquotational truth requires non-classical logical treatment.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Axiomatic Theories of Truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
    Definitional and axiomatic theories of truth -- Objects of truth -- Tarski -- Truth and set theory -- Technical preliminaries -- Comparing axiomatic theories of truth -- Disquotation -- Classical compositional truth -- Hierarchies -- Typed and type-free theories of truth -- Reasons against typing -- Axioms and rules -- Axioms for type-free truth -- Classical symmetric truth -- Kripke-Feferman -- Axiomatizing Kripke's theory in partial logic -- Grounded truth -- Alternative evaluation schemata -- Disquotation -- Classical logic -- Deflationism (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   81 citations