Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström

AvWolfgang Stegmüller

Häftad, Tyska, 1983

Del i serien Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie

191 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1983-11-01
Mått:155 x 235 x 9 mm
Vikt:254 g
Format:Häftad
Språk:Tyska
Serie:Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie
Antal sidor:149
Upplaga:1984
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540122135

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

13. Selbstreferenz, Tarski-Sätze 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 Gödel.- 13.3 Vorbereitung für höhere Systeme: Normbildung mittels Gödel-Entsprechungen und semantische Normalität.- 13.4 Das arithmetische System SAr und die arithmetische Undefinierbarkeit der arithmetischen Wahrheit.- Anhang 1. Henkin-Sätze 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 Einführung.- 14.1.2 Symbolmengen und Sprachen erster Stufe im Rahmen der abstrakten Semantik.- 14.1.3 Gewöhnhche und volle semantische Strukturen.- 14.1.4 Abstrakte Bewertungssemantik. Modellbeziehung und logische Folgerung.- 14.1.5 Das Lemma über Kontextfreiheit (Koinzidenzlemma).- 14.1.6 Das Substitutionslemma.- 14.1.7 Reine Interpretationssemantik.- 14.2 Elemente der abstrakten Defmitionstheorie.- 14.2.1 Definitionen bezüglich Satzmengen.- 14.2.2 Definitionsmengen. Die eindeutige Existenz von Defmitionserweiterungen.- 14.2.3 Das Theorem über Eliminierbarkeit und Nichtkreativität.- 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 Träger, 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 Äquivalenz und Isomorphie-Arten.- 14.4.1 Isomorphe Strukturen.- 14.4.2 Das Isomorphielemma.- 14.4.3Elementar äquivalente Strukturen. Die semantische Theorie einer Struktur.- 14.4.4 Isomorphie, elementare Äquivalenz, Defmitionserweiterungen und relationale Strukturen.- 14.4.5 Präpartielle 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 Äquivalenz.- 14.5 Der Satz von Fraissé.- 14.5.1 Intuitive Motivation und Formulierung.- 14.5.2 Reduktion auf den relationalen Fall.- 14.5.3 Beweis der ersten Hälfte des Theorems von Fraissé.- 14.5.4 Beweis der zweiten Hälfte des Theorems von Fraissé.- 15. Auszeichnung der Logik erster Stufe: Die Sätze von Lindström.- 15.1 Abstrakte logische Systeme.- 15.2 Der erste Satz von Lindström.- 15.3 Der zweite Satz von Lindström.- Anhang. Zum Satz von Trachtenbrot.- Bibliographie.- Autorenregister.- Verzeichnis der Symbole und Abkürzungen.

Mer från samma författare

Unvollständigkeit und Unentscheidbarkeit

Wolfgang Stegmüller

Häftad, 1973

621 kr

Teleologie, Funktionalanalyse und Selbstregulation (Kybernetik)

Matthias Varga von Kibéd, Wolfgang Stegmüller

Häftad, 1982

690 kr

Wissenschaftssprache, Signifikanz und theoretische Begriffe

Wolfgang Stegmüller

Häftad, 1970

144 kr

Beobachtungssprache, theoretische Sprache und die partielle Deutung von Theorien

Wolfgang Stegmüller

Häftad, 1970

192 kr

Neue Betrachtungen über Aufgaben und Ziele der Wissenschaftstheorie. Wahrscheinlichkeit—Theoretische Begriffe—Induktion. Das ABC der modernen Wahrscheinlichkeitstheorie und Statistik

Wolfgang Stegmüller

Häftad, 1973

469 kr

Entscheidungslogik

Wolfgang Stegmüller

Häftad, 1973

263 kr

Carnap II: Normative Theorie des induktiven Räsonierens

Wolfgang Stegmüller

Häftad, 1973

294 kr

‚Jenseits von Popper und Carnap‘ Stützungslogik, Likelihood, Bayesianismus Statistische Daten Zufall und Stichprobenauswahl Testtheorie Schätzungstheorie Subjektivismus kontra Objektivismus Fiduzial-Wahrscheinlichkeit

Wolfgang Stegmüller

Häftad, 1973

469 kr

‚Statistische Begründung und statistische Analyse‘ statt ‚Statistische Erklärung‘ Indeterminismus vom zweiten Typ Das Repräsentationsthoerem von de Finetti Metrisierung qualitativer Wahrscheinlichkeitsfelder

Wolfgang Stegmüller

Häftad, 1973

263 kr

Statistische Erklärungen Deduktiv-nomologische Erklärungen in präzisen Modellsprachen Offene Probleme

Matthias Varga von Kibéd, Wolfgang Stegmüller

Häftad, 1982

690 kr

Mer från samma serie

Teleologie, Funktionalanalyse und Selbstregulation (Kybernetik)

Matthias Varga von Kibéd, Wolfgang Stegmüller

Häftad, 1982

690 kr

Erfahrung, Festsetzung, Hypothese und Einfachheit in der wissenschaftlichen Begriffs- und Theorienbildung

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Häftad, 1970

263 kr

Wissenschaftssprache, Signifikanz und theoretische Begriffe

Wolfgang Stegmüller

Häftad, 1970

144 kr

Beobachtungssprache, theoretische Sprache und die partielle Deutung von Theorien

Wolfgang Stegmüller

Häftad, 1970

192 kr

Neue Betrachtungen über Aufgaben und Ziele der Wissenschaftstheorie. Wahrscheinlichkeit—Theoretische Begriffe—Induktion. Das ABC der modernen Wahrscheinlichkeitstheorie und Statistik

Wolfgang Stegmüller

Häftad, 1973

469 kr

Entscheidungslogik

Wolfgang Stegmüller

Häftad, 1973

263 kr

Carnap II: Normative Theorie des induktiven Räsonierens

Wolfgang Stegmüller

Häftad, 1973

294 kr

‚Jenseits von Popper und Carnap‘ Stützungslogik, Likelihood, Bayesianismus Statistische Daten Zufall und Stichprobenauswahl Testtheorie Schätzungstheorie Subjektivismus kontra Objektivismus Fiduzial-Wahrscheinlichkeit

Wolfgang Stegmüller

Häftad, 1973

469 kr

‚Statistische Begründung und statistische Analyse‘ statt ‚Statistische Erklärung‘ Indeterminismus vom zweiten Typ Das Repräsentationsthoerem von de Finetti Metrisierung qualitativer Wahrscheinlichkeitsfelder

Wolfgang Stegmüller

Häftad, 1973

263 kr

Statistische Erklärungen Deduktiv-nomologische Erklärungen in präzisen Modellsprachen Offene Probleme

Matthias Varga von Kibéd, Wolfgang Stegmüller

Häftad, 1982

690 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Kausalitätsprobleme, Determinismus und Indeterminismus Ursachen und Inus-Bedingungen Probabilistische Theorie und Kausalität

Wolfgang Stegmüller

Häftad, 1982

366 kr

Theoriendynamik Normale Wissenschaft und wissenschaftliche Revolutionen Methodologie der Forschungsprogramme oder epistemologische Anarchie?

Wolfgang Stegmüller

Häftad, 1985

263 kr

Realismus und Strukturalismus. Anwendungen: Literaturtheorie. Tauschwirtschaft. Entscheidungstheorie. Neurosentheorie. Kapital- und Mehrwerttheorie

Wolfgang Stegmüller

Häftad, 1985

303 kr

Personelle und Statistische Wahrscheinlichkeit

Wolfgang Stegmüller

Häftad, 2011

570 kr

Theorie und Erfahrung

Wolfgang Stegmüller

Häftad, 2011

467 kr

Erklärung, Voraussage, Retrodiktion Diskrete Zustandssysteme und diskretes Analogon zur Quantenmechanik Das ontologische Problem Naturgesetze und irreale Konditionalsätze Naturalistische Auflösung des Goodman-Paradoxons

Wolfgang Stegmüller

Häftad, 1982

294 kr

-19%

Stortaxi

Flora Wiström

Inbunden, 2026

(6)

209 kr259 kr

Neuer intuitiver Zugang zum strukturalistischen Theorienkonzept. Theorie-Elemente. Theoriennetze. Theorienevolutionen

Wolfgang Stegmüller

Häftad, 1985

315 kr

‚Jenseits von Popper und Carnap‘ Stützungslogik, Likelihood, Bayesianismus Statistische Daten Zufall und Stichprobenauswahl Testtheorie Schätzungstheorie Subjektivismus kontra Objektivismus Fiduzial-Wahrscheinlichkeit

Wolfgang Stegmüller

Häftad, 1973

469 kr

Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström

AvWolfgang Stegmüller

Häftad, Tyska, 1983

Del i serien Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie

191 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1983-11-01
Mått:155 x 235 x 9 mm
Vikt:254 g
Format:Häftad
Språk:Tyska
Serie:Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie
Antal sidor:149
Upplaga:1984
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540122135

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

13. Selbstreferenz, Tarski-Sätze 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 Gödel.- 13.3 Vorbereitung für höhere Systeme: Normbildung mittels Gödel-Entsprechungen und semantische Normalität.- 13.4 Das arithmetische System SAr und die arithmetische Undefinierbarkeit der arithmetischen Wahrheit.- Anhang 1. Henkin-Sätze 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 Einführung.- 14.1.2 Symbolmengen und Sprachen erster Stufe im Rahmen der abstrakten Semantik.- 14.1.3 Gewöhnhche und volle semantische Strukturen.- 14.1.4 Abstrakte Bewertungssemantik. Modellbeziehung und logische Folgerung.- 14.1.5 Das Lemma über Kontextfreiheit (Koinzidenzlemma).- 14.1.6 Das Substitutionslemma.- 14.1.7 Reine Interpretationssemantik.- 14.2 Elemente der abstrakten Defmitionstheorie.- 14.2.1 Definitionen bezüglich Satzmengen.- 14.2.2 Definitionsmengen. Die eindeutige Existenz von Defmitionserweiterungen.- 14.2.3 Das Theorem über Eliminierbarkeit und Nichtkreativität.- 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 Träger, 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 Äquivalenz und Isomorphie-Arten.- 14.4.1 Isomorphe Strukturen.- 14.4.2 Das Isomorphielemma.- 14.4.3Elementar äquivalente Strukturen. Die semantische Theorie einer Struktur.- 14.4.4 Isomorphie, elementare Äquivalenz, Defmitionserweiterungen und relationale Strukturen.- 14.4.5 Präpartielle 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 Äquivalenz.- 14.5 Der Satz von Fraissé.- 14.5.1 Intuitive Motivation und Formulierung.- 14.5.2 Reduktion auf den relationalen Fall.- 14.5.3 Beweis der ersten Hälfte des Theorems von Fraissé.- 14.5.4 Beweis der zweiten Hälfte des Theorems von Fraissé.- 15. Auszeichnung der Logik erster Stufe: Die Sätze von Lindström.- 15.1 Abstrakte logische Systeme.- 15.2 Der erste Satz von Lindström.- 15.3 Der zweite Satz von Lindström.- Anhang. Zum Satz von Trachtenbrot.- Bibliographie.- Autorenregister.- Verzeichnis der Symbole und Abkürzungen.