SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Alonzo Church · Study

Home/Author

Alonzo Church

25 works· latest 2009· 1 institutionscluster: provisional

h-index16

i1019

Citations1,759

Works here25

46

48

49

50

51

52

54

58

59

60

68

73

74

84

93

09

Most cited in this library

Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116. Contemporary readings in logical theory, edited by Irving M. Copi and James A. Gould, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, pp. 135–153.1974 · 480 citations
On Carnap's Analysis of Statements of Assertion and Belief1950 · 245 citations
Intensional isomorphism and identity of belief1954 · 209 citations
Astounding Science Fiction.1952 · 155 citations
The Need for Abstract Entities in Semantic Analysis1951 · 120 citations

Works

25 shown

Referee Reports on Fitch's “A Definition of Value”

·2009·1 author·chapter

49citations

A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)

Noûs·1993·1 author

53citations

Russell's Theory of Identity of Propositions

Philosophia Naturalis·1984·1 author

25citations

Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116. Contemporary readings in logical theory, edited by Irving M. Copi and James A. Gould, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, pp. 135–153.

Journal of Symbolic Logic·1974·1 author·other

480citations

Russellian Simple Type Theory

Proceedings and Addresses of the American Philosophical Association·1973·1 author

22citations

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 (1666). 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 (April, 1679). 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 (April, 1679). English translation of 118 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 25–32. - Gottfried Wilhelm Leibniz. A specimen of the universal calculus (1679–86?). 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 (1679–86?). English translation of 111 (without the three concluding paragraphs from Couturat) by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 40–46. - Gottfried Wilhelm Leibniz. General inquiries about the analysis of concepts and of truths (1686). English translation of 129 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 47–87. - Gottfried Wilhelm Leibniz. The primary bases of a logical calculus (1 August 1690). English translation of 133 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 90–92. - Gottfried Wilhelm Leibniz. The bases of a logical calculus (2 August 1690). English translation of 134 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 93–94. - Gottfried Wilhelm Leibniz. An intensional account of immediate inference and the syllogism (‘Logical definitions’). English translation of 18 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 112–114. - Gottfried Wilhelm Leibniz. A paper on ‘some logical difficulties’ (after 1690). English translation of 13 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 115–121. - Gottfried Wilhelm Leibniz. A study in the plus-minus calculus (‘A not inelegant specimen of abstract proof’) (after 1690). English translation of 16 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 122–130. - Gottfried Wilhelm Leibniz. A study in the calculus of real addition (after 1690). English translation of 112 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 131–144.

Journal of Symbolic Logic·1968·1 author·other

30citations

Review: Frank Restle, Psychology of Judgment and Choice: A Theoretical Essay

Project Euclid (Cornell University)·1960·1 author·other

0citations

Omar K. Moore and Donald J. Lewis. Learning theory and culture. Psychological review, vol. 59 (1952), pp. 380–388.

Journal of Symbolic Logic·1959·1 author·other

0citations

Ontological Commitment

The Journal of Philosophy·1958·1 author

62citations

The Problem of Universals.

The Philosophical Review·1958·4 authors

54citations

Intensional isomorphism and identity of belief

Philosophical Studies·1954·1 author

209citations

Astounding Science Fiction.

Journal of Symbolic Logic·1952·2 authors

155citations

The Need for Abstract Entities in Semantic Analysis

Proceedings of the American Academy of Arts and Sciences·1951·1 author

120citations

Nelson Goodman. On likeness of meaning. Analysis (Oxford), vol. 10 no. 1 (1949), pp. 1–7.

Journal of Symbolic Logic·1950·1 author·other

32citations

On Carnap's Analysis of Statements of Assertion and Belief

Analysis·1950·1 author

245citations

Louis De Raeymaeker. Introduction à la philosophie. Troisième édition revue et corrigée. Éditions de l'Institut Supérieur de Philosophie, Louvain1947, 277 pp. - L. De Raeymaeker. Inleiding tot de wijsbegeerte. Tweede, herziene uitgave. Uitgeverij Het Kompas, Antwerp, and L. J. Veen's Uitgeversmij, Amsterdam, 1948, 271 pp.

Journal of Symbolic Logic·1949·1 author·other

0citations

Review: Louis De Raeymaeker, Introduction a la Philosophie; L. De Raeymaeker, Inleiding tot de Wijsbegeerte

Project Euclid (Cornell University)·1949·1 author

0citations

Alfred Jules Ayer. Language, truth and logic. Second edition (revised and re-set). Victor Gollancz, London1946 (third impression 1948) ; 160 pp.

Journal of Symbolic Logic·1949·1 author·other

27citations

Review: Louis de Raeymaeker, Harry McNeill, Introduction to Philosophy

Project Euclid (Cornell University)·1948·1 author·other

0citations

Morton G. White. A note on the “paradox of analysis.” Mind, n.s. vol. 54 (1945), pp. 71–72. - Max Black. The “paradox of analysis” again: a reply. Mind, n.s. vol. 54 (1945), pp. 272–273. - Morton G. White. Analysis and identity: a rejoinder. Mind, n.s. vol. 54 (1945), pp. 357–361. - Max Black. How can analysis be informative? Philosophy and phenomenological research, vol. 6 no. 4 (1946), pp. 628–631.

Journal of Symbolic Logic·1946·1 author

12citations

Ernest Nagel. Logic without ontology. Naturalism and the human spirit, edited by Yervant H. Krikorian, Columbia University Press, New York1944, pp. 210–241.

Journal of Symbolic Logic·1945·1 author·other

15citations

Reviews - Willard V. Quine. Notes on existence and necessity. The journal of philosophy, vol. 40 (1943), pp. 113–127.

Journal of Symbolic Logic·1943·1 author·other

57citations

Carnap's Introduction to Semantics

The Philosophical Review·1943·1 author

96citations

Review: Willard V. Quine, Notes on Existence and Necessity

Project Euclid (Cornell University)·1943·1 author·other

15citations

Everett W. Hall. Some dangers in the use of symbolic logic in psychology. Psychological review, vol. 49 (1942), pp. 142–169.

Journal of Symbolic Logic·1942·1 author

1citations