Theories of truth which have no standard models

Studia Logica

Volumn 68, Issue 1, 2001, Pages 69-87

  Leitgeb, Hannes ^a  

^a UNIVERSITY OF SALZBURG   (Austria)

Author keywords

Axiomatic theories of truth; Mcgee's omega inconsistency result; Nonstandard models; Omega logic; Semantically closed languages

Indexed keywords

EID: 33947706540     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1011950105814     Document Type: Article

References (17)

1. CHANG, C. C., H. J. KEISLER, Model Theory, Amsterdam, North-Holland, 1990.
2. FRIEDMAN, H., M., SHEARD, 'An axiomatic approach to self-referential truth', Annals of Pure and Applied Logic 33 (1987): 1-21.
3. GÖDEL, K., "Über formal unentscheidbare Sätze der Principia Matheraatica und verwandter Systeme P, Monatshefte für Mathematik und Physik 38 (1931): 173-198.
4. GUPTA, A., N. BELNAP, The Revision Theory of Truth (Cambridge, Massachusetts: The MIT Press, 1993).
5. HALBACH, V., 'A system of complete and consistent truth', Notre Dame Journal of Formal Logic 35/3 (1994): 311-327.
6. HALBACH, V., Axiomatische Wahrheitstheorien, Berlin, Akademie Verlag, 1996.
7. HARDY, J., 'Is Yablo's paradox Liar-like?', Analysis 55.3 (1995), 197-198.
8. HENKIN, L., 'A generalization of the concept of ω-Consistency', Journal of Symbolic Logic 19 (1954), 183-196.
9. LEITGEB, H., 'Truth as translation', Forschungsbericht der DFG-Forschergruppe Logik in der Philosophie 44 (1999); submitted for publication.
10. MCCARTHY, T., 'Ungroundedness in classical languages', Journal of Philosophical Logic 17 (1988): 61-74.
11. McGee, V., 'How truthlike can a predicate be? A negative result', Journal of Philosophical Logic 14 (1985): 399-410.
12. MONTAGUE, R., 'Syntactic treatments of modality, with corollaries on reflexion principles and finite axiomatizability', Acta Philosophica Fennica 16 (1974), 153-167.
13. OREY, S., 'On ω-consistency and related properties', Journal of Symbolic Logic 21 (1956): 246-252.
14. TARSKI, A., 'Der Wahrheitsbegriff in den formalisierten Sprachen', Studia Philosophica 1 (1935): 261-405.
15. Tarski, A., Mostowski, A., Robinson, R.M., Undecidable Theories (Amsterdam: North Holland, 1953).
16. VISSER, A., 'Semantics and the Liar Paradox', Handbook of Philosophical Logic, Vol. IV (1989): 617-706.
17. YABLO, S., 'Paradox without self-reference', Analysis 53 (1993): 251-252.