Grundzüge der Theoretischen Logik
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | German |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1959, 1959
|
| Edition: | 6th ed. 1959 |
| Series: | Grundlehren der mathematischen Wissenschaften, A Series of Comprehensive Studies in Mathematics
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Übungen zum zweiten Kapitel
- Drittes Kapitel Der engere Prädikatenkalkül
- § 1. Unzulänglichkeit des bisherigen Kalküls
- § 2. Methodische Grundgedanken des Prädikatenkalküls
- § 3. Ausdrücke und ihre Allgemeingültigkeit
- § 4. Ein Axiomensystem für die allgemeingültigen Ausdrücke
- § 5. Sätze über das Axiomensystem
- § 6. Die Ersetzungsregel; Bildung des Gegenteils eines Ausdrucks; das Dualitätsprinzip
- § 7. Die pränexe Normalform; die Skolemsche Normalform
- § 8. Die Widerspruchsfreiheit, Unabhängigkeit und Vollständigkeit des Axiomensystems
- § 9. Der Prädikatenkalkül mit Identität
- § 10. Axiomatik wissenschaftlicher Theorien; mehrsortiger Prädikatenkalkül; Axiomensysteme der ersten und der zweiten Stufe
- § 11. Das Entscheidungsproblem
- § 12. Der Begriff „derjenige,welcher“; Einführung von Funktionen
- Übungen zum dritten Kapitel
- Viertes Kapitel Der erweiterte Prädikatenkalkül
- Erstes Kapitel Der Aussagenkalkül
- § 1. Einführung der logischen Grundverknüpfungen
- § 2. Die Aussagenverknüpfungen als Wahrheitsfunktionen
- § 3. Einführung von Variablen; allgemeingültige Aussagenformen
- § 4. Äquivalenzen; Entbehrlichkeit von Grundverknüpfungen
- § 5. Die konjunktive und die disjunktive Normalform für Ausdrücke
- § 6. Das Prinzip der Dualität
- § 7. Mannigfaltigkeit der Aussageformen, die mit gegebenen Aussage variablen gebildet werden können
- § 8. Erfüllbarkeit einer Aussageform; Folgerungen aus gegebenen Axiomen
- § 9. Axiomatik des Aussagenkalküls
- *§ 10. Der intuitionistische Aussagenkalkül
- *§ 11. Der Begriff einer strengen Implikation
- Übungen zum ersten Kapitel
- Zweites Kapitel Der Klassenkalkül
- § 1. Klassenverknüpfungen und die Beziehungen zwischen Klassen
- § 2. Die allgemeingültigen Ausdrücke des Klassenkalküls
- § 3. Systematische Ableitung der traditionellen Aristotelischen Schlüsse
- § 1. Erweiterung des Prädikatenkalküls durch Hinzunahme der Quantoren für Prädikaten variable
- § 2. Einführung von Prädikatenprädikaten; logische Behandlung des Anzahlbegriffs
- § 3. Darstellung der Grundbegriffe der Mengenlehre im erweiterten Kalkül
- § 4. Die logischen Paradoxien
- § 5. Der Stufenkalkül
- § 6. Anwendung des Stufenkalküls
- Namen- und Sachverzeichnis