Switch to: References

Add citations

You must login to add citations.
  1. Naïve Truth and the Evidential Conditional.Iacona Andrea & Lorenzo Rossi - 2024 - Journal of Philosophical Logic 1:1-26.
    This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is true. The validity predicate (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Classical Determinate Truth I.Kentaro Fujimoto & Volker Halbach - 2024 - Journal of Symbolic Logic 89 (1):218-261.
    We introduce and analyze a new axiomatic theory $\mathsf {CD}$ of truth. The primitive truth predicate can be applied to sentences containing the truth predicate. The theory is thoroughly classical in the sense that $\mathsf {CD}$ is not only formulated in classical logic, but that the axiomatized notion of truth itself is classical: The truth predicate commutes with all quantifiers and connectives, and thus the theory proves that there are no truth value gaps or gluts. To avoid inconsistency, the instances (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Substitutional Validity for Modal Logic.Marco Grossi - 2023 - Notre Dame Journal of Formal Logic 64 (3):291-316.
    In the substitutional framework, validity is truth under all substitutions of the nonlogical vocabulary. I develop a theory where □ is interpreted as substitutional validity. I show how to prove soundness and completeness for common modal calculi using this definition.
    Download  
     
    Export citation  
     
    Bookmark  
  • Naïve Truth and the Evidential Conditional.Andrea Iacona & Lorenzo Rossi - 2024 - Journal of Philosophical Logic 53 (2):559-584.
    This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is true. The validity predicate (...)
    Download  
     
    Export citation  
     
    Bookmark