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.
| ISBN: | 9781402001413 |
| Publication date: | 31st January 2002 |
| Author: | Alonzo Church, C Anthony Anderson, Michael Zelëny |
| Publisher: | Springer an imprint of Springer Netherlands |
| Format: | Hardback |
| Pagination: | 627 pages |
| Series: | Synthese Library |
| Genres: |
Philosophy: logic Mathematical logic Philosophy of language Mathematical foundations |
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.
Logic, Meaning, and Computation features in the following genres: Philosophy: logic, Mathematical logic, Philosophy of language, Mathematical foundations
Logic, Meaning, and Computation is available in Hardback
Logic, Meaning, and Computation was written by Alonzo Church, C Anthony Anderson, Michael Zelëny and published by Springer an imprint of Springer Netherlands
Logic, Meaning, and Computation has 627 pages
Yes it is part of Synthese Library series