Alonzo Church's contributions to philosophy and intensional logic

Bulletin of Symbolic Logic

Volumn 4, Issue 2, 1998, Pages 129-171

  Anderson, C Anthony ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032388616     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2307/421020     Document Type: Article

References (65)

1. C. ANTHONY ANDERSON, Some new axioms for the logic of sense and denotation: Alternative (0), Noûs, vol. 14 (1980), pp. 217-234.
2. _, Some difficulties concerning Russellian intensional logic, Noûs, vol. 20 (1986), pp. 35-46.
3. C. Anthony Anderson and Mikhail Zeleny (editors), Logic, meaning and computation: Essays in memory of Alonzo Church, Kluwer Academic Publishers, forthcoming.
4. A. J. AYER, Language, truth and logic, Dover Publications, Inc., New York, 1946.
5. RUDOLF CARNAP, The logical syntax of language, Kegan Paul Trench, Trubner & Co., London, 1937.
6. _, Meaning and necessity, The University of Chicago Press, Chicago, Illinois, 1947.
7. _, The methodological character of theoretical concepts, The foundations of science and the concepts of psychology and psychoanalysis (Herbert Feigl and Michael Scriven, editors), Minnesota Studies in the Philosophy of Science, vol. 1, University of Minnesota Press, Minneapolis, 1956.
8. ALONZO CHURCH, Review of Alfred North Whitehead and Bertrand Russell, Principia Mathematica, second edition, volumes II and III, Bulletin of the American Mathematical Society, vol. 34 (1928), pp. 237-240.
9. _, A set of postulates for the foundation of logic, Annals of Mathematics, vol. 33 (1932), pp. 346-366.
10. _, A set of postulates for the foundation of logic (second paper), Annals of Mathematics, vol. 34 (1933), pp. 839-864.
11. _, A formulation of the simple theory of types, Journal of Symbolic Logic, vol. 5 (1940), pp. 56-68.
12. _, The calculi of lambda-conversion, Annals of Mathematics Studies, no. 6, Princeton University Press, Princeton, 1941.
13. _, Truth, semantical, Dictionary of philosophy (D. D. Runes, editor), Philosophical Library, New York, 1942.
14. _, Frege, (Friedrich Ludwig) Gottlob, Dictionary of philosophy (D. D. Runes, editor), Philosophical Library, New York, 1942.
15. _, Carnap's Introduction to Semantics, The Philosophical Review, vol. 52 (1943), pp. 298-304.
16. _, Introduction to mathematical logic, Part 1, Princeton University Press, Princeton, 1944.
17. _, A formulation of the logic of sense and denotation (abstract), Journal of Symbolic Logic, vol. 11 (1946), p. 31.
18. _, On Carnap's analysis of statements of assertion and belief, Analysis, vol. 10 (1950), pp. 97-99.
19. _, A formulation of the logic of sense and denotation, Structure, method and meaning (Paul Henle et al., editors), The Liberal Arts Press, New York, 1951.
20. _, The need for abstract entities in semantic analysis, American Academy of Arts and Sciences Proceedings, vol. 80 (1951), pp. 110-133, reprinted as Intensional Semantics in Martinich [50].
21. _, Intensional isomorphism and identity of belief, Philosophical Studies, vol. 5 (1954), pp. 65-73.
22. _, Introduction to mathematical logic, vol. 1, Princeton University Press, Princeton, New Jersey, 1956.
23. _, Propositions and sentences, The problem of universals: A symposium (J. Bochenski, editor), University of Notre Dame Press, Notre Dame, 1956.
24. _, Logic and analysis, Atti del XII Congresso Internazionale de Filosofia, vol. 4 (1958), pp. 71-81.
25. _, Mathematics and logic, Logic, methodology and philosophy of science, Proceedings of the 1960 international congress (Ernest Nagel, Patrick Suppes, and Alfred Tarski, editors), Stanford University Press, Stanford, 1962.
26. _, Denotation, in Encyclopedia Brittanica, 1964.
27. _, Paul J. Cohen and the continuum problem, Proceedings of international congress of mathematicians (I. G. Pterovsky, editor), Mir Publishers, Moscow, 1968, pp. 15-20.
28. _, On Scheffler's approach to indirect quotation, Semantica filosofica: Problemas y discussiones (Thomas Moro Simpson, editor), Siglo XXI Argentina Editores S. A., Buenos Aires, 1973.
29. _, Postscript 1968, Semantica filosofica; Problemas y discusiones (Thomas Moro Simpson, editor), Siglo XXI Argentina Editores S. A., 1973, postscript, in Spanish, to the Spanish translation of [VIII 45, 1943].
30. _, Outline of a revised formulation of the logic of sense and denotation (Part I), Noûs, vol. 7 (1973), pp. 24-33.
31. _, Outline of a revised formulation of the logic of sense and denotation (Part II), Noûs, vol. 8 (1974), pp. 135-156.
32. _, A remark concerning Quine's paradox about modality, Analisis Filosófico, vol. 2 (1982), in Spanish; English translation in Salmon and Soames [62].
33. _, Russell's theory of identity of propositions, Philosophia Naturalis, vol. 21 (1984), pp. 513-522.
34. _, A revised formulation of the logic of sense and denotation, Alternative (1), Noûs, vol. 27 (1993), pp. 141-157.
35. _, Intensionality and the paradox of the name relation, Themes from Kaplan (Joseph Almog, John Perry, and Howard Wettstein, editors), Oxford University Press, New York and Oxford, 1989.
36. DONALD DAVIDSON, The method of extension and intension, The philosophy of Rudolf Carnap (P. A. Schilpp, editor), Open Court, La Salle, Illinois, 1963, pp. 311-349.
37. _, The structure and content of truth, The Journal of Philosophy, vol. 87 (1990), pp. 279-328.
38. MICHAEL DUMMETT, Truth, Proceedings of the Aristotelian society, new series, vol. 59, 1959, reprinted with a postscript in his Truth and other enigmas, Cambridge, Massachusetts, Harvard University Press, 1978, pp. 141-162.
39. MICHAEL DUMMETT, Truth, Proceedings of the Aristotelian society, new series, vol. 59, 1959, reprinted with a postscript in his Truth and other enigmas, Cambridge, Massachusetts, Harvard University Press, 1978, pp. 141-162.
40. KURT GÖDEL, Russell's mathematical logic, The philosophy of Bertrand Russell (P. A. Schilpp, editor), Tudor Publishing Co., New York, 1944, pp. 125-153.
41. NELSON GOODMAN, On likeness of meaning, Analysis, vol. 10 (1949), pp. 1-7.
42. _, On some differences about meaning, Analysis, vol. 13 (1953), pp. 90-96.
43. _, Problems and projects, Bobbs-Merrill Company, Inc., Indianapolis and New York, 1972.
44. PAUL GRICE, Method in philosophical psychology (from the banal to the bizarre), Proceedings and Addresses of the American Philosophical Association, vol. 48 (1974-1975), pp. 23-53.
45. DAVID KAPLAN, The language of L-Church-O, unpublished notes, 1974.
46. _, How to Russell a Frege-Church, Journal of Philosophy, vol. 72 (1975), pp. 716-729.
47. _, Significance and analyticity: A comment on some recent proposals of Carnap, Rudolf Carnap, logical empiricist (Jaakko Hintikka, editor), D. Reidel Publishing Company, Dordrecht and Boston, 1975.
48. _, On the logic of demonstratives, Contemporary perspectives in the philosophy of language (Peter A. French, Theodore E. Uehling, Jr., and Howard K. Wettstein, editors), University of Minnesota Press, Minneapolis, 1979.
49. JOHN KEMENY, A new approach to semantics: Part II, Journal of Symbolic Logic, vol. 21 (1956), pp. 149-161.
50. SAUL KRIPKE, A puzzle about belief, Meaning and use (A. Margalit, editor), Reidel Publishing Company, Dordrecht, 1979, pp. 239-283.
51. A. P. Martinich (editor), The philosophy of language, Oxford University Press, New York and London, 1985.
52. BENSON MATES, Synonymity, University of California Publications in Philosophy, vol. 25 (1950), pp. 201-226.
53. JOHN MYHILL, Problems arising in the formalization of intensional logic, Logique et Analyse, vol. 1 (1958), pp. 74-83.
54. CHARLES PARSONS, Intensional logic in extensional language, Journal of Symbolic Logic, vol. 47 (1982), pp. 289-328.
55. TERENCE PARSONS, The logic of sense and denotation: Extensions and applications, in [3].
56. HILARY PUTNAM, Synonymity, and the analysis of belief sentences, Analysis, vol. 14 (1954), pp. 114-122.
57. W. V. O. QUINE, Two dogmas of empiricism, From a logical point of view, Harvard University Press, Cambridge, Massachusetts, 1953.
58. BERTRAND RUSSELL, Principles of mathematics, Cambridge University Press, Cambridge, 1903.
59. _, On denoting, Mind, new series, vol. 14 (1905), pp. 479-493.
60. NATHAN SALMON, On the very possibility of language: A sermon on the consequences of missing Church, in [3].
61. _, A problem in the Frege-Church theory of sense and denotation, Noûs, vol. 27 (1993), pp. 158-166.
62. _, Being of two minds: Belief with doubt, Noûs, vol. 29 (1995), pp. 1-20.
63. Nathan Salmon and Scott Soames (editors), Propositions and attitudes, Oxford University Press, Oxford and New York, 1988.
64. ALFRED TARSKI, The concept of truth in formalized languages, Logic, semantics, metamathematics (J. H. Woodger, translator), Oxford at the Clarendon Press, Oxford, 1956.
65. _, Some methodological investigations on the definability of concepts, Logic, semantics, metamathematics (J. H. Woodger, editor), Oxford at the Clarendon Press, Oxford, 1956.