Wolfgang Stegmüller

Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit

Mitarbeit:Varga von Kibéd, Matthias

• Broschiertes Buch

Produktdetails

• Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie 3 / B
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-12212-8
• 1983.
• Seitenzahl: 152
• Erscheinungstermin: 1. November 1983
• Deutsch
• Abmessung: 235mm x 155mm x 9mm
• Gewicht: 224g
• ISBN-13: 9783540122128
• ISBN-10: 3540122125
• Artikelnr.: 21783487

Inhaltsangabe

6. Normalformen.- 6.1 Dualform.- 6.2 Adjunktive und konjunktive Normalform.- 6.3 Pränexe Normalform.- 6.4 Skolem-Normalform.- 6.5 Distributive Normalform ("Hintikka-Normalform").- 7. Identität.- 7.1 i-Semantik.- 7.2 Anzahlquantoren.- 7.3 Der Kennzeichnungsoperator.- 8. Theorien.- 8.1 Entscheidbarkeit und Aufzählbarkeit.- 8.2 Theorien erster Stufe.- 8.3 Definitorische Theorieerweiterung.- II. Metalogische Ergebnisse.- 9. Kompaktheit.- 10. Das Fundamentaltheorem der Quantorenlogik.- 11. Analytische und synthetische Konsistenz. Zwei Typen von Vollständigkeitsbeweisen: solche vom Gödel-Gentzen-Typ und solche vom Henkin-Typ.- 12. Unvollständigkeit und Unentscheidbarkeit.