ISBN: 9783642617263
*Selbstreferenz Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström* - Auflage 198… Mehr…
Hugendubel.de Versandkosten:In stock (Download), , Schneller Versand nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 9783642617263
Selbstreferenz Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström ab 12.99 € als … Mehr…
Hugendubel.de Versandkosten:In stock (Download), , Schneller Versand nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 9783642617263
*Selbstreferenz Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström* / pdf eBook f… Mehr…
Hugendubel.de Versandkosten:In stock (Download), , Schneller Versand nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
2013, ISBN: 9783642617263
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… Mehr…
Weltbild.de Nr. 103812157. Versandkosten:, 2-5 Werktage, DE. (EUR 0.00) Details... |
ISBN: 9783642617263
There is currently no description available, Springer
Springer.com Nr. 978-3-642-61726-3. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Selbstreferenz Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström - neues Buch
ISBN: 9783642617263
*Selbstreferenz Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström* - Auflage 198… Mehr…
ISBN: 9783642617263
Selbstreferenz Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström ab 12.99 € als … Mehr…
ISBN: 9783642617263
*Selbstreferenz Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström* / pdf eBook f… Mehr…
2013, ISBN: 9783642617263
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… Mehr…
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - Selbstreferenz Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström
EAN (ISBN-13): 9783642617263
Erscheinungsjahr: 2013
Herausgeber: Springer-Verlag GmbH
Buch in der Datenbank seit 2017-04-04T21:16:02+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-04-11T12:34:01+02:00 (Zurich)
ISBN/EAN: 9783642617263
ISBN - alternative Schreibweisen:
978-3-642-61726-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: stegmüller wolfgang
Titel des Buches: die wahrheit, logik und semantik, von der wahrheit, die behandlung, sätze, die beiden
Daten vom Verlag:
Autor/in: Wolfgang Stegmüller
Titel: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie; Strukturtypen der Logik; Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström
Verlag: Springer; Springer Berlin
149 Seiten
Erscheinungsjahr: 2013-12-12
Berlin; Heidelberg; DE
Sprache: Deutsch
12,99 € (DE)
12,99 € (AT)
18,00 CHF (CH)
Available
149 S.
EA; E107; eBook; Nonbooks, PBS / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Beweis; Lemma; Logik; Relativierung; Sätze von Lindström; Tarski; Wahrheit; Äquivalenz; B; Mathematical Logic and Foundations; Mathematical Logic and Foundations; Mathematics and Statistics; Mathematische Grundlagen; BC
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.3 Elementar ä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.- (A) Präliminarien.- (B) Abstrakte logische Systeme.- (C) Komparative Ausdrucksstärke abstrakter logischer Systeme.- (D) Regularität: Wünschenswerte Eigenschaften abstrakter logischer Systeme.- (E) Für den Vergleich mit LI, relevante Eigenschaften logischer 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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540122135 Selbstreferenz Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström (Matthias Varga von Kibéd)
- 9783540122135 Selbstreferenz Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström (Matthias Varga von Kibéd)
- 9783540118114 Statistische Erklärungen. Deduktiv-nomologische Erklärungen in präzisen Modellsprachen Offene Probleme (Wolfgang Stegmüller)
- 9783540118060 Das dritte Dogma des Empirismus Das ABC der modernen Logik und Semantik Der Begriff der Erklärung und seine Spielarten (Wolfgang Stegmüller)
- Statistische Erklärungen. Deduktiv-nomologische Erklärungen in präzisen Modellsprachen. Offene Probleme. (Stegmüller, Wolfgang.)
- Das dritte Dogma des Empirismus. Das ABC der modernen Logik und Semantik. Der Begriff der Erklärung und seine Spielarten. 2., verbess. und erweit. A. (Stegmüller, Wolfgang)
< zum Archiv...