Individual Concepts: Their Logic, Philosophy, and Some of Their Uses

This paper is an amended version of a talk Saul Kripke gave at the Eastern Division meeting of the APA in 1992 (an extended abstract was previously published as  Kripke, 1992). It contains philosophical reflections and technical results concerning “Carnapian” quantified modal logic, that is, modal logic with quantification over individual concepts. The paper contains the fullest statement by the author available of (un)axiomatizability results he obtained in the 1970s. (The Editors.)