Strukturtypen der Logik
Diese Absicht wurde verstärkt durch den äußeren Umstand, daß in zunehmendem Maße Mathematikstudenten der Münchner Universität bei mir Logik als Nebenfach wählten. Da diese Kandidaten meist keine Zeit und Gelegenheit hatten, meine Veranstaltungen zu besuchen, kam der verständliche Wunsch auf, ich mög...
Corporate Author: | |
---|---|
Format: | eBook |
Language: | German |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1984, 1984
|
Edition: | 1st ed. 1984 |
Series: | Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Einleitung: Inhaltsübersicht
- 1. Vorbereitungen
- 1.1 Logische und semiotische Präliminarien
- 1.2 Zur Bezeichnungsweise und Symbolik
- 1.3 Grundbegriffe der Mengenlehre
- I. Logik
- 2. Junktoren
- 3. Quantoren
- 4. Kalküle
- 5. Semantiken: Spielarten der denotationellen und nicht-denotationellen Semantik
- 6. Normalformen
- 7. Identität
- 8. Theorien
- II. Metalogische Ergebnisse
- 9. Kompaktheit
- 10. Das Fundamentaltheorem der Quantorenlogik
- 11. Analytische und synthetische Konsistenz. Zwei Typen von Vollständigkeits-beweisen: solche vom Gödel-Gentzen-Typ und solche vom Henkin-Typ
- 12. Unvollständigkeit und Unentscheidbarkeit
- 13. Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der Wahrheit
- 14. Abstrakte Semantik: Semantische Strukturen und ihre Isomorphie-Arten
- 15. Auszeichnung der Logik erster Stufe: Die Sätze von Lindström
- Bibliographie
- Autorenregister
- Verzeichnis der Symbole und Abkürzungen