Order: Listing date First author Impact Pub year Relevance Downloads Order
Introduction to Mathematical Logic. ALONZO CHURCH 1956 - Princeton: Princeton University Press. details Introduction to Mathematical Logic. ALONZO CHURCH 1944 - London: Oxford University PRess. details The Problem of Universals. I. M. Bochenski Alonzo Church Nelson Goodman 1956 - Philosophical Review 67 (3):421-424. details Karl Popper. The Logic of Scientific Discovery. Harper Torchbooks. Harper & Row, New York and Evanston1968, 480 Pp. - Karl Popper. Addendum, 1964. Therein, P. 358. - Karl Popper. Addendum, 1967. Therein, P. 362. - Karl Popper. Addendum, 1967. Therein, P. 386. - Karl Popper. Addendum, 1968. Therein, P. 441. [REVIEW] Alonzo Church 1975 - Journal of Symbolic Logic 40 (3):471-472. details A Formulation of the Simple Theory of Types. Alonzo Church 1940 - Journal of Symbolic Logic 5 (2):56-68. details Shôji Maehara. Logic in Japan. Contemporary Philosophy, A Survey, I, Logic and Foundations of Mathematics , Edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1968, Pp. 228–231. [REVIEW] Alonzo Church 1975 - Journal of Symbolic Logic 40 (3):472. details Referee Reports on Fitch's "Definition of Value". Alonzo Church 2009 - In Joe Salerno (ed.), New Essays on the Knowability Paradox details H. A. Nielsen. Linguistic Analysis. New Catholic Encyclopedia, Prepared by an Editorial Staff at the Catholic University of America, McGraw-Hill Book Company, New York Etc. 1967, Vol. 8, Pp. 773–775. [REVIEW] Alonzo Church 1975 - Journal of Symbolic Logic 40 (4):596-596. details A Revised Formulation of the Logic of Sense and Denotation. Alternative (1). Alonzo Church 1993 - Noûs 27 (2):141-157. details An Unsolvable Problem of Elementary Number Theory. Alonzo Church 1936 - Journal of Symbolic Logic 1 (2):73-74. details Judith Schoenberg. Belief and Intention in the Epimenides. Philosophy and Phenomenological Research, Vol. 30 No. 2 , Pp. 270–278. [REVIEW] Alonzo Church 1971 - Journal of Symbolic Logic 36 (4):671-672. details Jean van Heijenoort. Introductory Note. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931, Edited by Jean van Heijenoort, Harvard University Press, Cambridge Mass., 1967, P. 124. - Bertrand Russell. Letter to Frege. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931 Pp. 124–125. - Jean van Heijenoort. Introductory Note. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931 Pp. 126–1271. - Gottlob Frege. Letter to Russell. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931 Pp. 127–128. [REVIEW] Alonzo Church 1974 - Journal of Symbolic Logic 39 (2):355. details Introduction to Mathematical Logic. ALONZO CHURCH 1956 - Journal of Symbolic Logic 23 (3):362-362. details A Note on the Entscheidungsproblem. Alonzo Church 1936 - Journal of Symbolic Logic 1 (1):40-41. details Introduction to Mathematical Logic. ALONZO CHURCH 1956 - Journal of Symbolic Logic 22 (3):286-289. details Comparison of Russell's Resolution of the Semantical Antinomies with That of Tarski. Alonzo Church 1976 - Journal of Symbolic Logic 41 (4):747-760. details Rudolf Carnap. Logische Syntax der Sprache. Second Edition of 35212. Springer-Verlag, Vienna and New York1968, XI + 274 Pp. [REVIEW] Alonzo Church 1975 - Journal of Symbolic Logic 40 (3):472. details Russell's Theory of Identity of Propositions. Alonzo Church 1984 - Philosophia Naturalis 21 (2/4):513-522. details George Boole. Of Syllogisms. Reprinted From 191. Classics in Logic, Readings in Epistemology, Theory of Knowledge and Dialectics, Edited by Dagobert D. Runes, Philosophical Library, New York1962, Pp. 177–191. - Rudolf Carnap. Elementary and Abstract Terms. Reprinted From IV 117. Classics in Logic, Readings in Epistemology, Theory of Knowledge and Dialectics, Edited by Dagobert D. Runes, Philosophical Library, New York1962, Pp. 221–229. - Lewis Carroll . The Bilateral Diagram. Reprinted From 674. Classics in Logic, Readings in Epistemology, Theory of Knowledge and Dialectics, Edited by Dagobert D. Runes, Philosophical Library, New York1962, Pp. 230–233. - Gottlob Frege. Definitions. Reprinted From XVIII 92. Classics in Logic, Readings in Epistemology, Theory of Knowledge and Dialectics, Edited by Dagobert D. Runes, Philosophical Library, New York1962, Pp. 329–342. - John Neville Keynes. Propositions. Reprinted From 631. Classics in Logic, Readings in Epistemology, Theory of Knowledge An. [REVIEW] Alonzo Church 1964 - Journal of Symbolic Logic 29 (3):135-135. details Hans G. Herzberger. The Logical Consistency of Language. Langmage and Learning, Edited by Janet A. Emig, James T. Fleming, and Helen M. Popp, Harcourt, Brace & World, Inc., New York-Chicago-Burlingame1966, Pp. 250–263. [REVIEW] Alonzo Church 1968 - Journal of Symbolic Logic 33 (1):147. details George Kimball Plochmann and Jack B. Lawson. Terms in Their Propositional Contexts in Wittgenstein's Tractatus. An Index. Southern Illinois University Press, Carbondale, Illinois, 1962, Xiv + 229 Pp. [REVIEW] Alonzo Church 1971 - Journal of Symbolic Logic 36 (3):551. details Norwood Russell Hanson. A Note on the Gödel Theorem. Notre Dame Journal of Formal Logic, Vol. 2 , P. 228. Alonzo Church 1963 - Journal of Symbolic Logic 28 (4):295. details Intensional Isomorphism and Identity of Belief. Alonzo Church 1954 - Philosophical Studies 5 (5):65 - 73. details The Calculi of Lambda-Conversion. Alonzo Church 1941 - Princeton University Press. details Paul Kurtz. Introduction. American Philosophy in the Twentieth Century. A Sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, Pp. 17–42. - Paul Kurtz. Charles S. Peirce. American Philosophy in the Twentieth Century. A Sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, Pp. 45–47. - Paul Kurtz. Alfred North Whitehead. American Philosophy in the Twentieth Century. A Sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, Pp. 263–264. - Paul Kurtz. Morris R. Cohen. American Philosophy in the Twentieth Century. A Sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, Pp. 372–373. - Paul Kurtz. Clarence Irving Lewis. American Philosophy in the Twentieth Century. A Sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, Pp. [REVIEW] Alonzo Church 1970 - Journal of Symbolic Logic 35 (2):312-313. details Aleksandr Sergeyevich Yesenin-Volpin. Svobodny Filosofskij Traktat . Russian with English Translation in Parallel. Vésénnij List , Frederick A. Praeger, New York1961, Pp. 109–173. [REVIEW] Alonzo Church 1965 - Journal of Symbolic Logic 30 (1):104-105. details Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II). Alonzo Church 1974 - Noûs 8 (2):135-156. details On Carnap's Analysis of Statements of Assertion and Belief. Alonzo Church 1949 - Analysis 10 (5):97 - 99. details Turing A. M.. On Computable Numbers, with an Application to the Entscheidungs Problcm. Proceedings of the London Mathematical Society, 2 S. Vol. 42 , Pp. 230–265. [REVIEW] Alonzo Church 1937 - Journal of Symbolic Logic 2 (1):42-43. details Benson Mates. Stoic Logic. University of California Press, Berkeley and Los Angeles1961, Vii + 148 Pp. [REVIEW] Alonzo Church 1963 - Journal of Symbolic Logic 28 (4):295. details Karel Lambert. Existential Import Revisited. Notre Dame Journal of Formal Logic, Vol. 4 No. 4 , Pp. 288–292. Alonzo Church 1965 - Journal of Symbolic Logic 30 (1):103-104. details Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I). Alonzo Church 1973 - Noûs 7 (1):24-33. details G. H. R. Parkinson. Introduction. Leibniz, Logical Papers, A Selection Translated and Edited with an Introduction by G. H. R. Parkinson, Clarendon Press, Oxford1966, Pp. Ix–Ixv. - Gottfried Wilhelm Leibniz. From Of the Art of Combination . English Translation of a Portion of 11 by G. H. R. Parkinson. Clarendon Press, Oxford1966, Pp. 1–11. - Gottfried Wilhelm Leibniz. Elements of a Calculus . English Translation of 114 by G. H. R. Parkinson. Clarendon Press, Oxford1966, Pp. 17–24. - Gottfried Wilhelm Leibniz. Rules From Which a Decision Can Be Made, by Means of Numbers, About the Validity of Inferences and About the Forms and Moods of Categorical Syllogisms . English Translation of 118 by G. H. R. Parkinson. Clarendon Press, Oxford1966, Pp. 25–32. - Gottfried Wilhelm Leibniz. A Specimen of the Universal Calculus . English Translation of 111 by G. H. R. Parkinson. Clarendon Press, Oxford1966, Pp. 33–39. - Gottfried Wilhelm Leibniz. Addenda to the Specimen of the Universal Calculus . Engl. [REVIEW] Alonzo Church 1968 - Journal of Symbolic Logic 33 (1):139-140. details A. J. Ayer. Editor's Introduction. Logical Positivism, Edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, Pp. 3–28; Also First Paperback Edition, The Free Press, New York 1966, Pp. 3–28. - Bertrand Russell. Logical Atomism. A Reprint of XXV 333. Logical Positivism, Edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, Pp. 31–50; Also Ibid., Pp. 31–50. - Moritz Schlick. Positivism and Realism. A Reprint of XVI 67. Logical Positivism, Edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, Pp. 82–107; Also Ibid., Pp. 82–107. - Carl G. Hempel. The Empiricist Criterion of Meaning. A Reprint of XVI 293. Logical Positivism, Edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, Pp. 108–129; Also Ibid., Pp. 108–129. - Rudolf Carnap. The Old and the New Logic. English Translation of 3525 by Isaac Levi. Logical Positivism, Edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, Pp. 133–146; Also Ibid., Pp. 133–146. - Hans Hahn. Logic, Mathematics and K. [REVIEW] Alonzo Church 1970 - Journal of Symbolic Logic 35 (2):312-312. details A Formulation of the Simple Theory of Types. Alonzo Church 1940 - Journal of Symbolic Logic 5 (3):114-115. details Vlad Boicescu. Sur les Algèbres de Lukasiewicz. Logique, Automatique, Informatique, Edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, Pp. 71–89. - Mihail Cherciu. Filtres de Stone Dans les Treillis Distributifs. Logique, Automatique, Informatique, Edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, Pp. 91–97. - George Georgescu. Les Algèbres de Lukasiewicz Θ-Valentes. Logique, Automatique, Informatique, Edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, Pp. 99–169. - Ioana Petrescu. Algèbres de Morgan Injectives. Logique, Automatique, Informatique, Edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, Pp. 171–176. - Luminita State. Quelques Propriétés des Algebres de Morgan. Logique, Automatique, Informatique, Edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste. [REVIEW] Alonzo Church 1974 - Journal of Symbolic Logic 39 (1):184-184. details David Rynin. Introduction. A Treatise on Language, by Alexander Bryan Johnson, Edited by David Rynin, University of California Press, Berkeley and Los Angeles, and Cambridge University Press, London, 1959, Pp. 1–25. [REVIEW] Alonzo Church 1966 - Journal of Symbolic Logic 31 (4):670-671. details Foreword. Bibliography of Polish Mathematics 1944–1954, Translated Reprint From the Roczniki Polskiego Towarzystwa Matematycznego, Seria II, Wiadomości Matematyczne, Published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the Order of Centralny Instytut Informacji Naukowo-Technicznej I Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 , Pp. 1–2. - A. Mostowski and J. Łoś. I. Foundations of Mathematics, Theory of Sets and Mathematical Logic. Bibliography of Polish Mathematics 1944–1954, Translated Reprint From the Roczniki Polskiego Towarzystwa Matematycznego, Seria II, Wiadomości Matematyczne, Published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the Order of Centralny Instytut Informacji Naukowo-Technicznej I Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 , Pp. 4–17. - S. Drobot and S. Straszewicz. XI. History, Teaching, Popularization and Organization of Mathematics. Bibliog. [REVIEW] Alonzo Church 1966 - Journal of Symbolic Logic 31 (3):517-517. details Octavian C. B'sc'. La synthèse des automates finis par la méthode de A. Church. Logique, automatique, informatique, edited by Gr. C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 209–213. [REVIEW] Alonzo Church 1972 - Journal of Symbolic Logic 37 (3):625-626. details The Need for Abstract Entities in Semantic Analysis. Alonzo Church 1951 - Proceedings of the American Academy of Arts and Sciences 80 (1):100-112. details Ontological Commitment. Alonzo Church 1958 - Journal of Philosophy 55 (23):1008-1014. details Heinz Zemanek. Automaten Und Denkprozesse. German, with Summaries in German, English, and French. Digitale Informationswandler — Digital Information Processors, Edited by Friedr Walter Hoffmann. Vieweg & Sohn, Braunschweig, and Interscience Publishers, New York, 1962, Pp. 1–66. [REVIEW] Alonzo Church 1965 - Journal of Symbolic Logic 30 (3):382. details The Calculi of Lambda-Conversion. Alonzo Church 1941 - Journal of Symbolic Logic 6 (4):171-171. details J. J. C. Smart. Introduction. Problems of Space and Time, Readings Selected, Edited and Furnished with an Introduction by J. J. C. Smart, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1964, Pp. 1–23. - G. E. M. Anscombe. Aristotle and the Sea Battle; De Interpretatione, Chapter IX. A Revised Version of XXI 388, with Some Omissions and Additions. Problems of Space and Time, Readings Selected, Edited and Furnished with an Introduction by J. J. C. Smart, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1964, Pp. 43–57. - Ernest Nagel. Space and Geometry. A Reprint of Chapter 8 of The Structure of Science by Ernest Nagel. Problems of Space and Time, Readings Selected, Edited and Furnished with an Introduction by J. J. C. Smart, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1964, Pp. 178–213. - Nelson Goodman. Time and Language, and the Passage of Time. A Partial Reprint of Sections 2–3 of Chapter XI of XVII 130. Pro. [REVIEW] Alonzo Church 1973 - Journal of Symbolic Logic 38 (1):146. details Carnap's Introduction to Semantics. Alonzo Church 1943 - Philosophical Review 52 (3):298-304. details W. V. Quine. Introductory Note. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931 Pp. 150–152. - Bertrand Russell. Mathematical Logic as Based on the Theory of Types. A Reprint of 11116. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931 Pp. 152–182. [REVIEW] Alonzo Church 1974 - Journal of Symbolic Logic 39 (2):355-356. details David Perlman. A Milestone in Math — Professor's New Concept. San Francisco Chronicle, Vol. 99 No. 185, July 4, 1963, P. 6. [REVIEW] Alonzo Church 1963 - Journal of Symbolic Logic 28 (4):295. details Herbert Meschkowski. Wandlungen des mathematischen Denkens. Eine Einführung in die Grundlagenprobleme der Mathematik. Second, revised and enlarged, edition. Friedr. Vieweg & Sohn, Braunschweig1960, vii + 141 pp. [REVIEW] Alonzo Church 1966 - Journal of Symbolic Logic 31 (1):111. details Charles Sanders Peirce. Insolubilia. A Reprint of 2813. Collected Papers of Charles Sanders Peirce, Volume II, Elements of Logic, Edited by Charles Hartshorne and Paul Weiss, The Belknap Press of Harvard University Press, Cambridge, Mass., and Oxford University Press, London, 1960, Pp. 370–371. - C. S. Peirce. On an Improvement in Boole's Calculus of Logic. A Reprint of 281. Collected Papers of Charles Sanders Peirce, Volume III, Exact Logic, Pp. 3–15. - C. S. Peirce. Upon the Logic of Mathematics. A Reprint of 282. Collected Papers of Charles Sanders Peirce, Volume III, Exact Logic, Pp. 16–26. - C. S. Peirce. Description of a Notation for the Logic of Relatives, Resulting From an Amplification of the Conceptions of Boole's Calculus of Logic. A Reprint of 284. Collected Papers of Charles Sanders Peirce, Volume III, Exact Logic, Pp. 27–98. - C. S. Peirce. On the Algebra of Logic. Part I.—Syllogistic. Part II.—The Logic of Non-Relative Terms. Part III.—The Logic of Relatives. A Reprint O. [REVIEW] Alonzo Church 1969 - Journal of Symbolic Logic 34 (3):494-495. details Benson Mates. Elementare Logik . German translation of XXXI 483 by Anneliese Oberschelp. Vandenhoeck & Ruprecht, Göttingen1969, 296 pp. [REVIEW] Alonzo Church 1972 - Journal of Symbolic Logic 37 (3):615-616. details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed
