## Books

*Reference and Existence: The John Locke Lectures for 1973*. New York: Oxford University Press, 2013.*Philosophical Troubles: Collected Papers, Volume 1*. New York: Oxford University Press, 2011.*Wittgenstein on Rules and Private Language*. Cambridge: Harvard University Press, 1982.*Naming and Necessity*. Cambridge: Harvard University Press, 1980.

## Papers & Abstracts

- “Free Choice Sequences: A Temporal Interpretation Compatible with Acceptance of Non-Constructive Mathematical Proofs.” Forthcoming in Indagationes Mathematicae, special issue: L.E.J. Brouwer, fifty years later.
- “‘And’ and ‘But’: A Note.” Thought. Available for early view.
- (2017) “History and Idealism: The Theory of R.G. Collingwood.” Collingwood and British Idealism Studies
*.*Vol. 23, No. 1, pp. 9 – 29. - (2017) “Quantified Modality and Essentialism.” Nous, Vol. 51, No. 2, pp. 221 – 234.
- (2017) “Quantified Modal Logic and Quine’s Critique: Some Further Observations.” Nous, Vol. 51, No. 2, pp. 235 – 237.
- (2015) “Yet Another Dogma of Empiricism.” Philosophy and Phenomenological Research. Vol 91, No. 2, pp. 381 – 385.
- (2014) “The Road to Gödel.” In J. Berg (ed.), Naming, Necessity and More: Explorations in the Philosophical Work of Saul Kripke. Palgrave Macmillan.
- (2014). “Fregean Quantification Theory”. in Journal of Philosophical Logic. Vol. 43, No. 5, pp. 879-88.
- (2013). “Another Approach: The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem,” in B. J. Copeland, C. Posy, and O. Shagrir (eds.),
*Computability: Gödel, Turing, Church, and Beyond*, Cambridge: MIT Press. - (2009). “Presupposition and Anaphora: Remarks on the Formulation of the Projection Problem,”
*Linguistic Inquiry*, Vol. 40, No. 3., pp. 367-386. - (2009). “The Collapse of the Hilbert Program” (abstract),
*Bulletin of Symbolic Logic*, Vol. 15, No.2, pp. 229-31. - (2008). “Frege’s Theory of Sense and Reference: Some Exegetical Notes,”
*Theoria*, Vol. 74, No. 3, pp. 181-218. - (2005). “Russell’s Notion of Scope,”
*Mind*, Vol. 114, pp. 1005-1037. (Special Edition on the 100th anniversary of Bertrand Russell’s paper “On Denoting” in*Mind*1905.) - (1992). “Individual Concepts: Their Logic, Philosophy, and Some of Their Uses.”
*Proceedings and Addresses of the American Philosophical Association*, Vol. 66, No. 2, pp. 70-73. Summary of invited paper given at the American Philosophical Association Eastern Division Meeting, Washington, D.C. - (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 XVIIth World Congress of Philosophy)*, Editions du Beffroi, Editions Montmorency (Montreal), pp. 241-247. - (1982). “Nonstandard Models of Peano Arithmetic” (with S. Kochen), in
*Logic and Algorithmics: International Symposium Held in Honor of Ernst Specker*, H. Lauchli (ed.), Monograph No. 30 of*L’Enseignement Mathematique*, University of Geneva (Geneva, Switzerland), pp. 277-295. - (1981). “Wittgenstein on Rules and Private Language: An Elementary Exposition,” in
*Perspectives on the Philosophy of Wittgenstein*, I. Block (ed.), Oxford, Basil Blackwell, pp. 238-312. - (1979). “A Puzzle About Belief,” in
*Meaning and Use*, A. Margalit (ed.), Dordrecht, D. Reidel, pp. 239-283. - (1977). “Speaker’s Reference and Semantic Reference,”
*Midwest Studies in Philosophy*, II, pp. 255-276. - (1976). “A Theory of Truth II. Preliminary Report,” abstract,
*Journal of Symbolic Logic*, Vol. 41, No. 2, pp. 556-557. - (1976). “A Theory of Truth I. Preliminary Report,” abstract,
*Journal of Symbolic Logic*, Vol. 41, No. 2, pp. 556. - (1976). “Is There a Problem About Substitutional Quantification?” in
*Truth and Meaning*, G. Evans and J. McDowell (eds.), London, Oxford University Press, pp. 325-419. - (1975). “Outline of a Theory of Truth,”
*Journal of Philosophy,*Vol 72, No. 19, pp. 690-716. - (1972). “Naming and Necessity,” in
*Semantics of Natural Language*, 2nd edition, D. Davidson and G. Harman (eds.), Dordrecht, Reidel Publishing Co., pp. 253-355; Addenda pp. 763-769. - (1971). “Identity and Necessity,” in
*Identity and Individuation*, Milton K. Munitz (ed.), New York, New York University Press, pp. 135-164. - (1967). “Transfinite Recursion, Constructible Sets, and Analogues of Cardinals,” in
*Summaries of Talks Prepared in Connection with the Summer Institute on Axiomatic Set Theory*, American Mathematical Society, U.C.L.A., pp. IV-0-1 through IV-0-12.

- (1967). “On the Application of Boolean-Valued Models to Solutions of Problems in Boolean Algebra,” in
*Summaries of Talks Prepared in Connection with the Summer Institute on Axiomatic Set Theory*, American Mathematical Society, U.C.L.A., pp. IV-T-1 through IV-T-7. - (1967). Research Announcement: “Deduction-preserving ‘Recursive Isomorphisms’ between Theories” (with Marian Boykan Pour-El),
*Bulletin of the American Mathematical Society*, Vol. 73, pp. 145-148. - (1967). “An Extension of a Theorem of Gaifman-Hales-Solovay,”
*Fundamenta Mathematicae*, Vol. 61, pp. 29-32. - (1967). “Deduction-preserving ‘Recursive Isomorphisms’ between Theories” (with Marian Boykan Pour-El),
*Fundamenta Mathematicae*, Vol. 61, pp. 141-163. - (1965). “Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi,” in
*The Theory of Models (Proceedings of the 1963 International Symposium at Berkeley)*, J. W. Addison, L. Henkin, and A. Tarski (eds.), Amsterdam, North Holland Publishing Co., pp. 206-220. - (1964). “Transfinite Recursions on Admissible Ordinals, II,” abstract,
*Journal of Symbolic Logic*, Vol. 29, No. 3, p. 162. - (1964). “Admissible Ordinals and the Analytic Hierarchy,” abstract,
*Journal of Symbolic Logic*, Vol. 29, No. 3, p. 162. - (1964). “Transfinite Recursions on Admissible Ordinals, I,” abstract,
*Journal of Symbolic Logic*, Vol. 29, No. 3, p. 162. - (1963). “Semantical Analysis of Intuitionistic Logic I,” in
*Formal Systems and Recursive Functions (Proceedings of the Eighth Logic Colloquium at Oxford)*, J. N. Crossley and M. A. E. Dummett (eds), Amsterdam, North Holland Publishing Co., pp. 92-129. - (1963). “Semantical Analysis of Modal Logic I. Normal Propositional Calculi,”
*Zeitschrift fur mathematische Logik und Grundlagen der Mathematik*, Vol. 9, pp. 67-96. - (1963). “Semantical Considerations on Modal Logic,”
*Acta Philosophica Fennica*, Vol. 16, pp. 83-94. - (1962). “‘Flexible’ Predicates of Formal Number Theory,”
*Proceedings of the American Mathematical Society*, 13, 4, pp. 647-650. - (1962). “The Undecidability of Monadic Modal Quantification Theory,”
*Zeitschrift fur mathematische Logik und Grundlagen der Mathematik*, Vol. 8, pp. 113-116. - (1959). “Distinguished Constituents,” abstract,
*Journal of Symbolic Logic*, 24, 4, p. 323. - (1959). “Semantical Analysis of Modal Logic,” abstract,
*Journal of Symbolic Logic*, 24, 4, pp. 323-324. - (1959). “The Problem of Entailment,” abstract,
*Journal of Symbolic Logic*, 24, 4, p.324. - (1959). “A Completeness Theorem in Modal Logic,”
*Journal of Symbolic Logic*, 24, 1, pp. 1-14.

## Reviews & Discussions

- (1985). Critical review of three papers by Kit Fine, all entitled “Model Theory for Modal Logic,”
*The Journal of Symbolic Logic*, Vol 50, No 4, pp. 1083-1093. [Fine’s papers appeared in*The Journal of Philosophical Logic*. Part I in Volume 7 (1978), pp. 125-156; Part II, Volume 7 (1978), pp. 277-306; Part III, Volume 10 (1981), pp. 293-307.] - (1983). Review of Kit Fine, “Failures of the Interpolation Lemma in Quantified Modal Logic,”
*Journal of Symbolic Logic*, Vol 48, No 2, pp. 486-488. [Fine’s paper appeared in*Journal of Symbolic Logic*, 44, (1979), pp. 201-220] - (1974). G. Harman, W.V. Quine, S. Kripke, D. Lewis, M.A.E. Dummett, and B. Partee, “Second General Discussion Session,” (Proceedings of a Conference on ‘Language, Intentionality, and Translation-Theory’),
*Synthese*, Vol. 27, pp. 509-521. - (1974). D. Davidson, D. Kaplan, W.V. Quine, B. Partee, M.A.E. Dummett, G. Harman, H. Putnam, S. Kripke, W. Sellars, D. Lewis, and C. Parsons, “First General Discussion Session” (Proceedings of a Conference on ‘Language, Intentionality, and Translation-Theory’),
*Synthese*, Vol. 27, pp. 471-508. - (1967). Review of E. J. Lemmon, “Algebraic Semantics for Modal Logic I,”
*Mathematical Reviews*, Vol. 34, No. 5, pp. 1021-1022. [Lemmon’s paper appeared in*Journal of Symbolic Logic*, 31 (1966), pp. 46-65.] - (1967). Review of E. J. Lemmon, “Algebraic Semantics for Modal Logic II,” [
*Journal of Symbolic Logic*, 31 (1966), pp. 191-218],*Mathematical Reviews*, Vol. 34, No. 5, p. 1022. - (1963). R.B. Marcus, W.V. Quine, S. Kripke, T. McCarthy, and D. Føllesdal, “Discussion” (Colloquium on ‘Modalities and Intensional Languages’),
*Boston Studies in the Philosophy of Science: Proceedings*, Vol. 1.*Colloquium for the Philosophy of Science*, Boston, 1961-62, M.W. Wartofsky (ed.), Dordrecht, Reidel Publishing Co., pp. 105-116.