|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910456892603321 |
|
|
Autore |
Copi Irving, M. |
|
|
Titolo |
The theory of logical types / / Irving M. Copi |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Abingdon, Oxon [England] ; ; New York : , : Routlege, , 2011, c1971 |
|
|
|
|
|
|
|
ISBN |
|
1-136-81613-5 |
1-136-81614-3 |
1-283-04018-2 |
9786613040183 |
0-203-82955-7 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (66 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Type theory |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
1. The paradoxes -- 2. The simple theory of types -- 3. The ramified theory of types. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|