- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Alonzo Church
608 found
Order:
- Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
- (1 other version)A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
- The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.
- An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
- (1 other version)A note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
- (1 other version)Intensional isomorphism and identity of belief.Alonzo Church - 1954 - Philosophical Studies 5 (5):65 - 73.
- Comparison of Russell's resolution of the semantical antinomies with that of Tarski.Alonzo Church - 1976 - Journal of Symbolic Logic 41 (4):747-760.
- (1 other version)An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities.Alonzo Church - 1951 - Journal of Symbolic Logic 16 (3):224-225.
- The Inconsistency of Certain Formal Logics.Alonzo Church & Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (4):170.
- (1 other version)On the Concept of a Random Sequence.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):71-72.
- (2 other versions)Men of Mathematics.Alonzo Church - 1937 - Journal of Symbolic Logic 2 (2):95-95.
- A revised formulation of the logic of sense and denotation. Alternative (1).Alonzo Church - 1993 - Noûs 27 (2):141-157.
- Outline of a revised formulation of the logic of sense and denotation (part II).Alonzo Church - 1974 - Noûs 8 (2):135-156.
- Outline of a revised formulation of the logic of sense and denotation (part I).Alonzo Church - 1973 - Noûs 7 (1):24-33.
- Ontological commitment.Alonzo Church - 1958 - Journal of Philosophy 55 (23):1008-1014.
- Russell's Theory of Identity of Propositions.Alonzo Church - 1984 - Philosophia Naturalis 21 (2/4):513-522.
- Referee reports on Fitch's "definition of value".Alonzo Church - 2008 - In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford, England and New York, NY, USA: Oxford University Press. pp. 13--20.
- The Problem of Universals.I. M. Bochenski, Alonzo Church & Nelson Goodman - 1956 - Philosophical Review 67 (3):421-424.
- A Note on the Entscheidungs Problem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):74-74.
- (1 other version)The Weak Theory of Implication.Alonzo Church - 1951 - In Albert Menne (ed.), Kontrolliertes Denken: Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften. K. Alber. pp. 22-37.
- Russellian Simple Type Theory.Alonzo Church - 1973 - Proceedings and Addresses of the American Philosophical Association 47:21 - 33.
- (2 other versions)The Foundations of Empirical Knowledge.Alonzo Church - 1941 - Journal of Symbolic Logic 6 (3):108-108.
- (1 other version)A bibliography of symbolic logic.Alonzo Church - 1936 - Journal of Symbolic Logic 1:121.
- (2 other versions)Language, Truth and Logic.Alonzo Church - 1949 - Journal of Symbolic Logic 14 (1):52-53.
- Propositions and Sentences.Alonzo Church & Nelson Goodman - 1957 - Journal of Symbolic Logic 22 (2):205-208.
- Some Properties of Conversion.Alonzo Church & J. B. Rosser - 1936 - Journal of Symbolic Logic 1 (2):74-75.
- Translations from the Philosophical Writings of Gottlob Frege.Alonzo Church - 1953 - Journal of Symbolic Logic 18 (1):92-94.
- Application of Recursive Arithmetic to the Problem of Circuit Synthesis.Alonzo Church - 1963 - Journal of Symbolic Logic 28 (4):289-290.
- (1 other version)Reviews. Willard V. Quine. Notes on existence and necessity. The journal of philosophy, vol. 40 , pp. 113–127.Alonzo Church - 1943 - Journal of Symbolic Logic 8 (2):45-47.
- Correction to a note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):101-102.
- Some theorems on definability and decidability.Alonzo Church & W. V. Quine - 1952 - Journal of Symbolic Logic 17 (3):179-187.
- On the law of the excluded middle.Alonzo Church - 1928 - Bulletin of the American Mathematical Society 34:75-78.
- The Constructive Second Number Class.Alonzo Church - 1938 - Journal of Symbolic Logic 3 (4):168-169.
- Alternatives to Zermelo's assumption..Alonzo Church - 1927 - New York,: New York.
- (3 other versions)The Development of Mathematics.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (4):152-153.
- [Omnibus Review].Alonzo Church - 1945 - Journal of Symbolic Logic 10 (4):132-133.
- (2 other versions)Symbolic Logic and The Game of Logic.Alonzo Church - 1958 - Journal of Symbolic Logic 25 (3):264-265.
- Formalization of Logic.Alonzo Church - 1944 - Philosophical Review 53 (5):493.
- Una observación respecto de la paradoja de Quine sobre la modalidad.Alonzo Church - 1982 - Análisis Filosófico 2:25.No categories
- (1 other version)A system which can define its own truth.Alonzo Church - 1950 - Fundamenta Mathematicae 37 (1):190--92.
- Additions and corrections to A bibliography of symbolic logic.Alonzo Church - 1938 - Journal of Symbolic Logic 3 (4):178-192.
- (3 other versions)Ockham. Philosophical Writings.Alonzo Church - 1958 - Tijdschrift Voor Filosofie 20 (2):345-346.No categories
- Formal Definitions in the Theory of Ordinal Numbers.Alonzo Church & S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (2):87-87.
- Non-Normal Truth-Tables for the Propositional Calculus.Alonzo Church - 1954 - Journal of Symbolic Logic 19 (3):233-234.
- The Problem of Universals: A Symposium.Józef Maria Bochenski, Alonzo Church & Nelson Goodman - 1956 - South Bend, IN, USA: University of Notre Dame Press.
- 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.
- (2 other versions)Logical Positivism.Alonzo Church - 1970 - Journal of Symbolic Logic 35 (2):312-312.
- (1 other version)Koyré Alexandre. The liar. Philosophy and phenomenological research, vol. 6 no. 3 , pp. 344–362.Alonzo Church - 1946 - Journal of Symbolic Logic 11 (4):131-131.
- A bibliography of symbolic logic.Alonzo Church - 1937 - Menasha:No categories
- (1 other version)Bocheński I. M.. De consequentiis scholasticorum earumque origine. Angelicum , vol. 15 , pp. 1–18.Alonzo Church - 1938 - Journal of Symbolic Logic 3 (1):45-46.
| 1 — 50 / 608 |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6f97f49787-kd5kv uwo