1.1. The logistic method. Church's writings on philosophical matters ex-hibit an unwavering commitment to what he called the “logistic method”. 3 The term did not catch on and now one would just speak of “formalization”. The use of these ideas is now so common and familiar among logicians [Book Review]

Bulletin of Symbolic Logic 4 (2) (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Alonzo Church’s Contributions to Philosophy and Intensional Logic.C. Anthony Anderson - 1998 - Bulletin of Symbolic Logic 4 (2):129-171.
Kategorie syntaktyczne i antynomie logiczne.Kazimierz Ajdukiewicz - 1993 - Filozofia Nauki 1.
Leibniz's interpretation of his logical calculi.Nicholas Rescher - 1954 - Journal of Symbolic Logic 19 (1):1-13.
The Application of Logistic Analysis to Philosophical Problems.Giuseppe Vaccarino & B. V. Juhos - 1953 - Journal of Symbolic Logic 18 (4):337-338.
Logistic as a Continuation of Traditional Formal Logic.E. W. Beth - 1941 - Journal of Symbolic Logic 6 (2):63-64.
Logistic.P. G. J. Vredenduin - 1941 - Journal of Symbolic Logic 6 (4):162-163.
Logistic and Methodology of Science. Logic and Philosophy of Mathematics.Alonzo Church, E. J. E. Huffer & R. Feys - 1952 - Journal of Symbolic Logic 17 (4):289.
A System of Logistic.Willard Van Orman Quine - 1934 - Cambridge, Mass.,: Harvard university press.

Analytics

Added to PP
2014-01-20

Downloads
22 (#978,081)

6 months
22 (#137,586)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The structure and content of truth.Donald Davidson - 1990 - Journal of Philosophy 87 (6):279-328.
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.
How to Russell a Frege-Church.David Kaplan - 1975 - Journal of Philosophy 72 (19):716-729.

View all 20 references / Add more references