Abstract
A theory of the transfinite Tarskian hierarchy of languages is outlined and compared to a notion of partial truth by Kripke. It is shown that the hierarchy can be embedded into Kripke’s minimal fixed point model. From this results on the expressive power of both approaches are obtained.
Similar content being viewed by others
REFERENCES
Burge, T.: 1979, “Semantical Paradox”, Journal of Philosophy 76, 83–118.
Burgess, J.: 1986, “The Truth is Never Simple”, Journal of Symbolic Logic 51, 663–681.
Church, A.: 1976, “Comparison of Russel's Resolution of the Semantical Antinomies with that of Tarski”, Journal of Symbolic Logic 41, 747–760.
Feferman, S.: 1991, “Reflecting on Incompleteness”, Journal of Symbolic Logic 56, 1–49.
Girard J.-Y.: 1987, Proof Theory and Logical Complexity vol. 1, Bibliopolis, Napoli.
Halbach, V.: 1995, “Tarski Hierarchies”, Erkenntnis 43, 339–367.
Halbach, V.: 1996, Axiomatische Wahrheitstheorien, Akademie Verlag, Berlin.
Jokusch, C. G.: 1975, “Recursiveness of Initial Segments of Kleene's\(\mathcal{O}\)”, Fundamenta Mathematicae LXXXVII, 161–167.
Kripke, S.: 1975, “Outline of a Theory of Truth”, Journal of Philosophy 72, 690–716.
Martin, R. L.: 1975, “On Representing ‘True-in-L’ in L”, Philosophia 5, 213–217.
McGee, V.: 1991, Truth, Vagueness and Paradox, Hackett Publishing, Indianapolis.
Moschovakis, Y. N.: 1974, Elementary Induction on Abstract Structures, North-Holland, Amsterdam.
Parsons, C.: 1974, “The Liar Paradox”, Journal of Philosophical Logic 3, 381–412.
Rogers, H.: 1967, Theory of Recursive Functions and Effective Computability, McGraw-Hill Book Company, New York.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Halbach, V. Tarskian and Kripkean truth. Journal of Philosophical Logic 26, 69–80 (1997). https://doi.org/10.1023/A:1017977304199
Issue Date:
DOI: https://doi.org/10.1023/A:1017977304199