Nicht aus der Schweiz? Besuchen Sie lehmanns.de
From Peirce to Skolem -  Geraldine Brady

From Peirce to Skolem (eBook)

A Neglected Chapter in the History of Logic
eBook Download: PDF
2000 | 1. Auflage
480 Seiten
Elsevier Science (Verlag)
978-0-08-053202-8 (ISBN)
Systemvoraussetzungen
178,84 inkl. MwSt
(CHF 174,70)
Der eBook-Verkauf erfolgt durch die Lehmanns Media GmbH (Berlin) zum Preis in Euro inkl. MwSt.
  • Download sofort lieferbar
  • Zahlungsarten anzeigen
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.

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 Schroder, Leopold Lowenheim, and Thoralf Skolem. As far as we know, this book is the first work delineating this line of influence on modern mathematical logic.

Cover 1
Contents 10
Introduction 14
Chapter 1. The Early Work of Charles S. Peirce 22
1.1. Overview of the Mathematical Systems of Charles S. Peirce 22
1.2. Peirce’s Influence on the Development of Logic 24
1.3. Peirce’s Early Approaches to Logic 27
Chapter 2. Peirce’s Calculus of Relatives: 1870 36
2.1. Peirce’s Algebra of Relations 37
2.2. Quantification in the Calculus of Relatives in 1870 59
2.3. Summary 61
Chapter 3. Peirce on the Algebra of Logic: 1880 64
3.1. Overview of Peirces On the algebra of logicŽ 64
3.2. Discussion 67
3.3. Conclusion 86
Chapter 4. Mitchell on a New Algebra of Logic: 1883 88
4.1. Mitchell’s Rule of Inference 88
4.2. Single-Variable Monadic Logic 91
4.3. Two-Variable Monadic Logic 99
4.4. Three-Variable Monadic Logic 102
4.5. Peirce on Mitchell 103
Chapter 5. Peirce on the Algebra of Relatives: 1883 108
5.1. Background in Linear Associative Algebras 108
5.2. The Algebra of Relatives 111
5.3. Syllogistic in the Relative Calculus 117
5.4. Prenex Predicate Calculus 119
5.5. Summary of Peirce's Accomplishments in 1883 122
5.6. Peirce's Appraisal of His Algebra of Binary Relatives 124
Chapter 6. Peirce’s Logic of Quantifiers: 1885 126
6.1. On the Derivation of Logic from Algebra 126
6.2. Nonrelative Logic 129
6.3. First-Order Logic 140
6.4. Second-Order Logic 145
Chapter 7. Schröder’s Calculus of Relatives 156
7.1. Die Algebra der Logik: Volume 1 157
7.2. Die Algebra der Logik: Volume 2 160
7.3. Die Algebra der Logik: Volume 3 162
7.4. Norbert Wiener’s Ph.D. Thesis 178
Chapter 8. Löwenheim’s Contribution 182
8.1. Overview of Löwenheim’s 1915 Paper 184
8.2. Löwenheim’s Theorem 185
8.3. Conclusions 204
8.4. Impact of Löwenheim’s Paper 208
Chapter 9. Skolem’s Recasting 210
Appendices 220
Appendix 1. Schröder’s Lecture I 220
Appendix 2. Schröder’s Lecture II 236
Appendix 3. Schröder’s Lecture III 264
Appendix 4. Schröder’s Lecture V 270
Appendix 5. Schröder’s Lecture IX 308
Appendix 6. Schröder’s Lecture XI 352
Appendix 7. Schröder’s Lecture XII 392
Appendix 8. Norbert Wiener’s Thesis 442
Bibliography 458
Index 474

Erscheint lt. Verlag 22.11.2000
Sprache englisch
Themenwelt Mathematik / Informatik Informatik Theorie / Studium
Mathematik / Informatik Mathematik Geschichte der Mathematik
Mathematik / Informatik Mathematik Logik / Mengenlehre
Naturwissenschaften Physik / Astronomie
Technik
ISBN-10 0-08-053202-0 / 0080532020
ISBN-13 978-0-08-053202-8 / 9780080532028
Haben Sie eine Frage zum Produkt?
PDFPDF (Adobe DRM)

Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos). Von der Benutzung der OverDrive Media Console raten wir Ihnen ab. Erfahrungsgemäß treten hier gehäuft Probleme mit dem Adobe DRM auf.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine Adobe-ID sowie eine kostenlose App.
Geräteliste und zusätzliche Hinweise

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
Discover tactics to decrease churn and expand revenue

von Jeff Mar; Peter Armaly

eBook Download (2024)
Packt Publishing (Verlag)
CHF 24,60