Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Studienausgabe - 3/B: Strukturtypen der Logik. Tl.B - Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit

Inhaltsverzeichnis

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.

Produktdetails

• Autoren: Matthias Varga von Kibéd, Wolfgang Stegmüller
• Mitarbeit: Wolfgang Stegm¿ller (Herausgeber), Wolfgan Stegmüller (Herausgeber), Wolfgang Stegmüller (Herausgeber)
• Verlag: Springer, Berlin
• Sprache: Deutsch
• Produktform: Taschenbuch
• Erschienen: 01.01.1960
• EAN: 9783540122128
• ISBN: 978-3-540-12212-8
• Seiten: 143
• Abmessung: 154 mm x 232 mm x 10 mm
• Gewicht: 224 g
• Illustration: 143 S.
• Reihen: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Studienausgabe; Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Studienausgabe
• Serien: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie; Strukturtypen der Logik
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Mathematik > Grundlagen; Sachbuch > Philosophie, Religion > Sonstiges