Research Articles and Abstracts
50. “The Question of Logic,” Mind, 133(529), 2024, 1-36.
49. “Gödel’s Theorem and Direct Self-Reference,” Review of Symbolic Logic, 16(2), 2023, 650-654. [view]
48. “Wittgenstein, Russell, and Our Concept of the Natural Numbers,” in Mathematical Knowledge, Objects and Applications: Essays in Memory of Mark Steiner, C. Posy and Y. Ben-Menahem (eds.), Springer (Cham), 2023, 137-155.
47. “The Collapse of the Hilbert Program: A Variation on the Gödelian Theme,” Bulletin of Symbolic Logic, 28(3), 2022, 413-426. [view]
46. “Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History,” History and Philosophy of Logic, 43(2), 2022, 175-182. [view]
45. “A Proof of Gamma,” in Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn, K. Bimbó (ed.), College Publications (London), 2022, 261-265. [view]
44. “Free Choice Sequences: A Temporal Interpretation Compatible with Acceptance of Classical Mathematics,” Indagationes Mathematicae, 30(3), 2019, 492-499 (Special issue: L.E.J. Brouwer, fifty years later). [view]
43. “Ungroundedness in Tarskian Languages,” Journal of Philosophical Logic, 48(3), 2019, 603-609. [view]
42. “History and Idealism: The Theory of R. G. Collingwood,” Collingwood and British Idealism Studies, 23(1), 2017, 9–29. [view] [preface]
41. “‘And’ and ‘But’: A Note,” Thought, 6(2), 2017, 102-105. [view]
40.“Quantified Modal Logic and Quine’s Critique: Some Further Observations,” Noûs, 51(2), 2017, 235-237. [view]
39. “Quantified Modality and Essentialism,” Noûs, 51(2), 2017, 221-234. [view]
38. “Yet Another Dogma of Empiricism,” Philosophy and Phenomenological Research, 91(2), 2015, 381-385. [view]
37. “The Road to Gödel,” in Naming, Necessity and More: Explorations in the Philosophical Work of Saul Kripke, J. Berg (ed.), Palgrave Macmillan, 2014, 223-241. [view]
36. “Fregean Quantification Theory,” Journal of Philosophical Logic, 43(5), 2014, 879-881. [view]
35. “The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem,” in Computability: Turing, Gödel, Church, and Beyond, B. J. Copeland, C. Posy, and O. Shagrir (eds.), MIT Press (Cambridge), 2013, 77-104. [view]
34. “Presupposition and Anaphora: Remarks on the Formulation of the Projection Problem,” Linguistic Inquiry, 40(3), 2009, 367-386. [view]
33. “The Collapse of the Hilbert Program” (abstract), Bulletin of Symbolic Logic, 15(2), 2009, 229-231. [view]
32. “Frege’s Theory of Sense and Reference: Some Exegetical Notes,” Theoria, 74(3), 2008, 181-218. [view]
31. “Russell’s Notion of Scope,”Mind, 114(456), 2005, 1005-1037 (Special Edition on the 100th anniversary of the publication of Bertrand Russell’s paper “On Denoting” in Mind 1905).
30. “Individual Concepts: Their Logic, Philosophy, and Some of Their Uses.” Proceedings and Addresses of the American Philosophical Association, 66(2), 1992, 70-73. (Summary of invited paper given at American Philosophical Association Eastern Division Meeting, Washington, D.C., December 1992). [view]
29. “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), 1986, 241-247. [view]
28. “Wittgenstein on Rules and Private Language: An Elementary Exposition,” in Perspectives on the Philosophy of Wittgenstein, Irving Block (ed.), Basil Blackwell (Oxford), 1981, xii + 322 pp., 238-312.
27. “Non-standard Models of Peano Arithmetic” (with S. Kochen), L’Enseignement Mathématique, 28(1-2), 1982, 211-231. First published in Logic and Algorithmic: An International Symposium in Honour of Ernst Specker, Zürich, February 1980, Hans Lauchli (ed.), Monograph No. 30, L’Enseignement Mathématique, Université de Genève (Genève), 1982, 275-295. [view]
26. “A Puzzle about Belief,” in Meaning and Use, A. Margalit (ed.), D. Reidel (Dordrecht), 1979, 239-283.
25. “Speaker’s Reference and Semantic Reference,” Midwest Studies in Philosophy, 2(1), 1977, 255-276.
24. “Is There a Problem About Substitutional Quantification?” in Truth and Meaning, Gareth Evans and John McDowell (eds.), Oxford University Press (London), 1976, 325-419.
23. “A Theory of Truth II. Preliminary Report” (abstract), Journal of Symbolic Logic, 41(2), 1976, 556-557. [view]
22. “A Theory of Truth I. Preliminary Report” (abstract), Journal of Symbolic Logic, 41(2), 1976, 556. [view]
21. “Outline of a Theory of Truth,”Journal of Philosophy, 72(19), 1975, 690-716. [view]
20. “Naming and Necessity,” in Semantics of Natural Language, 2nd edn., Donald Davidson and Gilbert Harman (eds.), D. Reidel Publishing Co. (Dordrecht), 1972, 253-355; Addenda 763-769.
19. “Identity and Necessity,” in Identity and Individuation, Milton K. Munitz (ed.), New York University Press (New York), 1971, 135-164.
18. “Deduction-preserving ‘Recursive Isomorphisms’ between Theories” (with Marian Boykan Pour-El), Fundamenta Mathematicae, 61, 1967, 141-163. [view]
17. “An Extension of a Theorem of Gaifman-Hales-Solovay,” Fundamenta Mathematicae, 61, 1967, 29-32. [view]
16. Research Announcement: “Deduction-preserving ‘Recursive Isomorphisms’ between Theories” (with Marian Boykan Pour-El), Bulletin of the American Mathematical Society, 73, 1967, 145-148. [view]
15. “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. (Los Angeles), 1967, IVT1-7. [view]
14. “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. (Los Angeles), 1967, IV01-12. [view]
13. “Semantical Analysis of Intuitionistic Logic I,” in Formal Systems and Recursive Functions (Proceedings of the Eighth Logic Colloquium at Oxford, July, 1963), J. N. Crossley and M. A. E. Dummett (eds.), North Holland Publishing Co. (Amsterdam), 1965, 92-130.
12. “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.), North Holland Publishing Co. (Amsterdam), 1965, 206-220.
11. “Admissible Ordinals and the Analytic Hierarchy” (abstract), Journal of Symbolic Logic, 29(3), 1964, 162. [view]
10. “Transfinite Recursions on Admissible Ordinals, II” (abstract), Journal of Symbolic Logic, 29(3), 1964, 161-162. [view]
9. “Transfinite Recursions on Admissible Ordinals, I” (abstract), Journal of Symbolic Logic, 29(3), 1964, 161. [view]
8. “Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi,” Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, 9, 1963, 67-96. [view]
7. “Semantical Considerations on Modal Logic,” Acta Philosophica Fennica, 16, 1963, 83-94. [view]
6. “The Undecidability of Monadic Modal Quantification Theory,” Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, 8, 1962, 113-116. [view]
5. “‘Flexible’ Predicates of Formal Number Theory,” Proceedings of the American Mathematical Society, 13(4), 1962, 647-650. [view]
4. “The Problem of Entailment” (abstract), Journal of Symbolic Logic, 24(4), 1959, 324. [view]
3. “Semantical Analysis of Modal Logic” (abstract), Journal of Symbolic Logic, 24(4), 1959, 323-324. [view]
2. “Distinguished Constituents” (abstract), Journal of Symbolic Logic, 24(4), 1959, 323. [view]
1. “A Completeness Theorem in Modal Logic,” Journal of Symbolic Logic, 24(1), 1959, 1-14. [view]
Discussions
3. 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, 27(3/4), 1974, 509-521. [view]
2. S. 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, 27(3/4), 1974, 471-508. [view]
1. R. B. Marcus, W. V. Quine, S. Kripke, T. McCarthy, and D. Føllesdal, “Discussion” (Colloquium on ‘Modalities and Intensional Languages’), in Boston Studies in the Philosophy of Science: Proceedings, Vol. 1 (Colloquium for the Philosophy of Science, Boston, 1961-2), M. W. Wartofsky (ed.), D. Reidel Publishing Co. (Dordrecht), 1963, 105-116.
Reviews
4. “Review of Kit Fine, ‘Model Theory for Modal Logic. Parts I-III’ (Journal of Philosophical Logic, 7 (1978), pp. 125-156, 277-306; and 10 (1981), pp. 293-307),” Journal of Symbolic Logic, 50(4), 1985, 1083-1093. [view]
3. “Review of Kit Fine, ‘Failures of the Interpolation Lemma in Quantified Modal Logic’ (Journal of Symbolic Logic, 44 (1979), pp. 201-206),” Journal of Symbolic Logic, 48(2), 1983, 486-488. [view]
2. “Review of E. J. Lemmon, ‘Algebraic Semantics for Modal Logic II’ (Journal of Symbolic Logic, 31 (1966), pp. 191-218),” Mathematical Reviews, 34(5), 1967, 1022. [view]
1. “Review of E. J. Lemmon, ‘Algebraic Semantics for Modal Logic I’ (Journal of Symbolic Logic, 31 (1966), pp. 46-65),” Mathematical Reviews, 34(5), 1967, 1021-1022. [view]