How not to state T-sentences

Analysis

Volumn 66, Issue 292, 2006, Pages 276-280

  Halbach, Volker ^a  

^a NEW COLLEGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 61249490594     PISSN: 00032638     EISSN: 14678284     Source Type: Journal    
DOI: 10.1093/analys/66.4.276     Document Type: Review

References (11)

1. Chang, C. C. and H. J. Keisler. 1990. Model Theory. 3rd. ed. Amsterdam North-Holland
2. Halbach, V. and L. Horsten, eds. 2002. Principles of Truth. Frankfurt a.M.: Dr. Hänsel-Hohenhaus
3. Halbach, V. 2002. Modalized disquotationalism. In V. Halbach and L Horsten, 2002: 75-101
4. Horsten, L. 2002. An axiomatic investigation of provability as a primitive predicate. In V. Halbach and L. Horsten, 2002: 203-20
5. Horsten, L. and H. Leitgeb. 2001. No future. Journal of Philosophical Logic 30: 259-65
6. Leitgeb, H. 2005. What truth depends on. Journal of Philosophical Logic 34: 155-92
7. McGee, V. 1992. Maximal consistent sets of instances of Tarski's schema (T). Journal of Philosophical Logic 21: 235-41
8. Montague, R. 1963. Syntactical treatments of modality, with corollaries principles and finite axiomatizability on reflexion principles and finite axiomatizability. Acta Philosophica Fennica 16: 153-67
9. Repr. in Montague 1974, 286-302
10. Montague, R. 1974. Formal Philosophy: Selected Papers of Richard Montague, ed. R. H. Thomason. New Haven and London: Yale University Press
11. Niebergall, K-G. 1991. Simultane objektsprachliche Axiomatisierung von Beweisbarkeitsprädikaten Notwendigkeits-und Beweisbarkeitsprädikaten. Master's thesis, Ludwigs-Maximilians-Universität, Munich