David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Kluwer Academic Publishers (2001)
This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer scientists, philosophers, and linguists. The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields.
|Keywords||Logic, Symbolic and mathematical|
|Categories||categorize this paper)|
|Buy the book||$251.05 used (36% off) $266.73 new (32% off) $284.63 direct from Amazon (27% off) Amazon page|
|Call number||BC135.L576 2001|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Alonzo Church (1961). Prefactory Statement to the Index Volume. Journal of Symbolic Logic 26 (1/2):1.
Alonzo Church (1942). Elementary Topics in Mathematical Logic. Brooklyn, N.Y. [Brooklyn.
Alonzo Church (1984). A Bibliography of Symbolic Logic, 1666-1935. Association for Symbolic Logic.
C. Anthony Anderson (1998). Alonzo Church's Contributions to Philosophy and Intensional Logic. Bulletin of Symbolic Logic 4 (2):129-171.
Alonzo Church (1944). Introduction to Mathematical Logic. London, H. Milford, Oxford University Press.
Alonzo Church (1956). Introduction to Mathematical Logic. Princeton, Princeton University Press.
Maía Manzano (1997). Alonzo Church:His Life, His Work and Some of His Miracles. History and Philosophy of Logic 18 (4):211-232.
Nathan Salmon (2001). The Very Possibility of Language: A Sermon on the Consequences of Missing Church. In C. Anthony Anderson & Michael Zelëny (eds.), Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Kluwer.
Added to index2009-01-28
Total downloads23 ( #81,749 of 1,140,310 )
Recent downloads (6 months)3 ( #60,710 of 1,140,310 )
How can I increase my downloads?