| Introduction | p. 3 |
| Quodlibet Ens Est Unum | p. 3 |
| Overview | p. 7 |
| The Unrestricted Variable | |
| Russell's Logicist Program | p. 13 |
| Two Conceptions of Logicism: Frege and Russell | p. 13 |
| Arithmetization | p. 17 |
| Russell's Principle of Abstraction | p. 21 |
| Logic as a Science | p. 30 |
| The Logic of The Principles of Mathematics | p. 42 |
| The Calculus for the Logic Propositions | p. 42 |
| Russell's Definitions | p. 48 |
| The Theory of Implication | p. 52 |
| Quodlibet Ens Est Unum | p. 54 |
| Denoting Concepts | p. 57 |
| The Analysis of the Variable | p. 63 |
| The New Theory of the Variable | p. 69 |
| "On Fundamentals" Against Denoting Concepts | p. 72 |
| An Argument Against Frege? | p. 80 |
| The Variable as Primitive | p. 82 |
| The Road to Substitution | p. 89 |
| Types as Logical Grammar | |
| The Logic of Substitution | p. 97 |
| Russell's Original Principles of Substitution | p. 98 |
| The Basic Logic of Propositions | p. 102 |
| Substitutional Principles | p. 106 |
| Identity | p. 109 |
| Proofs of Propositional Identities | p. 112 |
| The "No Propositional Functions" Theory | p. 127 |
| Substitution and Definite Descriptions | p. 128 |
| Multiple Substitutions | p. 132 |
| Comprehension and Identity | p. 135 |
| Types as Logical Grammar | p. 140 |
| The "No-Classes" Theory | p. 146 |
| Classes as Extensional Propositional Functions | p. 147 |
| Complex Prototypes and Extensionality | p. 149 |
| The General Theory of Classes | p. 152 |
| Comparison with Principia Mathematica | p. 165 |
| The "No-Relations[subscript e]" Theory | p. 176 |
| Relations-in-Extension in Principia Mathematica | p. 177 |
| Relations-in-Extension in the Substitutional Theory | p. 179 |
| Cantor's Paradox of the Greatest Cardinal | p. 183 |
| The Burali-Forti Paradox | p. 190 |
| Ramification | |
| Les Paradoxes de la Logique | p. 199 |
| Three Paradoxes of Propositions | p. 201 |
| Substitutional Manuscripts of April/May 1906 | p. 206 |
| Poincare's Vicious Circle Principle | p. 213 |
| Logic without General Propositions | p. 216 |
| The Statement Liar | p. 220 |
| The Konig, Dixon, Berry, Richard, and Grelling Paradoxes | p. 224 |
| Russell's "Mitigating Axiom" | p. 227 |
| The Demise of "Les Paradoxes" | p. 231 |
| Mathematical Logic as Based on the Theory of Types | p. 234 |
| Orders of Propositions | p. 235 |
| Substitutional Logic cum Orders of Propositions | p. 240 |
| Predicativity and Reducibility | p. 246 |
| Paradoxes of Propositions Avoided | p. 251 |
| The Logic of Principia Mathematica | p. 255 |
| The Formal System of Principia (cum *10) | p. 255 |
| The Perils of Typical Ambiguity | p. 258 |
| Orders within Types or Types within Orders? | p. 267 |
| The Doctrine of the Unlimited Variable | p. 272 |
| Poincare's Vicious Circle Principle | p. 275 |
| The Philosophical Justification of the Type Part of an Order/Type Index | p. 279 |
| The Philosophical Justification of the Order Part of an Order/Type Index | p. 281 |
| The Multiple-Relation Theory of Judgment | p. 287 |
| What Is Logic? | p. 291 |
| What Logic Is Not | p. 294 |
| Proof of the Peano Postulates | p. 299 |
| Axioms, Theorems, and Definitions | p. 314 |
| Bibliography | p. 325 |
| Index | p. 333 |
| Table of Contents provided by Syndetics. All Rights Reserved. |
