Abstract

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.)