Primary Sources

• [BE] Burge, Tyler and Herbert Enderton (eds), 2019, The Collected Works of Alonzo Church, Cambridge, MA: MIT Press. (Scholar)

Church’s papers are located at the Princeton University Library

• 1927, “Alternatives to Zermelo’s Assumption”, Transactions of the American Mathematical Society, 29(1): 178–208. Reprinted in BE: 19–42. doi:10.2307/1989285 (Scholar)
• 1928a, “On the Law of Excluded Middle”, Bulletin of the American Mathematical Society, 34(1): 75–79. Reprinted in BE: 43–45. doi:10.1090/s0002-9904-1928-04516-0 (Scholar)
• 1928b, “Review of Principia Mathematica, by Alfred North Whitehead and Bertrand Russell”, Bulletin of the American Mathematical Society, 34(2): 237–241. Reprinted in BE: 46–48. doi:10.1090/s0002-9904-1928-04525-1 (Scholar)
• 1932, “A Set of Postulates for the Foundation of Logic”, The Annals of Mathematics, 33(2): 346–366. Reprinted in BE: 51–67. doi:10.2307/1968337 (Scholar)
• 1933, “A Set of Postulates For the Foundation of Logic (2)”, The Annals of Mathematics, 34(4): 839–864. Reprinted in BE: 68–87. doi:10.2307/1968702 (Scholar)
• 1934, “The Richard Paradox”, The American Mathematical Monthly, 41(6): 356–361. Reprinted in BE: 94–98. doi:10.1080/00029890.1934.11987569 (Scholar)
• 1935a, “A Proof of Freedom from Contradiction”, Proceedings of the National Academy of Sciences, 21(5): 275–281. Reprinted in BE: 99–104. doi:10.1073/pnas.21.5.275 (Scholar)
• 1935b, “Review of A System of Logistic, by W. V. O. Quine”, Bulletin of the American Mathematical Society, 41(9): 598–604. Reprinted in BE: 105–109. doi:10.1090/s0002-9904-1935-06146-4 (Scholar)
• 1935c, “An Unsolvable Problem of Elementary Number Theory: Preliminary Report”, Bulletin of the AMS, 41(5): 332–333. Reprinted in BE: 110. doi:10.1090/s0002-9904-1935-06097-5 (Scholar)
• 1935d, “Letter to Kleene”. Printed in BE: 1000. November 15, 1935.
• 1935e, “Letter to Bernays”. Printed in BE: 995–997. July 15, 1935.
• 1936a, “An Unsolvable Problem of Elementary Number Theory”, American Journal of Mathematics, 58(2): 345–363. Reprinted in BE: 111–125. doi:10.2307/2371045 (Scholar)
• 1936b, “A Note on the Entscheidungsproblem”, Journal of Symbolic Logic, 1(1): 40–41. Reprinted in BE: 126–129. doi:10.2307/2269326 (Scholar)
• 1937a, “Review of ‘On Computable Numbers, with an Application to the Entscheidungsproblem’, by A. M. Turing”, Journal of Symbolic Logic, 2(1): 42–43. Reprinted in BE: 934. doi:10.1017/s002248120003958x (Scholar)
• 1937b, “Review of ‘Finite Combinatory Processes—Formulation 1’, by Emil L. Post”, Journal of Symbolic Logic, 2(1): 43. doi:10.1017/s0022481200039591 (Scholar)
• 1937c, “Review of ‘The Logic of Quantum Mechanics’, by Garrett Birkhoff and John von Neumann”, Journal of Symbolic Logic, 2(1): 44–45. doi:10.1017/s0022481200039633 (Scholar)
• 1938, “The Constructive Second Number Class”, Bulletin of the American Mathematical Society, 44: 224–232. Reprinted in BE: 148–154. (Scholar)
• 1939a, “Review of Foundations of Logic and Mathematics, by Rudolf Carnap”, Bulletin of the American Mathematical Society, 45(11): 821–822. Reprinted in BE: 161–162. doi:10.1090/s0002-9904-1939-07085-7 (Scholar)
• 1939b, “The Present Situation in the Foundations of Mathematics”, in Philosophie mathématique, by F. Gonseth, (Actualités scientifiques et industrielles 837), Paris: Hermann et Cie, pp. 67–72. Reprinted in BE: 155–160. (Scholar)
• 1939c, “Review of ‘A Logistical Approach to the Ontological Problem’., by W. V. O. Quine”, Journal of Symbolic Logic, 4(4): 170. Reprinted in BE: 937–938. doi:10.2307/2268739 (Scholar)
• 1940, “A Formulation of the Simple Theory of Types”, Journal of Symbolic Logic, 5(2): 56–68. Reprinted in BE: 171–183. doi:10.2307/2266170 (Scholar)
• 1941, The Calculi of Lambda Conversion (Annals of Mathematics Studies 6), Princeton, NJ: Princeton University Press. Reprinted in BE: 201–255.
• 1943a, “Carnap’s Introduction to Semantics (1942)”, The Philosophical Review, 52(3): 298–304. Reprinted in BE: 259–264. doi:10.2307/2180923 (Scholar)
• 1943b/1968, “Review of ‘Notes on Existence and Necessity’, by W. V. O. Quine”, Journal of Symbolic Logic, 8(2): 45–47. Postscript, 1968, originally published in 1973, Semántica filosófica, Thomas Moro Simpson (ed.). Reprinted with postscript in BE: 942–948. doi:10.2307/2267994 (Scholar)
• 1943c, “Correspondence with W. V. Quine”. Printed in BE: 1074–1090.
• 1944a, “Review of Formalization of Logic, by Rudolf Carnap”, The Philosophical Review, 53(5): 493. Reprinted in BE: 265–269. doi:10.2307/2181359 (Scholar)
• 1944b, Introduction to Mathematical Logic, Part I, (Annals of Mathematics Studies, 13), Princeton, NJ: Princeton University Press. Revised and enlarged in Church 1956a.
• 1945a, “Review of ‘Logic without Ontology’, by Ernest Nagel”, Journal of Symbolic Logic, 10(1): 16–18; reprinted in BE: 951–953. doi:10.2307/2267202 (Scholar)
• 1945b, “Referee Reports on Fitch’s ‘A Definition of Value’ ”, in J. Salerno (ed.) 2009, 13–20.
• 1946a, “Review of ‘A Note on the Paradox of Analysis’, by Morton G. White; ‘The Paradox of Analysis Again: A Reply’, by Max Black; ‘Analysis and Identity: A Rejoinder’, by Morton G. White; ‘How Can Analysis Be Informative?’ by Max Black”, Journal of Symbolic Logic, 11(4): 132–133. Reprinted in BE: 956–957. doi:10.2307/2268327 (Scholar)
• 1946b, “A Formulation of the Logic of Sense and Denotation”, Abstract from the Eighth Meeting of the Association for Symbolic Logic, Journal of Symbolic Logic, 11(1): 31. Reprinted in BE: 270–272. doi:10.2307/2269172 (Scholar)
• 1949a, “Review of Language, Truth and Logic, by Alfred Jules Ayer”, Journal of Symbolic Logic, 14(1): 52–53. Reprinted in BE: 963–964. doi:10.2307/2268980 (Scholar)
• 1949b, “Grelling’s Antinomy for the System of A Formulation of the Simple Theory of Types”, previously unpublished manuscript. Printed in BE: 276–278. (Scholar)
• 1950a, “On Carnap’s Analysis of Statements of Assertion and Belief”, Analysis, 10(5): 97–99. Reprinted in BE: 279–281. doi:10.1093/analys/10.5.97 (Scholar)
• 1950b, “Letter to Carnap”. Printed in BE: 1063–1064. July 11, 1950.
• 1950c, “Review of ‘Modern Logic and the Synthetic A Priori’, by Irving M. Copi”, Journal of Symbolic Logic, 15(3): 221. doi:10.2307/2266825 (Scholar)
• 1951a, “A Formulation of the Logic of Sense and Denotation”, in Structure, Method and Meaning: Essays in Honor of Henry M. Sheffer, Paul Henley, H. M. Kallen, and S. K. Langer (eds), New York: The Liberal Arts Press, pp. 3–24. Reprinted in BE: 292–306. (Scholar)
• 1951b, “The Need for Abstract Entities in Semantic Analysis”, Proceedings of the American Academy of Arts and Sciences, 80(1): 100–112. Reprinted as “Intensional Semantics” in BE: 282–291. doi:10.2307/20023640 (Scholar)
• 1952, “Review of ‘Introduction’ by A. G. N. Flew; ‘Systematically Misleading Expressions’ by Gilbert Ryle; and ‘Verifiability’ by Friedrich Waismann in Essays on Logic and Language”, Journal of Symbolic Logic, 17(4): 284–285. Reprinted in BE: 966–968. doi:10.2307/2266640 (Scholar)
• 1954, “Intensional Isomorphism and Identity of Belief”, Philosophical Studies, 5(5): 65–73. Reprinted in BE: 349–355. doi:10.1007/bf02221771 (Scholar)
• 1956a, Introduction to Mathematical Logic, Volume I,, Princeton, NJ: Princeton University Press. Revised and enlarged version of 1944b; the second volume was never published. Reprinted in BE: 372–425.
• 1956b, “Propositions and Sentences”, in The Problem of Universals: A Symposium, I.M. Bochenski, Alonzo Church, and Nelson Goodman, Notre Dame, IN: University of Notre Dame Press pp. 1–12. Reprinted in BE: 356–361. (Scholar)
• 1956–72, Articles from Encyclopedia Britannica. Reprinted in BE: 692–746.
• 1958a, “Ontological Commitment”, The Journal of Philosophy, 55(23): 1008–1014. Reprinted in BE: 356–361. doi:10.2307/2021909 (Scholar)
• 1958b, “Misogyny and Ontological Commitment”. Printed in BE: 443–447.
• 1959, Articles from the Dictionary of Philosophy, D. D. Runes (ed.), New York: Philosophical Library. Reprinted in BE: 448–530.
• 1960, “Application of Recursive Arithmetic to the Problem of Circuit Synthesis”, in Summaries of Talks Presented at the Summer Institute for Symbolic Logic, CornellUniversity, 1957, 2nd ed., Princeton, NJ: Communications Research Division, Institute for Defense Analyses, pp. 3–50. (Scholar)
• 1962a, “Logic, Arithmetic, and Automata”, Proceedings of the International Congress of Mathematicians, 1962, volume 1, pp. 23–35. (Scholar)
• 1962b, “Mathematics and Logic”, Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress, Ernest Nagel, Patrick Suppes, and Alfred Tarski (eds), Stanford, CA: Stanford University Press, pp. 181–186. Reprinted in BE: 608–612. (Scholar)
• 1965, “Review of ‘Existential Import Revisited’ by Karel Lambert”, Journal of Symbolic Logic, 30(1): 103–104. (Scholar)
• 1966, “Paul J. Cohen and the Continuum Problem”, Proceedings of the International Congress of Mathematicians 1966, volume 1, pp. 15–20. Reprinted in BE: 675–679. (Scholar)
• 1968/1972/1976, “Partial Outline of Introduction to Mathematical Logic Chapter VIII”, unpublished manuscripts, printed BE: 889–927.
• 1973a, “On Scheffler’s Approach to Indirect Quotation”, in Sobre el análisis del discurso indirecto propuesto por Scheffler, Semántica filosófica: Problemas y discusiones, Thomas Moro Simpson (ed.), Siglo XXI Argentina Editores S.A., Buenos Aires, pp. 363–369. Reprint in BE: 747–750. (Scholar)
• 1973b, “Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I)”, Noûs, 7(1): 24–33. Reprinted in BE: 751–772. doi:10.2307/2216181 (Scholar)
• 1974a, “Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II)”, Noûs, 8(2): 135–156. Reprinted in BE: 751–772. doi:10.2307/2214782 (Scholar)
• 1974b, “Russellian Simple Type Theory”, Proceedings and Addresses of the American Philosophical Association, 47: 21–33. Reprinted in BE: 773–783. doi:10.2307/3129899 (Scholar)
• 1974c, “Set Theory with a Universal Set”, Proceedings of the Tarski Symposium in American Mathematical Society: Proceedings of Symposia in Pure Mathematics, volume 25: 297–308. Reprinted in BE: 784–793. doi:10.1090/pspum/025/0369069 (Scholar)
• 1975, “Review of ‘Realism as a Philosophy of Mathematics’ by Stephen F. Barker in Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Godel”, Journal of Symbolic Logic, 40: 593. Reprinted in BE: 983-984. (Scholar)
• 1976, “Comparison of Russell’s Resolution of the Semantical Antinomies with That of Tarski”, Journal of Symbolic Logic, 41(4): 747–760. Reprinted in BE: 794–806. doi:10.2307/2272393 (Scholar)
• 1979, “How Far Can Frege’s Intensional Logic be Reproduced Within Russell’s Theory of Descriptions”, previously unpublished abstract of a lecture. Printed in BE: 807–808. (Scholar)
• 1982, “A Remark Concerning Quine’s Paradox About Modality”, Una Observacion respecto a la Paradoja de Quine sobre la Modalidad, special issue of Análisis Filosófico, 2(1/2): 25–32. Reprinted in BE: 809–814. (Scholar)
• 1984, “Russell’s Theory of Identity of Propositions”, Philosophia Naturalis, 21(2/4): 513–522. Reprinted in BE: 815–821. (Scholar)
• 1989, “Intensionality and the Paradox of the Name Relation”, in Almog, Perry, and Wettstein 1989: 151–165. Reprinted in BE: 834–844. (Scholar)
• 1993, “A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)”, Noûs, 27(2): 141–157. Reprinted in BE: 845–859. doi:10.2307/2215752 (Scholar)
• 1995a, “Grelling’s Antinomy”, printed BE: 929–931. (Scholar)
• 1995b, “Corrections and Minor Comments Affecting Heyting’s Intuitionism, Edition of 1976”. Printed in BE: 932–933. (Scholar)
• 1995c, “A Theory of the Meaning of Names”, in The Heritage of Kazimierz Ajdukiewicz, Vito Sinisi and Jan Woleński (eds), Amsterdam: Rodopi, 69–74. Reprinted in BE: 859–863. (Scholar)
• n.d., “Resolution of Berry’s Antinomy by Ramified Type Theory”, printed in BE: 928. (Scholar)
• Church, Alonzo and J. B. Rosser, 1936, “Some Properties of Conversion”, Transactions of the American Mathematical Society, 39(3): 472–482. Reprinted in BE: 130–138. doi:10.1090/s0002-9947-1936-1501858-0 (Scholar)

Secondary Sources

• Ajdukiewicz, Kazimierz, 1960, “A Method of Eliminating Intensional Sentences and Sentential Formulae”:, in Atti Del XII Congresso Internazionale Di Filosofia, Sansoni Editore, 5:17–24. doi:10.5840/wcp1219605242 (Scholar)
• –––, 1967, “Intensional Expressions”, Studia Logica, 20: 63–86. doi:10.1007/bf02340029 (Scholar)
• Almog, Joseph and Paolo Leonardi (eds.), 2009, The Philosophy of David Kaplan, Oxford: Oxford University Press. doi:10.1093/acprof:oso/9780195367881.001.0001 (Scholar)
• Almog, Joseph, John Perry, and Howard Wettstein (eds), 1989, Themes from Kaplan, New York: Oxford University Press. (Scholar)
• Anderson, C. Anthony, 1980, “Some New Axioms for the Logic of Sense and Denotation: Alternative (0)”, Noûs, 14(2): 217–234. doi:10.2307/2214862 (Scholar)
• –––, 1983, “The Paradox of the Knower”, The Journal of Philosophy, 80(6): 338–355. doi:10.2307/2026335 (Scholar)
• –––, 1986, “Some Difficulties Concerning Russellian Intensional Logic”, Noûs, 20(1): 35–43. doi:10.2307/2215278 (Scholar)
• –––, 1987, “Semantical Antinomies in the Logic of Sense and Denotation”, Notre Dame Journal of Formal Logic, 28(1): 99–114. doi:10.1305/ndjfl/1093636849 (Scholar)
• –––, 1998, “Alonzo Church’s Contributions to Philosophy and Intensional Logic”, Bulletin of Symbolic Logic, 4(2): 129–171. doi:10.2307/421020 (Scholar)
• –––, 2001, “Alternative (1*): A Criterion of Identity for Intensional Entities”, in Anderson and Zelëny 2001: 395–427. doi:10.1007/978-94-010-0526-5_19">10.1007/978-94-010-0526-5_19 (Scholar)
• Anderson, C. Anthony and Michael Zelëny (eds.), 2001, Logic, Meaning and Computation: Essays in Memory of Alonzo Church, Dordrecht: Kluwer. doi:10.1007/978-94-010-0526-5 (Scholar)
• Anderson, Alan Ross, Ruth Barcan Marcus, and R. M. Martin (eds.), 1975, The Logical Enterprise, New Haven, CT: Yale University Press. (Scholar)
• Andrews, P.B., 1986, Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Orlando, FL: Academic Press. (Scholar)
• Ayer, A.J., 1936 [1952], Language, Truth and Logic, London: V. Gollancz. Reprinted New York: Dover Publications, 1952. (Scholar)
• Azzouni, Jody, 2004, Deflating Existential Consequence: A Case for Nominalism, New York: Oxford University Press. doi:10.1093/0195159888.001.0001 (Scholar)
• –––, 2010, Talking About Nothing: Numbers, Hallucinations and Fictions, New York: Oxford University Press. doi:10.1093/acprof:oso/9780199738946.001.0001 (Scholar)
• Bealer, George, 1982, Quality and Concept, Oxford: Clarendon Press. doi:10.1093/acprof:oso/9780198244288.001.0001 (Scholar)
• Bernays, Paul, 1961, “Zur Rolle der Sprache in erkenntnistheoretischer Hinsicht”, Synthese, 13(3): 185–200. Translated as “On the Role of Language from An Epistemological Point of View” by Dirk Schlimm with revisions by Steve Awodey, Bernays Project, Text No. 25, no date. doi:10.1007/bf00489883 [Translation of Bernays 1961 available online] (Scholar)
• Boolos, George S., John P. Burgess, and Richard C. Jeffrey, 2007, Computability and Logic, fifth edition, Cambridge: Cambridge University Press. First edition by George Boolos and Richard Jeffrey, 1974. doi:10.1017/cbo9780511804076 (Scholar)
• Burge, Tyler, 1978, “Belief and Synonymy”, The Journal of Philosophy, 75(3): 119–138. doi:10.2307/2025424 (Scholar)
• –––, 2005a, Truth, Thought, Reason: Essays on Frege, Oxford: Clarendon Press. doi:10.1093/acprof:oso/9780199278534.001.0001 (Scholar)
• –––, 2005b, “Introduction”, in Burge 2005a: 1–68. (Scholar)
• –––, 2005c, “Postscript to Frege and the Hierarchy”, in Burge 2005a: 167–210. (Scholar)
• –––, 2007, “Postscript to ‘Belief De Re’”, in his Foundations of Mind, Oxford: Clarendon Press, 65–81. (Scholar)
• –––, 2009, “Five Theses on De Re States and Attitudes”, in Almog and Leonardi 2009: 246–316. doi:10.1093/acprof:oso/9780195367881.003.0015 (Scholar)
• –––, 2019, “Alonzo Church: Life and Work”, in BE: xx–xxiv. (Scholar)
• Burgess, John P., 2001, “Nominalist Paraphrase and Ontological Commitment”, in Anderson and Zelëny 2001: 429–443. doi:10.1007/978-94-010-0526-5_20 (Scholar)
• Button, Tim and Sean Walsh, 2018, Philosophy and Model Theory, Oxford: Oxford University Press. doi:10.1093/oso/9780198790396.001.0001 (Scholar)
• Carnap, Rudolf, 1939, Foundations of Logic and Mathematics, (International Encyclopedia of Unified Science, vol. 1, no. 3), Chicago, IL: University of Chicago Press. (Scholar)
• –––, 1942, Introduction to Semantics, Cambridge, MA: Harvard University Press. (Scholar)
• –––, 1947, Meaning and Necessity: A Study in Semantics and Modal Logic, Chicago, IL: University of Chicago Press. (Scholar)
• –––, 1964, “Replies and Systematic Expositions”, in The Philosophy of Rudolph Carnap, Paul Arthur Schilpp (ed.), Illinois: La Salle. (Scholar)
• Carroll, Lewis, 1895, “What the Tortoise Said to Achilles”, Mind, 4(14): 278–280. doi:10.1093/mind/iv.14.278 (Scholar)
• Copi, Irving, 1971, The Theory of Logical Types, London: Routledge and Kegan Paul. (Scholar)
• Craig, William, 1953, “On Axiomatizability within a System”, Journal of Symbolic Logic, 18(1): 30–32. doi:10.2307/2266324 (Scholar)
• Davidson, Donald, 1965, “Theories of Meaning and Learnable Languages”, in Proceedings of the International Congress for Logic, Methodology, and Philosophy of Science, Yehoshua Bar-Hillel (ed.), Dordrecht: North-Holland, 3–17. (Scholar)
• Davis, Martin, 1958, Computability and Unsolvability, New York: McGraw Hill. (Scholar)
• ––– (ed.), 1965, The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions, Hewlett, NY: Raven Press. (Scholar)
• –––, 1982, “Why Gödel Didn’t Have Church’s Thesis”, Information and Control, 54(1–2): 3–24. doi:10.1016/s0019-9958(82)91226-8 (Scholar)
• Deutsch, Harry, 2008, “Review of The Nature and Structure of Content, by Jeffrey C. King”, Notre Dame Philosophical Reviews, 2008.05.24. [Deutsch 2008 available online] (Scholar)
• –––, 2014, “Resolution of Some Paradoxes of Propositions”, Analysis, 74(1): 26–34. doi:10.1093/analys/ant089 (Scholar)
• –––, 2019, “Propositional Paradox”, in The Routledge Handbook of Propositions, Chris Tillman (ed.), Taylor and Francis. (Scholar)
• Farmer, William M., 2008, “The Seven Virtues of Simple Type Theory”, Journal of Applied Logic, 6(3): 267–286. doi:10.1016/j.jal.2007.11.001 (Scholar)
• Feferman, Sol, 1995, “Ordinal logic”, The Cambridge Dictionary of Philosophy, Cambridge: Cambridge University Press, 550–551. (Scholar)
• Fitch, Frederick, 1963, “A Logical Analysis of Some Value Concepts”, Journal of Symbolic Logic, 28(2): 135–142; reprinted in J. Salerno (ed.) 2009, 21–28. (Scholar)
• Fitting, Melvin and Richard L. Mendelsohn, 1998, First-Order Modal Logic, Dordrecht: Kluwer. doi:10.1007/978-94-011-5292-1 (Scholar)
• Frege, Gottlob, 1884 [1953], Die Grundlagen der Arithmetik: eine logisch mathematische Untersuchung über den Begriff der Zahl, Breslau: W. Koebner. Translated as The Foundations of Arithmetic., J. L. Austin (trans.), New York: Harper, 1950; second edition, 1953. (Scholar)
• –––, 1891, “Funktion und Begriff”, (Vortrag, gehalten in der Sitzung vom 9. Januar 1891 der Jenaischen Gesellschaft für Medizin und Naturwissenschaft), Jena: Hermann Pohle. Translated as “On Function and Concept” in Frege 1997: 130–148. (Scholar)
• –––, 1892a, “Über Sinn und Bedeutung”, Zeitschrift für Philosophie und philosophische Kritik, 100: 25–50. Translated as “On Sense and Reference” in Frege 1997: 151–171. (Scholar)
• –––, 1892b, “Über Begriff und Gegenstand”, Vierteljahrsschrift für wissenschaftliche Philosophie, 16: 192–205. Translated as “On Concept and Object” in Frege 1997: 181–193. (Scholar)
• –––, 1997, The Frege Reader, Michael Beaney (ed.), Oxford: Blackwell Publishers. (Scholar)
• Gaifman, Haim, 2006, “Naming and Diagonalization, from Cantor to Gödel to Kleene”, Logic Journal of IGPL, 14(5): 709–728. doi:10.1093/jigpal/jzl006 (Scholar)
• Gandy, Robin, 1980, “Church’s Thesis and Principles for Mechanisms”, in The Kleene Symposium, Jon Barwise, H. Jerome Keisler, and Kenneth Kunen (eds.), (Studies in Logic and the Foundations of Mathematics 101), Amsterdam: North-Holland, 123–148. doi:10.1016/s0049-237x(08)71257-6 (Scholar)
• –––, 1992, “The Confluence of Ideas in 1936”, in The Universal Turing Machine: A Half-Century Survey, Rolf Herken (ed.), Oxford: Oxford University Press, 55–111. (Scholar)
• Gödel, Kurt, 1931 [1986], “Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I (1931)”, Monatshefte für Mathematik und Physik, 38: 173–198. Reprinted and translated as “On Formally Undecidable Propositions of Principia Mathematica and Related Systems I” in Gödel CW I: 144–195. doi:10.1007/BF01700692 (1931) (Scholar)
• –––, 1944 [1951], “Russell’s Mathematical Logic”, in The Philosophy of Bertrand Russell (Library of Living Philosophers), Paul Arthur Schilpp (ed.), New York: Tudor. Third edition, 1951, pp. 123–153. (Scholar)
• –––, 1972, “Remark 3 (1972a): A Philosophical Error in Turing’s Work”. Printed in Gödel CW II: 306. (Scholar)
• –––, [CW I] 1986, Collected Works, Volume I: Publications 1929–1936, Sol Feferman (editor-in-chief), New York: Oxford University Press. (Scholar)
• –––, [CW II] 1989, Collected Works, Volume II: Publications 1938–1974, Sol Feferman (editor-in-chief), New York: Oxford University Press. (Scholar)
• Goodman, Jeremy, 2017, “Reality Is Not Structured”, Analysis, 77(1): 43–53. doi:10.1093/analys/anw002 (Scholar)
• Heim, Irene and Angelika Kratzer, 1998, Semantics in Generative Grammar, (Blackwell Textbooks in Linguistics 13), Malden, MA: Blackwell. (Scholar)
• Henkin, Leon, 1950, “Completeness in the Theory of Types”, Journal of Symbolic Logic, 15(2): 81–91. doi:10.2307/2266967 (Scholar)
• Hilbert, David, 1926 [1967], “Über das Unendliche”, Mathematische Annalen, 95: 161–190; presented to the Westphalian Mathematical Society 4 June 1925. Translated as “On the Infinite”, Stefan Bauer-Mengelberg (trans.), in From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, Jean van Heijenoort (ed.), Cambridge, MA: Harvard University Press, 1967, pp. 367–392. doi:10.1007/BF01206605 (German) (Scholar)
• Hilbert, David and W. Ackerman, 1928 [1950], Grundzuge der theoretischen Logik, Berlin: J. Springer. Translated as Principles of Mathematical Logic, Lewis M. Hammond, George G. Leckie, and F. Steinhardt (trans), New York: Chelsea Publishing Company. (Scholar)
• Hilbert, David and Bernays, Paul, 1934 [1968], Grundlagen der Mathematik I, Die Grundlehren der mathematischen Wissenschaften, 40, 2nd edition, Berlin: J. Springer. (Scholar)
• Hindley, J. Roger and Jonathan P. Seldin, 2008, Lambda-Calculus and Combinators: An Introduction, second edition, Cambridge: Cambridge University Press. doi:10.1017/cbo9780511809835 (Scholar)
• Hudak, Paul, 1989, “Conception, Evolution, and Application of Functional Programming Languages”, ACM Computing Surveys, 21(3): 359–411. doi:10.1145/72551.72554 (Scholar)
• Kaplan, David, 1964, Foundations of Intensional Logic, Ph.D. Thesis, University of California, Los Angeles. (Scholar)
• –––, 1975a, “Significance and Analyticity”, in Rudolf Carnap, Logical Empiricist, Jaakko Hintikka (ed.), Boston: Dordecht Reidel, pp. 87–94. (Scholar)
• –––, 1975b, “How to Russell a Frege-Church”, The Journal of Philosophy, 72(19): 716–729. doi:10.2307/2024635 (Scholar)
• –––, 1989, “Demonstratives”, in Almog, Perry, and Wettstein 1989: 481–564. (Scholar)
• –––, 2005, “Reading ‘On Denoting’ on Its Centenary”, Mind, 114(456): 933–1003. doi:10.1093/mind/fzi933 (Scholar)
• Kemeny, John George, 1949, Type-theory vs. Set-theory, Ph.D. Thesis, Princeton University. (Scholar)
• Kleene, Stephen C., 1936, “General Recursive Functions of Natural Numbers”, Mathematische Annalen, 112: 727–742. doi:10.1007/bf01565439 (Scholar)
• –––, 1938, “On Notations for Ordinal Numbers”, The Journal of Symbolic Logic, 3(4): 150–155. (Scholar)
• –––, 1952, Introduction to Metamathematics, New York: Van Nostrand. (Scholar)
• –––, 1981, “Origins of Recursive Function Theory”, Annals of the History of Computing, 3(1): 52–67. doi:10.1109/mahc.1981.10004 (Scholar)
• Kleene, Stephen C. and J. B. Rosser, 1935, “The Inconsistency of Certain Formal Logics”, The Annals of Mathematics, 36(3): 630–636. doi:10.2307/1968646 (Scholar)
• Klement, Kevin C., 2002, Frege and the Logic of Sense and Reference, New York: Routledge. (Scholar)
• Kreisel, Georg, 1987, “Church’s Thesis and the Ideal of Informal Rigour”, Notre Dame Journal of Formal Logic, 28(4): 499–519. doi:10.1305/ndjfl/1093637646 (Scholar)
• Kripke, Saul A., 1979, “A Puzzle about Belief”, in Margalit 1979: 239–283. doi:10.1007/978-1-4020-4104-4_20">10.1007/978-1-4020-4104-4_20 (Scholar)
• –––, 2005, “Russell’s Notion of Scope*”, Mind, 114(456): 1005–1037. doi:10.1093/mind/fzi1005 (Scholar)
• –––, 2008 [2011a], “Frege’s Theory of Sense and Reference: Some Exegetical Notes”, Theoria, 74(3): 181–218. Reprinted in Kripke 2011c: ch. 9, pp. 254–291. doi:10.1111/j.1755-2567.2008.00018.x (Scholar)
• –––, 2011b, “A Puzzle about Time and Thought”, in Kripke 2011c: ch. 13, pp. 273–380. (Scholar)
• –––, 2011c, Philosophical Troubles: Collected Papers, Volume 1, Oxford: Oxford University Press. doi:10.1093/acprof:oso/9780199730155.001.0001 (Scholar)
• –––, 2013, “The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem”, in Computability: Turing, Gödel, Church, and Beyond, Jack Copeland, Carl Posy, and Oron Shagrir (eds), Cambridge, MA: MIT Press, pp. 77–104. (Scholar)
• –––, 2014, “The Road to Gödel”, in Naming, Necessity, and More: Explorations in the Philosophical Work of Saul Kripke, Jonathan Berg (ed.), London: Palgrave Macmillan UK, 223–241. doi:10.1057/9781137400932_11 (Scholar)
• Linsky, Bernard, 2009, “Logical Types in Some Arguments about Knowability and Belief”, in J. Salerno (ed.) 2009, 263–282. (Scholar)
• Margalit, Avishai (ed.), 1979, Meaning and Use: Papers Presented at the Second Jerusalem Philosophical Encounter April 1976, (Synthese Language Library 3), Dordrecht: Springer Netherlands. doi:10.1007/978-1-4020-4104-4 (Scholar)
• Martin, Robert L., 1984, Recent Essays on Truth and the Liar Paradox, Oxford: Clarendon Press. (Scholar)
• Mates, Benson, 1950, “Synonymity”, in University of California Publications in Philosophy, volume 25, Berkeley, CA: University of California Press, pp. 201–266. (Scholar)
• Mendelson, Elliott, 1990, “Second Thoughts about Church’s Thesis and Mathematical Proofs”, The Journal of Philosophy, 87(5): 225–233. doi:10.2307/2026831 (Scholar)
• Montague, Richard, 1962, “Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability”, in Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, 16: 153–167. (Scholar)
• –––, 1969, “On the Nature of Certain Philosophical Entities”:, The Monist, 53(2): 159–194. doi:10.5840/monist19695327 (Scholar)
• –––, 1970a, “Universal Grammar”, Theoria, 36: 373-398. (Scholar)
• –––, 1970, “Pragmatics and Intensional Logic”, Synthese, 22(1–2): 68–94. doi:10.1007/bf00413599 (Scholar)
• Myhill, John R., 1953, “Symposium: On the Ontological Significance of the Löwenheim-Skolem Theorem II”, in Academic Freedom, Logic, and Religion, Morton White (ed.), Philadelphia, PA: University of Pennsylvania Press, 57–70. doi:10.9783/9781512808520-002 (Scholar)
• –––, 1958, “Problems Arising in the Formalization of Intensional Logic”, Logique et Analyse, new series 1(2): 74–83. (Scholar)
• –––, 1975, “Levels of Implication”, in Anderson et al. 1975: 1979–185. (Scholar)
• –––, 1979, “A Refutation of An Unjustified Attack on the Axiom of Reducibility”, Bertrand Russell Memorial Volume, George W. Roberts (ed.), New York: Humanities Press. pp. 81–90. (Scholar)
• Padró, Romina, 2015, What the Tortoise Said to Kripke: the Adoption Problem and the Epistemology of Logic, Ph.D. Thesis, City University of New York. (Scholar)
• Parsons, Charles, 1982, “Intensional Logic in Extensional Language”, Journal of Symbolic Logic, 47(2): 289–328. doi:10.2307/2273143 (Scholar)
• –––, 1987, “Developing Arithmetic in Set Theory without Infinity: Some Historical Remarks”, History and Philosophy of Logic, 8(2): 201–213. doi:10.1080/01445348708837116 (Scholar)
• –––, 2007, Mathematical Thought and Its Objects, Cambridge: Cambridge University Press. doi:10.1017/cbo9780511498534 (Scholar)
• Parsons, Terence, 1986, “Why Frege Should Not Have Said ‘The Concept Horse Is Not a Concept’”, History of Philosophy Quarterly, 3(4): 449–465. (Scholar)
• –––, 2001, “The Logic of Sense and Denotation: Extensions and Applications”, in Anderson and Zelëny 2001: 507–543. doi:10.1007/978-94-010-0526-5_25 (Scholar)
• Partee, Barbara H., Alice ter Meulen, and Robert E. Wall, 1990, Mathematical Methods in Linguistics, (Studies in Linguistics and Philosophy 30), Dordrecht: Kluwer. doi:10.1007/978-94-009-2213-6 (Scholar)
• Peacocke, Christopher, 2008, Truly Understood, Oxford: Oxford University Press. doi:10.1093/acprof:oso/9780199239443.001.0001 (Scholar)
• Plotkin, Gordon D., 1993, “Set-Theoretical and Other Elementary Models of the λ-Calculus”, Theoretical Computer Science, 121(1–2): 351–409. doi:10.1016/0304-3975(93)90094-a (Scholar)
• Poincaré, Jules H., 1906, “Mathematcs and Logic III”, translated by Halsted, G. & Ewald, W. In Ewald (ed.), 1996, From Kant to Hilbert: A Sourcebook in the Foundations of Mathematics (2 volumes), Oxford: Clarendon Press. (Scholar)
• Post, Emil L., 1936, “Finite Combinatory Processes—Formulation”, Journal of Symbolic Logic, 1(3): 103–105. doi:10.2307/2269031 (Scholar)
• Putnam, Hilary, 1954, “Synonymity, and the Analysis of Belief Sentences”, Analysis, 14(5): 114–122. doi:10.1093/analys/14.5.114 (Scholar)
• Quine, Willard V., 1939, ‘A Logistical Approach to the Ontological Problem’, Journal of Symbolic Logic, 4(4): 170. (Scholar)
• –––, 1943, “Notes on Existence and Necessity”, The Journal of Philosophy, 40(5): 113–127. doi:10.2307/2017458 (Scholar)
• Rogers, Hartley, 1967, Theory of Recursive Functions and Effective Computability, New York: McGraw-Hill. (Scholar)
• Rosser, Barkley, 1939, “An Informal Exposition of Proofs of Gödel’s Theorems and Church’s Theorem”, Journal of Symbolic Logic, 4(2): 53–60. doi:10.2307/2269059 (Scholar)
• Russell, Betrand, 1903, The Principles of Mathematics, Cambridge: Cambridge University Press. (Scholar)
• –––, 1905, “On Denoting”, Mind, 14(4): 479–493. doi:10.1093/mind/xiv.4.479 (Scholar)
• –––, 1908, “Mathematical Logic as Based on the Theory of Types”, American Journal of Mathematics, Jul., 30(3): 222-262. (Scholar)
• Salerno, Joe (ed.), 2009, New Essays on the Knowability Paradox, Oxford: Oxford University Press. (Scholar)
• Salmón, Nathan, 1986, “Reflexivity”, Notre Dame Journal of Formal Logic, 27(3): 401–429. doi:10.1305/ndjfl/1093636683 (Scholar)
• –––, 1993, “A Problem in the Frege-Church Theory of Sense and Denotation”, Noûs, 27(2): 158–166. doi:10.2307/2215753 (Scholar)
• –––, 2001, “The Very Possibility of Language”, in Anderson and Zelëny 2001: 573–595. doi:10.1007/978-94-010-0526-5_27 (Scholar)
• –––, 2006, “A Theory of Bondage”, Philosophical Review, 115(4): 415–448. doi:10.1215/00318108-2006-009 (Scholar)
• –––, 2010, “Lambda in Sentences with Designators: An Ode to Complex Predication”, The Journal of Philosophy, 107(9): 445–468. doi:10.5840/jphil2010107930 (Scholar)
• –––, 2020, “On What Exists”, in Quine, Structure, and Ontology, Frederique Janssen-Lauret (ed.), Oxford: Oxford University Press, 200–229. doi:10.1093/oso/9780198864288.003.0010 (Scholar)
• Scott, Dana, and Strachey, Christopher, 1971, “Toward a Mathematical Semantics for Computer Languages”, Proceedings of the Symposium on Computers and Automata, Microwave Research Institute Symposia Series, 21, Polytechnic Institute of Brooklyn. (Scholar)
• Shapiro, Stewart, 1991, Foundations without Foundationalism: The Case for Second-Order Logic, Oxford: Clarendon Press. (Scholar)
• –––, 2001, “The ‘Triumph’ of First-Order Languages”, in Anderson and Zelëny 2001: 219–259. doi:10.1007/978-94-010-0526-5_10 (Scholar)
• Scheffler, Israel, 1954, “An Inscriptional Approach to Indirect Quotation”, Analysis, 14(4): 83–90. doi:10.1093/analys/14.4.83 (Scholar)
• Shoenfield , Joseph R., 1967, Mathematical Logic, Reading, MA: Addison-Wesley. (Scholar)
• –––, 1993, Recursion Theory (Lecture Notes in Logic, 1), Berlin/New York: Springer Verlag. (Scholar)
• Sieg, Wilfried, 1997, “Step by Recursive Step: Church’s Analysis of Effective Calculability”, Bulletin of Symbolic Logic, 3(2): 154–180. doi:10.2307/421012 (Scholar)
• Smullyan, Arthur Francis, 1947, “Review of ‘The Problem of Interpreting Modal Logic’, by W. V. Quine”, The Journal of Symbolic Logic, 12(4): 139–141. doi:10.2307/2266498 (Scholar)
• –––, 1948, “Modality and Description”, Journal of Symbolic Logic, 13(1): 31–37. doi:10.2307/2268137 (Scholar)
• Soames, Scott, 1987, “Direct Reference, Propositional Attitudes, and Semantic Content”, Philosophical Topics, 15(1): 47–87. doi:10.5840/philtopics198715112 (Scholar)
• –––, 2010, What is Meaning?, Princeton, NJ: Princeton University Press. (Scholar)
• Tarski, Alfred, 1936 [1941], O logice matematycznej i metodzie dedukcyjnej (Bibljoteczka matematyczna 3–5), Lwów and Warsaw: Ksiażnica-Atlas. German translation Einfuhrung in die mathe- matische Logik und in die Methodologie der Mathematik, Vienna: Julius Springer. Translated from the German as Introduction to Logic and to the Methodology of Deductive Science, with additions, Olaf Helmer (trans.), Oxford: Oxford University Press, 1941.
• Taylor, Barry and A.P. Hazen, 1992, “Flexibly Structured Predication”, Logique et Analyse, 35(139/140): 375–393. (Scholar)
• Turing, Alan M., 1936 [1965], “On Computable Numbers, with an Application to the Entscheidungsproblem”, Proceedings of the London Mathematical Society, series 2, 42(1): 230–265. Reprinted in Davis 1965: 115–153. doi:10.1112/plms/s2-42.1.230 (Scholar)
• –––, (1939) “Systems of Logic Based on Ordinals”, Proceedings of the London Mathematical Society 2: 161–228. (Scholar)
• Uzquiano, Gabriel, 2015, “A Neglected Resolution of Russell’s Paradox of Propositions”, The Review of Symbolic Logic, 8(2): 328–344. doi:10.1017/s1755020315000106 (Scholar)
• [PM] Whitehead, Alfred North and Bertrand Russell, 1910 [1925–1927], Principia Mathematica, vol. I, Cambridge: Cambridge University Press. Second edition 1925–1927. (Scholar)