Strukturtypen der Logik
Springer Berlin (Verlag)
978-3-540-12210-4 (ISBN)
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.
Erscheint lt. Verlag | 1.11.1983 |
---|---|
Reihe/Serie | Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie |
Co-Autor | Matthias Varga von Kibed |
Zusatzinfo | XV, 526 S. |
Verlagsort | Berlin |
Sprache | deutsch |
Maße | 155 x 235 mm |
Gewicht | 982 g |
Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
Schlagworte | Analytische Philosophie • Äquivalenz • Berechenbarkeitstheorie • Beweis • Kalkül • Kardinalzahl • Kompaktheitssatz • Lemma • Logik • Löwenheim-Skolem-Theorem • Mathematische Logik • Mengenlehre • Relativierung • Sätze von Lindström • Semantik • Sequenzenkalkül • Wissenschaftstheorie |
ISBN-10 | 3-540-12210-9 / 3540122109 |
ISBN-13 | 978-3-540-12210-4 / 9783540122104 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich