|
Kripke, S.A. (1959) ‘A Completeness Theorem in Modal Logic’, Journal of Symbolic Logic
24 (1): 1–14. (Proves that a formula is a theorem of quantified modal logic if and only if it is valid in Kripke’s semantics. Very technical.) |
|
Kripke, S.A. (1963) ‘Semantical Considerations on Modal Logic’, Acta Philosophica Fennica
16: 83–94; 53–355. (Presents Kripke’s semantics for modal logic. Partly informal, partly technical.) |
|
Kripke, S.A. (1971) ‘Identity and Necessity’, in M.K.
Munitz (ed.) Identity and Individuation, New York: New York University Press, 135–164. (An early presentation of key ideas treated in Kripke 1980.) |
|
Kripke, S.A. (1972) ‘Naming and Necessity’, in D.
Davidson (ed.) Semantics of Natural Language, Dordrecht: Reidel, 2nd edn, 253–355. (Treats the topics of Kripke 1980.) |
|
Kripke, S.A. (1975) ‘Outline of a Theory of Truth’, Journal of Philosophy
72 (19): 690–716. (Sketches a theory of truth designed to avoid paradox while minimizing truth-value gaps. Very technical.) |
|
Kripke, S.A. (1976) ‘Is There a Problem about Substitutional Quantification?’, in G.
Evans and J.
McDowell (eds) Truth and Meaning, London: Oxford University Press, 325–419. (Discussions of the substitutional interpretation of quantification and evaluation of its philosophical significance. Difficult, often technical.) |
|
Kripke, S.A. (1977) ‘Speaker’s Reference and Semantic Reference’, Midwest Studies in Philosophy
2: 255–276. (On the potential divergence of what a speaker intends to refer to from what the speaker’s words refer to, and whether the words are ambiguous. Largely nontechnical.) |
|
Kripke, S.A. (1979) ‘A Puzzle About Belief’, in A.
Margalit (ed.) Meaning and Use, Dordrecht: Reidel, 239–283. (Discusses a vital problem concerning the interplay of reference and belief. Difficult, not very technical.) |
|
Kripke, S.A. (1980) Naming and Necessity, Oxford: Blackwell, and Cambridge, MA: Harvard University Press. (The key source for Kripke’s views on proper names, reference, identity, necessity, essentialism and related topics. Difficult but largely nontechnical.) |
|
Kripke, S.A. (1982) Wittgenstein on Rules and Private Language, Oxford: Blackwell, and Cambridge, MA: Harvard University Press. (Discusses scepticism, rule-following and Wittgenstein’s ‘private language argument’. Nontechnical.) |
|
Kripke, S.A. (1986) ‘A Problem in the Theory of Reference: The Linguistic Division of Labor and the Social Character of Naming’, in Philosophy and Culture (Proceedings of the 17th World Congress of Philosophy), Montreal: Editions du Beffroi, Editions Montmorency, 241–247. (Discusses a problem about how proper names refer.) |