Switch to: Citations

Add references

You must login to add references.
  1. Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
    A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.
    Download  
     
    Export citation  
     
    Bookmark   578 citations  
  • Maximal Consistent Sets of Instances of Tarski's Schema (T).Vann McGee - 1992 - Journal of Philosophical Logic 21 (3):235 - 241.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Models of Peano Arithmetic.Richard Kaye - 1991 - Clarendon Press.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • Reducing Compositional to Disquotational Truth.Volker Halbach - 2009 - Review of Symbolic Logic 2 (4):786-798.
    Disquotational theories of truth, that is, theories of truth based on the T-sentences or similar equivalences as axioms are often thought to be deductively weak. This view is correct if the truth predicate is allowed to apply only to sentences not containing the truth predicate. By taking a slightly more liberal approach toward the paradoxes, I obtain a disquotational theory of truth that is proof theoretically as strong as compositional theories such as the Kripket probe the compositional axioms.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Recursively Saturated Nonstandard Models of Arithmetic.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Disquotational Truth and Analyticity.Volker Halbach - 2001 - Journal of Symbolic Logic 66 (4):1959-1973.
    The uniform reflection principle for the theory of uniform T-sentences is added to PA. The resulting system is justified on the basis of a disquotationalist theory of truth where the provability predicate is conceived as a special kind of analyticity. The system is equivalent to the system ACA of arithmetical comprehension. If the truth predicate is also allowed to occur in the sentences that are inserted in the T-sentences, yet not in the scope of negation, the system with the reflection (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Reflecting on Incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
    Download  
     
    Export citation  
     
    Bookmark   81 citations