Linked bibliography for the SEP article "Alonzo Church" by Harry Deutsch and Oliver Marshall

This is an automatically generated and experimental page

If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.

This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.

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

Generated Sun Feb 5 03:57:06 2023