Scribd
Upload
31 views2 pages

The Theory of Logical Types Monographs in Modern L... - (Table of Contents)

The document outlines the structure of 'The Theory of Logical Types' by Irving Copi, covering various paradoxes, the Simple Theory of Types, and the Ramified Theory of Types. It includes sections on logical and semantic paradoxes, formalizations of type theory, and critiques of these theories. Additionally, it features an appendix and a bibliography for further reference.

Uploaded by

lecumechai
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
31 views2 pages

The Theory of Logical Types Monographs in Modern L... - (Table of Contents)

The document outlines the structure of 'The Theory of Logical Types' by Irving Copi, covering various paradoxes, the Simple Theory of Types, and the Ramified Theory of Types. It includes sections on logical and semantic paradoxes, formalizations of type theory, and critiques of these theories. Additionally, it features an appendix and a bibliography for further reference.

Uploaded by

lecumechai
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

CONTENTS

Preface page ix

1 The Paradoxes 1
1.1 Logical Paradoxes 1
1.2 Semantic Paradoxes 10
1.3 Classification ofthe Paradoxes 13
1.4 Importance ofthe Paradoxes 18

2 The Simple Theory of Types 21


2.1 Informal Exposition ofSimple Type Theory 22
2.2 Formalization ofthe Simple Theory ofTypes 28
Copyright © 2011. Taylor & Francis Group. All rights reserved.

2.3 An Alternative Formulation ofSimple


Type Theory 54
2.4 Criticisms of the Simple Theory ofTypes 60

3 The Ramified Theory of Types 76


3.1 The Vicious Circle Principle 77
3.2 The Hierarchy ofPropositions 19
3.3 Simple Type Theory as Part ofRamified
Type Theory 82
vii

Copi, Irving. The Theory of Logical Types : Monographs in Modern Logic, Taylor & Francis Group, 2011.
ProQuest Ebook Central, http://ebookcentral.proquest.com/lib/curtin/detail.action?docID=957957.
Created from curtin on 2025-04-07 05:13:27.
3.4 Hierarchies of Orders 84
3.5 The Axiom ofReducibility 91
3.6 Criticisms ofthe Axiom of Reducibility 96
3.7 Criticisms ofthe Ramified Theory ofTypes 99
3.8 An Alternative Resolution ofthe
Semantic Paradoxes 107

Appendix: The Hierarchy of Jokes 115

Bibliography 118

Index 127
Copyright © 2011. Taylor & Francis Group. All rights reserved.

vili

Copi, Irving. The Theory of Logical Types : Monographs in Modern Logic, Taylor & Francis Group, 2011.
ProQuest Ebook Central, http://ebookcentral.proquest.com/lib/curtin/detail.action?docID=957957.
Created from curtin on 2025-04-07 05:13:27.

You might also like