A survey of symbolic logic.
Saved in:
| Author / Creator: | Lewis, Clarence Irving, 1883-1964. |
|---|---|
| Imprint: | Bristol, England ; Sterling, Va. : Thoemmes Press, 2001. |
| Description: | vi, 327 pages ; 23 cm |
| Language: | English |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/4415567 |
Table of Contents:
- Ch. I. The Development of Symbolic Logic
- Sect. I. The Scope of Symbolic Logic. Symbolic Logic and Logistic. Summary Account of their Development
- Sect. II. Leibniz
- Sect. III. From Leibniz to De Morgan and Boole
- Sect. IV. De Morgan
- Sect. V. Boole
- Sect. VI. Jevons
- Sect. VII. Peirce
- Sect. VIII. Developments since Peirce
- Ch. II. The Classic, or Boole-Schroder Algebra of Logic
- Sect. I. General Character of the Algebra. The Postulates and their Interpretation
- Sect. II. Elementary Theorems
- Sect. III. General Properties of Functions
- Sect. IV. Fundamental Laws of the Theory of Equations
- Sect. V. Fundamental Laws of the Theory of Inequations
- Sect. VI. Note on the Inverse Operations, "Subtraction" and "Division"
- Ch. III. Applications of the Boole-Schroder Algebra
- Sect. I. Diagrams for the Logical Relations of Classes
- Sect. II. The Application to Classes
- Sect. III. The Application to Propositions
- Sect. IV. The Application to Relations
- Ch. IV. Systems Based on Material Implication
- Sect. I. The Two-Valued Algebra
- Sect. II. The Calculus of Propositional Functions. Functions of One Variable
- Sect. III. Propositional Functions of Two or More Variables
- Sect. IV. Derivation of the Logic of Classes from the Calculus of Propositional Functions
- Sect. V. The Logic of Relations
- Sect. VI. The Logic of Principia Mathematica. App. Fragments from Leibniz.