Weak and strong theories of truth

Studia Logica

Volumn 68, Issue 1, 2001, Pages 89-101

  Sheard, Michael ^a  

^a ST LAWRENCE UNIVERSITY   (United States)

Author keywords

FS; Truth

Indexed keywords

EID: 52549099447     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1011902222652     Document Type: Article

References (11)

1. 1', Journal of Symbolic Logic 55 (1990), 244-259.
2. FEFERMAN, S., 'Theories of finite type related to mathematical practice', in J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, 1977, pp. 913-971.
3. FEFERMAN, S., 'Reflecting on incompleteness', Journal of Symbolic Logic 56 (1991), 1-49.
4. FRIEDMAN, H., and M. SHEARD, 'An axiomatic approach to self-referential truth', Annals of Pure and Applied Logic 33 (1987), 1-21.
5. FRIEDMAN, H., and M. SHEARD, 'The disjunction and existence properties for axiomatic systems of truth', Annals of Pure and Applied Logic 40 (1988), 1-10.
6. HALBACH, V., 'A system of complete and consistent truth', Notre Dame Journal of Formal Logic 35 (1994), 311-327.
7. KOTLARSKI, H., and Z. RATAJCZYK, 'More on induction in the language with a full satisfaction class', Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 36 (1990), 441-454.
8. McGEE, V., 'How truth-like can a predicate be? A negative result', Journal of Philosophical Logic 14 (1985), 399-410.
9. POHLERS, W., 'Subsystems of set theory and second order number theory', in S. R. Buss (ed.), Handbook of Proof Theory, Elsevier, 1998, pp. 209-335.
10. SCHÜTTE, K., Proof Theory, Springer-Verlag, 1977.
11. SHEARD, M., 'A guide to truth predicates in the modern era', Journal of Symbolic Logic 59 (1994), 1032-1054.