David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Manuel Perez Otero (1998). Las distinciones modales de Kripke y el concepto de proposición. Teorema 17 (1):61-74.
Melvin Fitting (2006). Bilattices Are Nice Things. In T. Bolander, V. Hendricks & S. A. Pedersen (eds.), Self-Reference. Csli Publications.
Alan Berger (ed.) (2011). 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 (2):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 downloads176 ( #3,576 of 1,100,978 )
Recent downloads (6 months)5 ( #58,761 of 1,100,978 )
How can I increase my downloads?