|Abstract||This is not a research paper. It is just a handout that I prepared for a course some years ago. It is a presentation of Kripke's theory of truth that I intend to be understandable even to people who have had only a first course in logic. Although elementary, it is completely precise. All the terms are defined and all the proofs (except one trivial induction) are given in detail. I am putting this on the web because I think there are probably a lot of people who want to think about truth and who recognize that they need to know something about Kripke's theory but who are not sure whether they have the necessary background to follow the precise presentations that have been published.|
|Keywords||No keywords specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Melvin Fitting (2006). Bilattices Are Nice Things. In T. Bolander, V. Hendricks & S. A. Pedersen (eds.), Self-Reference. Csli Publications.
Alan Berger (ed.) (2010). Saul Kripke. Cambridge University Press.
Ruth G. Millikan (1990). Truth, Rules, Hoverflies, and the Kripke-Wittgenstein Paradox. Philosophical Review 99 (3):323-53.
Philip Kremer (2009). Comparing Fixed-Point and Revision Theories of Truth. Journal of Philosophical Logic 38 (4):363 - 403.
Philippe Schlenker (2010). Super Liars. Review of Symbolic Logic 3 (3):374-414.
Volker Halbach & Leon Horsten (2006). Axiomatizing Kripke's Theory of Truth. Journal of Symbolic Logic 71 (1):677--712.
Leon Horsten (2006). Axiomatizing Kripke's Theory of Truth. Journal of Symbolic Logic 71 (2):677 - 712.
Volker Halbach, Axiomatic Theories of Truth. Stanford Encyclopedia of Philosophy.
Added to index2009-01-28
Total downloads170 ( #1,908 of 549,088 )
Recent downloads (6 months)7 ( #10,333 of 549,088 )
How can I increase my downloads?