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

List of contents

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.

Product details

• Authors: Matthias Varga von Kibéd, Wolfgang Stegmüller
• Assisted by: Wolfgang Stegm¿ller (Editor), Wolfgan Stegmüller (Editor), Wolfgang Stegmüller (Editor)
• Publisher: Springer, Berlin
• Languages: German
• Product format: Paperback / Softback
• Released: 01.01.1960
• EAN: 9783540122128
• ISBN: 978-3-540-12212-8
• No. of pages: 143
• Dimensions: 154 mm x 232 mm x 10 mm
• Weight: 224 g
• Illustrations: 143 S.
• Sets: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Studienausgabe; Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Studienausgabe
• Series: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie; Strukturtypen der Logik
• Subjects: Natural sciences, medicine, IT, technology > Mathematics > Basic principles; Non-fiction book > Philosophy, religion > Miscellaneous