Irving Copi

The Theory of Logical Types (eBook, ePUB)

Monographs in Modern Logic

• Format: ePub

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Taylor & Francis eBooks
• Seitenzahl: 156
• Erscheinungstermin: 28. Februar 2011
• Englisch
• ISBN-13: 9781136816130
• Artikelnr.: 42983340

Inhaltsangabe

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.