The Theory of Logical Types
Bibliographic Data
| ID | 10696031 |
|---|---|
| Authors | Dorothy Grover, Dorothy L Grover, Irving M Copi |
| Year | 1974 |
| Volume | 83 |
| Issue | 2 |
| Pages | 281 |
| Publication date | 1974-04-01 |
| Peer Reviewed | Yes |
| Open Access | No |
| Type | ARTICLE |
| Venue | The Philosophical Review (JOURNAL) |
| Journal identifiers | ISSN: 0031-8108 • E-ISSN: 1558-1470 |
| Publisher | JSTOR (PUBLISHER) |
| DOI | 10.2307/2184153 |
| OpenAlex | W1987439799 |
| Language | EN |
| Citations received | 8 |
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
Analytic philosophy · Contemporary philosophy · Epistemology · General interest · Logic, programming, and type systems · Philosophy
Can the Baron von Münchausen Phenomenon be Solved?An Activity-Oriented Solution to the Learning Paradox
Categories and hierarchies
Formal and semantic aspects of Tibetan Buddhist debate logic
Une grammaire de l'incomplétude référentielle
Wittgenstein's Apprenticeship with Russell
Knowledge of Mathematics without Proof
Bertrand Russell's theory of judgment
Reply to Priest on Berry's Paradox
| Unique citing works | 8 |
|---|---|
| Citations per year | 0,19 |
| Citation span | 1983 - 2015 (33) |
| Citation velocity | historical |
| Highly cited | No |
| Citation types | Neutral: 4 |