"Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die ... und Analytischen Philosophie, 3 / C) - Taschenbuch
2013, ISBN: 9783540122135
Springer, Taschenbuch, Auflage: 1984, 160 Seiten, Publiziert: 2013-10-04T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: black & white illustrations, 0.52 kg, Verkaufsrang: 1813923, Logik… Mehr…
amazon.de |
Selbstreferenz Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström - Taschenbuch
ISBN: 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* - Selbstrefer… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Schneller Versand nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 3540122133
Fnac.com : Selbstreferenz. Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström - … Mehr…
Fnac.com Nr. 3-13476630. Versandkosten:, Le délai dépend du marchand, zzgl. Versandkosten. 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 - Taschenbuch
1983, ISBN: 9783540122135
[ED: Taschenbuch], [PU: Springer Berlin], DE, [SC: 0.00], Neuware, gewerbliches Angebot, 235x155 mm, 149, [GW: 254g], 1984
booklooker.de verschiedene Anbieter Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die ... / Strukturtypen der Logik) (German Edition) - Taschenbuch
1984, ISBN: 9783540122135
Springer, 1983-11-22. 1984. Paperback. Used:Good., Springer, 1983-11-22, 0
Biblio.co.uk |
"Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die ... und Analytischen Philosophie, 3 / C) - Taschenbuch
2013, ISBN: 9783540122135
Springer, Taschenbuch, Auflage: 1984, 160 Seiten, Publiziert: 2013-10-04T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: black & white illustrations, 0.52 kg, Verkaufsrang: 1813923, Logik… Mehr…
Matthias Varga von Kibéd:
Selbstreferenz Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström - TaschenbuchISBN: 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* - Selbstrefer… Mehr…
ISBN: 3540122133
Fnac.com : Selbstreferenz. Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström - … Mehr…
Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström - Taschenbuch
1983, ISBN: 9783540122135
[ED: Taschenbuch], [PU: Springer Berlin], DE, [SC: 0.00], Neuware, gewerbliches Angebot, 235x155 mm, 149, [GW: 254g], 1984
Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die ... / Strukturtypen der Logik) (German Edition) - Taschenbuch
1984, ISBN: 9783540122135
Springer, 1983-11-22. 1984. Paperback. Used:Good., Springer, 1983-11-22, 0
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): 9783540122135
ISBN (ISBN-10): 3540122133
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1984
Herausgeber: Springer Berlin Heidelberg
Gewicht: 0,252 kg
Sprache: ger/Deutsch
Buch in der Datenbank seit 2007-06-12T20:38:44+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-03-20T14:23:39+01:00 (Vienna)
ISBN/EAN: 9783540122135
ISBN - alternative Schreibweisen:
3-540-12213-3, 978-3-540-12213-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: varga stegmüller, stegmüller wolfgang, matthias varga von kibed, stegmller, varga von kibd, stegmueller, stegmuller, tarski, wolf, matthias varga von kibéd
Titel des Buches: analytische philosophie, beiden, probleme resultate wissenschaftstheorie analytischen philosophie, probleme und resultate der wissenschaftstheorie iii, semantik, philosophie der tat, errata, algebraische ana, lindstrm, wah, satz und behandlung, band, reihe resultate, tre, problem philosophie, abstrakt, selbstreferenz, lindström, die wahrheit, von der wahrheit, sätze, abstrakte algebra, studienausgabe, tarski, strukturtypen der logik teil
Daten vom Verlag:
Autor/in: Wolfgang Stegmüller
Titel: Strukturtypen der Logik; Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie; 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: 1983-11-01
Berlin; Heidelberg; DE
Gewicht: 0,254 kg
Sprache: Deutsch
17,95 € (DE)
18,46 € (AT)
22,54 CHF (CH)
POD
149 S.
BC; Mathematical Logic and Foundations; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Beweis; Lemma; Logik; Relativierung; Sätze von Lindström; Tarski; Wahrheit; Äquivalenz; Mathematical Logic and Foundations; Mathematische Grundlagen; EA
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:
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 (Wolfgang Stegmuller)
- 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 (Wolfgang Stegmuller)
- 9783540118060 Das Dritte Dogma des Empirismus Das ABC der modernen Logik und Semantik Der Begriff der Erklärung und seine Spielarten (Probleme und Resultate der ... und Analytischen Philosophie, 1 / A) (Wolfgang Stegmüller)
< zum Archiv...