Alonzo Church (church-a)

Menzionato/a in queste pagine del portale

Contributi a Philosophie.ch

Bibliography

Bocheński, Józef Martin, Church, Alonzo and Goodman, Nelson, eds. 1956. The Problem of Universals. A Symposium. Notre Dame, Indiana: University of Notre Dame Press. Aquinas symposium, “The Problem of Universals,” at Notre Dame University, March 9 and 10, 1956.
Church, Alonzo. 1932. “Review of Ramsey (1931).” American Mathematical Monthly 39: 355–357.
Church, Alonzo. 1936a. “A Note on the Entscheidungsproblem.” The Journal of Symbolic Logic 1: 40–41. Corrigendum in the same volume, pp. 101–102; reprinted in Davis (1965, 110–115).
Church, Alonzo. 1936b. “An Unsolvable Problem of Elementary Number Theory.” American Journal of Mathematics 58: 345–363. Reprinted in Davis (1965, 88–107).
Church, Alonzo. 1938a. “The Constructive Second Number Class.” Bulletin of the American Mathematical Society 44: 224–232.
Church, Alonzo. 1938b. “Review of Weinberg (1937).” The Journal of Symbolic Logic 3(1): 46. Corrigendum in the same volume, pp. 101–102; reprinted in Davis (1965, 110–115).
Church, Alonzo. 1939. “Schröder’s Anticipation of the Simple Theory of Types.” The Journal of Unified Science (Erkenntnis) 9: 149–152. This volume never appeared; preprinted for the members of the 5th International Congress for the Unity of Science, Cambridge, Mass.; published as Church (1976b).
Church, Alonzo. 1940. “A Formulation of the Simple Theory of Types.” Annals of the American Mathematical Society 5: 56–68.
Church, Alonzo. 1941. The Calculi of Lambda-Conversion. Annals of Mathematics Studies. Princeton, New Jersey: Princeton University Press.
Church, Alonzo. 1943. “Carnap’s introduction to Semantics.” The Philosophical Review 52: 298–304.
Church, Alonzo. 1945. “Referee Reports on Fitch’s ‘A Definition of Value’ .” in, pp. 13–20.
Church, Alonzo. 1950. “On Carnap’s Analysis of Statements of Assertion and Belief.” Analysis 10: 97–99. Reprinted in Davidson and Harman (1975, 129–142).
Church, Alonzo. 1951a. “The Need for Abstract Entities in Semantic Analysis.” Proceedings of the American Academy of Arts and Sciences 80: 100–112. Reprinted in Copi and Gould (1978, 166–176).
Church, Alonzo. 1951b. “A Formulation of the Logic of Sense and Denotation.” in Structure, Method, and Meaning: Essays in Honor of Henry M. Scheffer, edited by Paul Henle, Horace M. Kallen, and Susanne K. Langer, pp. 3–24. New York: The Liberal Arts Press.
Church, Alonzo. 1951c. “The Weak Theory of Implication.” in Kontrolliertes Denken: Untersuchungen zum Logikkalkül und der Logik der Einzelwissenschaften, edited by Albert Menne, Alexander Wilhelmy, and Helmut Angstl, pp. 22–37. Freiburg i.Br.: Karl Alber.
Church, Alonzo. 1953. “Non-Normal Truth-Tables for the Propositional Calculus.” Boletı́n de la Sociedad Matemática Mexicana 10(1-2): 41–52.
Church, Alonzo. 1954. “Intensional Isomormphism and Identity of Belief.” Philosophical Studies 5(5): 65–80.
Church, Alonzo. 1956a. Introduction to Mathematical Logic. Volume I. Princeton, New Jersey: Princeton University Press.
Church, Alonzo. 1956b. “Notes on Quine (1943).” The Journal of Symbolic Logic 21(1): 77–78.
Church, Alonzo. 1957. “Review of Suppes (1957).” Science 126(3285): 1250–1251.
Church, Alonzo. 1958a. “Ontological Commitment.” The Journal of Philosophy 55(23): 1008–1014.
Church, Alonzo. 1958b. “Logic and Analysis.” in Atti del XII Congresso internazionale di filosofia, Venezia, 12-18 settembre, 1958, volume 4, edited by anon, pp. 78–81. Firenze: G.C. Sansoni Editore.
Church, Alonzo. 1962a. “Mathematics and Logic.” in Logic, Methodology and Philosophy of Science I: Proceedings of the 1960 International Congress in Stanford, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, pp. 181–186. Stanford, California: Stanford University Press.
Church, Alonzo. 1962b. “A History of the Question of Existential Import of Categorial Propositions.” in Logic, Methodology and Philosophy of Science I: Proceedings of the 1960 International Congress in Stanford, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, pp. 789–811. Stanford, California: Stanford University Press.
Church, Alonzo. 1962c. “Logic, Arithmetic and Automata.”
Church, Alonzo. 1965. “The History of the Question of Existential Import of Categorical Propositions.” in Logic, Methodology and Philosophy of Science II, Proceedings of the 1964 International Congress in Jerusalem, edited by Yehoshua Bar-Hillel, pp. 417–424. Amsterdam: North-Holland Publishing Co.
Church, Alonzo. 1968. “Paul J. Cohen and the Continuum Hypothesis.”
Church, Alonzo. 1971. “The Formal Theory of Meaning.” Unpublished manuscript, Princeton University.
Church, Alonzo. 1972. “Axioms for Functional Calculi of Higher Order.” in Logic and Art: Essays in Honor of Nelson Goodman, edited by Richard S. Rudner and Israel Scheffler, pp. 197–213. Indianapolis, Indiana: Bobbs-Merrill Company Inc.
Church, Alonzo. 1973. “Outline of a revised Formulation of the Logic of Sense and Denotation – Part I.” Noûs 7(1): 24–33.
Church, Alonzo. 1974a. “Outline of a revised Formulation of the Logic of Sense and Denotation – Part II.” Noûs 8: 135–136.
Church, Alonzo. 1974b. “Set Theory with a Universal Set.” in Proceedings of the Tarski Symposium. An International Symposium Held to Honor Alfred Tarski on the Occasion of his Seventieth Birthday, edited by Arend Heyting, pp. 297–308. Proceedings of Symposia in Pure Mathematics n. 25. Providence, Rhode Island: American Mathematical Society. Held at the University of California, Berkeley, June 23-30, 1971.
Church, Alonzo. 1976a. “Comparison of Russell’s Resolution of the Semantical Antinomies with that of Tarski.” The Journal of Symbolic Logic 41(4): 747–760. Reprinted in Martin (1984, 306).
Church, Alonzo. 1976b. “Schröder’s Anticipation of the Simple Theory of Types.” Erkenntnis 10: 407–410.
Church, Alonzo. 1980. “The Principle of Individuation for Propositions in the Logic of Principia Mathematica.” Abstract of a Lecture Given at the University of Wisconsin, May 2, 1980.
Church, Alonzo. 1984. “Russell’s Theory of the Identity of Propositions.” Philosophia Naturalis 21(2–4): 513–522.
Church, Alonzo. 1989. “Intensionality and the Paradox of the Name Relation.” in Themes from Kaplan, edited by Joseph Almog, John R. Perry, and Howard K. Wettstein, pp. 151–166. Oxford: Oxford University Press. Written around 1970.
Church, Alonzo. 1993. “A Revised Formulation of the Logic of Sense and Denotation. Alternative (1).” Noûs 27: 141–157.
Church, Alonzo. 1995. “A Theory of the Meaning of Names.” in The Heritage of Kazimierz Ajdukiewicz, edited by Vito F. Sinisi and Jan Woleński, pp. 69–74. Poznań Studies in the Philosophy of the Sciences and the Humanities n. 40. Amsterdam: Rodopi.
Church, Alonzo. 2001. The Collected Works of Alonzo Church. Cambridge, Massachusetts: The MIT Press. Edited by Tyler Burger, Herbert Enderton and Michael Zeleny.
Church, Alonzo and Quine, Willard van Orman. 1952. “Some Theorems on Definability and Decidability.” The Journal of Symbolic Logic 17(3): 179–187.
Furth, Montgomery, Chang, Chen-Chung and Church, Alonzo. 1971. “Obituary of Richard M. Montague.” Unpublished manuscript, UCLA Philosophy Department.

Further References

Copi, Irving M. and Gould, James A. 1978. Contemporary Philosophical Logic. New York: St. Martin’s Press.
Davidson, Donald and Harman, Gilbert H., eds. 1975. The Logic of Grammar. Encino, California: Dickenson Publishing Co.
Davis, Martin, ed. 1965. The Undecidable. Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Fonctions. Hewlett, New York: Raven Press.
Martin, Robert L., ed. 1984. Recent Essays on Truth and the Liar Paradox. Oxford: Oxford University Press.
Quine, Willard van Orman. 1943. “Notes on Existence and Necessity.” The Journal of Philosophy 40(5): 113–127.
Ramsey, Frank Plumpton. 1931. The Foundations of Mathematics and other Logical Essays. London: Routledge & Kegan Paul. Edited by R.B. Braithwaite.
Suppes, Patrick. 1957. Introduction to Logic. Princeton, New Jersey: Van Nostrand.
Weinberg, Julius Rudolph. 1937. “A Possible Solution of the Heterological Paradox.” The Philosophical Review 46(6): 657–659.