Alonzo Church's Contributions to Philosophy and Intensional Logic

E-ISSN： 1943-5894|4|2|129-171

ISSN： 1079-8986

Source： Bulletin of Symbolic Logic, Vol.4, Iss.2, 1998-06, pp. : 129-171

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

§0. Alonzo Church's contributions to philosophy and to that most philosophical part of logic, intensional logic, are impressive indeed. He wrote relatively few papers actually devoted to specifically philosophical issues, as distinguished from related technical work in logic. Many of his contributions appear in reviews for The Journal of Symbolic Logic, and it can hardly be maintained that one finds there a “philosophical system”. But there occur a clearly articulated and powerful methodology, terse arguments, often of “crushing cogency”, and philosophical observations of the first importance.