A01=Irving Copi
advanced set theory applications
arithmetic
Author_Irving Copi
axiom of reducibility
Axiom Schema
Cardinal Numbers
Category=QDTL
Denumerable Number
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Finite Definition
Finitely Definable
grelling
Grelling Paradox
hierarchy of propositions
Illegitimate Totality
Infinite Divisibility
Interchangeable Salva Veritate
logical paradoxes
mathematica
mathematical logic foundations
Natural Numbers
Order Function
paradox
Peano's Axiom
Peano’s Axiom
Predicate Constant
Predicate Variable
principia
Principia Mathematica
Propositional Symbols
ramified
Ramified Theory
Ramified Type Theory
russell
Russell Paradox
semantic
semantic paradoxes
simple
Simple Theory
Simple Type Theory
transfinite
Transfinite Arithmetic
Type Indices
vicious circle principle
Product details
- ISBN 9780415617031
- Weight: 260g
- Dimensions: 129 x 198mm
- Publication Date: 24 Jul 2012
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
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.
