Normalformen ; Identität und Kennzeichnung ; Theorien und definitorische Theorie-Erweiterungen ; Kompaktheit ; Magische Mengen ; Fundamentaltheorem ; Analytische und synthetische Konsistenz ; Unvollständigkeit und Unentscheidbarkeit
著者
書誌事項
Normalformen ; Identität und Kennzeichnung ; Theorien und definitorische Theorie-Erweiterungen ; Kompaktheit ; Magische Mengen ; Fundamentaltheorem ; Analytische und synthetische Konsistenz ; Unvollständigkeit und Unentscheidbarkeit
（Probleme und Resultate der Wissenschaftstheorie und analytischen Philosophie, Bd. 3 . Strukturtypen der Logik ; Studienausgabe,
Springer-Verlag, 1984
- : pbk
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
目次
6. Normalformen.- 6.1 Dualform.- 6.2 Adjunktive und konjunktive Normalform.- 6.3 Pranexe Normalform.- 6.4 Skolem-Normalform.- 6.5 Distributive Normalform ("Hintikka-Normalform").- 7. Identitat.- 7.1 i-Semantik.- 7.2 Anzahlquantoren.- 7.3 Der Kennzeichnungsoperator.- 8. Theorien.- 8.1 Entscheidbarkeit und Aufzahlbarkeit.- 8.2 Theorien erster Stufe.- 8.3 Definitorische Theorieerweiterung.- II. Metalogische Ergebnisse.- 9. Kompaktheit.- 9.0 Smullyans Behandlung von Bewertungs- und Interpretationssemantik.- 9.1 Allgemeines. Ein "direkter"(synthetischer) Beweis des Kompaktheitssatzes..- 9.2 Deduzierbarkeitsversion des Kompaktheitssatzes.- 9.3 Analytische oder "Goedel-Gentzen"-Varianten des Kompaktheitstheorembeweises.- 9.4 Synthetische oder "Lindenbaum-Henkin"-Varianten des Kompaktheitstheorembeweises.- 9.5 Eine analytische Variante des Beweises von Lindenbaum.- 10. Das Fundamentaltheorem der Quantorenlogik.- 10.1 Smullyans magische Mengen.- 10.1.1 Regulare Mengen.- 10.1.2 Magische Mengen.- 10.1.3 Kompaktheitstheorem. Loewenheim-Skolem-Theorem.- 10.2 Das Fundamentaltheorem der Quantorenlogik (Abstrakte Fassung des Satzes von Herbrand).- 10.3 Ein Beweis des Fundamentaltheorems auf der Grundlage des Baumverfahrens.- 10.4 Direkter und verscharfter Vollstandigkeitsbeweis des axiomatischen Kalkuls A.- 11. Analytische und synthetische Konsistenz. Zwei Typen von Vollstandigkeitsbeweisen: solche vom Goedel-Gentzen-Typ und solche vom Henkin-Typ.- 11.1 Formale Konsistenz in axiomatischen Kalkulen und analytische Konsistenz..- 11.2 Analytisches Konsistenz-Erfullbarkeitstheorem und Goedelsche Vollstandigkeit.- 11.3 Formale Konsistenz in axiomatischen Kalkulen und synthetische Konsistenz..- 11.4 Synthetisches Konsistenz-Erfullbarkeitstheorem und Henkinsche Vollstandigkeit.- 12. Unvollstandigkeit und Unentscheidbarkeit.- 12.0 Vorbemerkungen.- 12.1 Sprachen erster Stufe.- 12.2 Theorien erster Stufe.- 12.3 Die Theorie erster Stufe N.- 12.4 Berechenbarkeit und Entscheidbarkeit.- 12.4.1 Intuitive Vorbemerkungen zu den Begriffen der Aufzahlbarkeit, Entscheidbarkeit und Berechenbarkeit.- 12.4.2 Rekursive Funktionen und Pradikate.- 12.5 Sequenzzahlen.- 12.6 Ausdruckszahlen.- 12.7 Formale Reprasentierbarkeit.- 12.8 Unentscheidbarkeit und Unvollstandigkeit.
「Nielsen BookData」 より