Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit ; Abstrakte Semantik und algebraische Behandlung der Logik ; Die beiden Sätze von Lindström
著者
書誌事項
Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit ; Abstrakte Semantik und algebraische Behandlung der Logik ; Die beiden Sätze von Lindström
(Probleme und Resultate der Wissenschaftstheorie und analytischen Philosophie, Bd. 3 . Strukturtypen der Logik ; Studienausgabe,
Springer-Verlag, 1984
- : pbk
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
目次
13. Selbstreferenz, Tarski-Satze und die Undefinierbarkeit der Wahrheit.- 13.0. Intuitive Vorbetrachtungen.- 13.1 Die Minimalsysteme So, SoL und SP.- 13.2 Miniaturfassungen der Theoreme von Tarski und Goedel.- 13.3 Vorbereitung fur hoehere Systeme: Normbildung mittels Goedel-Entsprechungen und semantische Normalitat.- 13.4 Das arithmetische System SAr und die arithmetische Undefinierbarkeit der arithmetischen Wahrheit.- Anhang 1. Henkin-Satze und semantische Konsistenz.- Anhang 2. Diagonalisierung versus Normbildung.- 14. Abstrakte Semantik: Semantische Strukturen und ihre Isomorphie-Arten.- 14.0 Vorbemerkung.- 14.1 Abstrakte Bewertungs- und Interpretationssemantik.- 14.1.1 Motivation und intuitive Einfuhrung.- 14.1.2 Symbolmengen und Sprachen erster Stufe im Rahmen der abstrakten Semantik.- 14.1.3 Gewoehnhche und volle semantische Strukturen.- 14.1.4 Abstrakte Bewertungssemantik. Modellbeziehung und logische Folgerung.- 14.1.5 Das Lemma uber Kontextfreiheit (Koinzidenzlemma).- 14.1.6 Das Substitutionslemma.- 14.1.7 Reine Interpretationssemantik.- 14.2 Elemente der abstrakten Defmitionstheorie.- 14.2.1 Definitionen bezuglich Satzmengen.- 14.2.2 Definitionsmengen. Die eindeutige Existenz von Defmitionserweiterungen.- 14.2.3 Das Theorem uber Eliminierbarkeit und Nichtkreativitat.- 14.2.4 Informeller und abstrakter Defmitionsbegriff.- 14.3 Substrukturen, Relativierungen, relationale Strukturen.- 14.3.1 S-Redukte und S-Expansionen.- 14.3.2 S-abgeschlossene Trager, Substrukturen und Superstrukturen.- 14.3.3 Die P-Relativierung einer Formel.- 14.3.4 Das Relativierungstheorem.- 14.3.5 Relationale Strukturen und das Relationalisierungstheorem.- 14.4 Elementare AEquivalenz und Isomorphie-Arten.- 14.4.1 Isomorphe Strukturen.- 14.4.2 Das Isomorphielemma.- 14.4.3 Elementar aquivalente Strukturen. Die semantische Theorie einer Struktur.- 14.4.4 Isomorphie, elementare AEquivalenz, Defmitionserweiterungen und relationale Strukturen.- 14.4.5 Prapartielle Isomorphismen.- 14.4.6 Endlich isomorphe Strukturen.- 14.4.7 Partiell isomorphe Strukturen.- 14.4.8 m-isomorphe Strukturen.- 14.4.9 Quantorenrang.- 14.4.10 Der Zusammenhang von m-Isomorphie und Quantorenrang.- 14.4.11 Die Beziehungen zwischen den verschiedenen Isomorphie-Arten und der elementaren AEquivalenz.- 14.5 Der Satz von Fraisse.- 14.5.1 Intuitive Motivation und Formulierung.- 14.5.2 Reduktion auf den relationalen Fall.- 14.5.3 Beweis der ersten Halfte des Theorems von Fraisse.- 14.5.4 Beweis der zweiten Halfte des Theorems von Fraisse.- 15. Auszeichnung der Logik erster Stufe: Die Satze von Lindstroem.- 15.1 Abstrakte logische Systeme.- (A) Praliminarien.- (B) Abstrakte logische Systeme.- (C) Komparative Ausdrucksstarke abstrakter logischer Systeme.- (D) Regularitat: Wunschenswerte Eigenschaften abstrakter logischer Systeme.- (E) Fur den Vergleich mit LI, relevante Eigenschaften logischer Systeme.- 15.2 Der erste Satz von Lindstroem.- 15.3 Der zweite Satz von Lindstroem.- Anhang. Zum Satz von Trachtenbrot.- Bibliographie.- Autorenregister.- Verzeichnis der Symbole und Abkurzungen.
「Nielsen BookData」 より