UID:
almahu_9947367537602882
Format:
1 online resource (481 p.)
Edition:
1st ed.
ISBN:
1-281-04719-8
,
9786611047191
,
0-08-053202-0
Series Statement:
Studies in the history and philosophy of mathematics, v. 4
Content:
This book is an account of the important influence on the development of mathematical logic of Charles S. Peirce and his student O.H. Mitchell, through the work of Ernst Schröder, Leopold Löwenheim, and Thoralf Skolem. As far as we know, this book is the first work delineating this line of influence on modern mathematical logic.
Note:
Description based upon print version of record.
,
4.1. Mitchell's Rule of Inference4.2. Single-Variable Monadic Logic; 4.3. Two-Variable Monadic Logic; 4.4. Three-Variable Monadic Logic; 4.5. Peirce on Mitchell; Chapter 5. Peirce on the Algebra of Relatives: 1883; 5.1. Background in Linear Associative Algebras; 5.2. The Algebra of Relatives; 5.3. Syllogistic in the Relative Calculus; 5.4. Prenex Predicate Calculus; 5.5. Summary of Peirce's Accomplishments in 1883; 5.6. Peirce's Appraisal of His Algebra of Binary Relatives; Chapter 6. Peirce's Logic of Quantifiers: 1885; 6.1. On the Derivation of Logic from Algebra; 6.2. Nonrelative Logic
,
6.3. First-Order Logic6.4. Second-Order Logic; Chapter 7. Schröder's Calculus of Relatives; 7.1. Die Algebra der Logik: Volume 1; 7.2. Die Algebra der Logik: Volume 2; 7.3. Die Algebra der Logik: Volume 3; 7.4. Norbert Wiener's Ph.D. Thesis; Chapter 8. Löwenheim's Contribution; 8.1. Overview of Löwenheim's 1915 Paper; 8.2. Löwenheim's Theorem; 8.3. Conclusions; 8.4. Impact of Löwenheim's Paper; Chapter 9. Skolem's Recasting; Appendices; Appendix 1. Schröder's Lecture I; Appendix 2. Schröder's Lecture II; Appendix 3. Schröder's Lecture III; Appendix 4. Schröder's Lecture V
,
Appendix 5. Schröder's Lecture IXAppendix 6. Schröder's Lecture XI; Appendix 7. Schröder's Lecture XII; Appendix 8. Norbert Wiener's Thesis; Bibliography; Index
,
English
Additional Edition:
ISBN 0-444-50334-X
Language:
English
Bookmarklink