The Theory of Logical Types
Monographs in Modern Logic
Published on 28. February 2011
156 pages
978-1-136-81614-7 (ISBN)
Description
This reissue, first published in 1971, provides a brief historical account of the Theory of Logical Types; and describes the problems that gave rise to it, its various different formulations (Simple and Ramified), the difficulties connected with each, and the criticisms that have been directed against it. Professor Copi seeks to make the subject accessible to the non-specialist and yet provide a sufficiently rigorous exposition for the serious student to see exactly what the theory is and how it works.
More details
Series
Language
English
Place of publication
London
United Kingdom
Publishing group
Taylor & Francis Ltd
Target group
College/higher education
File size
8,72 MB
ISBN-13
978-1-136-81614-7 (9781136816147)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Book
07/2012
1st Edition
Routledge
€62.30
Shipment within 15-20 days
Book
02/2011
1st Edition
Routledge
€185.70
Shipment within 15-20 days
Person
Irving Copi
Content
Part One: The Paradoxes 1. Logical Paradoxes 2. Semantic Paradoxes 3. Classification of the Paradoxes 4. Importance of the Paradoxes. Part Two: The Simple Theory of Types 5. Informal Exposition of Simple Type Theory 6. Formalization of the Simple Theory of Types 7. An Alternative Formulation of Simple Type Theory 8. Criticisms of the Simple Theory of Types. Part Three: The Ramified Theory of Types. 9. The Vicious Circle Principle 10. The Hierarchy of Propositions 11. Simple Type Theory as Part of Ramified Type Theory 12. Hierarchies of Orders 13. The Axiom of Reducibility 14. Criticisms of the Axiom of Reducibility 15. Criticisms of the Ramified Theory of Types 16. An Alternative Resolution of the Semantic Paradoxes.
