Author(s): Clarence Irving Lewis
Publisher: University of California Press
Year: 1918
Language: English
Commentary: pages of Index are missing
Pages: 412
Title......Page 1
Table of Contents......Page 3
Preface......Page 5
I. The Scope of Symbolic Logic. Symbolic Logic and Logistic. Summary Account of Their Development......Page 7
II. Leibniz......Page 11
III. From Leibniz to De Morgan and Boole......Page 24
IV. De Morgan......Page 43
V. Boole......Page 57
VI. Jevons......Page 78
VII. Peirce......Page 85
VIII. Developments since Peirce......Page 113
I. General Character of the Algebra. The Postulates and Their Interpretation......Page 124
II. Elementary Theorems......Page 128
III. General Properties of Functions......Page 138
IV. Fundamental Laws of the Theory of Equations......Page 150
V. Fundamental Laws of the Theory of Inequations......Page 172
VI. Note on the Inverse Operations, "Subtraction" and "Division"......Page 179
I. Diagramas for the Logical Relations of Classes......Page 181
II. The Application to Classes......Page 190
III. The Application to Propositions......Page 219
IV. The Application to Relations......Page 225
I. The Two-Valued Algebra......Page 228
II. The Calculus of Propositional Functions. Functions of One Variable......Page 238
III. Propositional Functions of Two or More Variables......Page 252
IV. Derivation of the Logic of Classes from the Calculus of Propositional Functions......Page 266
V. The Logic of Relations......Page 275
VI. The Logic of Principia Mathematica......Page 285
V – The System of Strict Implication......Page 297
I. Primitive Ideas, Primitive Propositions, and Immediate Consequences......Page 298
II. Strict Relations and Material Relations......Page 305
III. The Transformation {-/~}......Page 312
IV. Extensions of Strict Implication. The Calculus of Consistencies and the Calculus of Ordinary Inference......Page 322
V. The Meaning of "Implies"......Page 330
I. General Character of the Logistic Method. The "Orthodox" View......Page 346
II. Two Varieties of Logistic Method: Peano's Formulaire and Principia Mathematica. The Nature of Logistic Proof......Page 349
III. A "Heterodox" View of the Nature of Mathematics and of Logistic......Page 360
IV. The Logistic Method of Kempe and Royce......Page 368
V. Summary and Conclusion......Page 373
Appendix: Two Fragments from Leibniz......Page 379
Bibliography......Page 395
