Tarskian and Kripkean truth

Journal of Philosophical Logic

Volumn 26, Issue 1, 1997, Pages 69-80

  Halbach, Volker ^a  

^a NONE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 52549086399     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/a:1017977304199     Document Type: Article

References (14)

1. Burge, T.: 1979, "Semantical Paradox", Journal of Philosophy 76, 83-118.
2. Burgess, J.: 1986, "The Truth is Never Simple", Journal of Symbolic Logic 51, 663-681.
3. Church, A.: 1976, "Comparison of Russel's Resolution of the Semantical Antinomies with that of Tarski", Journal of Symbolic Logic 41, 747-760.
4. Feferman, S.: 1991, "Reflecting on Incompleteness", Journal of Symbolic Logic 56, 1-4-9.
5. Girard J.-Y.: 1987, Proof Theory and Logical Complexity vol. 1, Bibliopolis, Napoli.
6. Halbach, V.: 1995, "Tarski Hierarchies", Erkenntnis 43, 339-367.
7. Halbach, V.: 1996, Axiomatische Wahrheitstheorien, Akademie Verlag, Berlin.
8. Jokusch, C. G.: 1975, "Recursiveness of Initial Segments of Kleene's O", Fundamenta Mathematicae LXXXVII, 161-167.
9. Kripke, S.: 1975, "Outline of a Theory of Truth", Journal of Philosophy 72, 690-716.
10. Martin, R. L.: 1975, "On Representing 'True-in-L' in L", Philosophia 5, 213-217.
11. McGee, V.: 1991, Truth, Vagueness and Paradox, Hackett Publishing, Indianapolis.
12. Moschovakis, Y. N.: 1974, Elementary Induction on Abstract Structures, North-Holland, Amsterdam.
13. Parsons, C.: 1974, "The Liar Paradox", Journal of Philosophical Logic 3, 381-4112.
14. Rogers, H.: 1967, Theory of Recursive Functions and Effective Computability, McGraw-Hill Book Company, New York.