This is a test
- 257 Seiten
- German
- PDF
- Über iOS und Android verfügbar
eBook - PDF
Axiomatische Wahrheitstheorien
Angaben zum Buch
Inhaltsverzeichnis
Quellenangaben
Häufig gestellte Fragen
Gehe einfach zum Kontobereich in den Einstellungen und klicke auf „Abo kündigen“ – ganz einfach. Nachdem du gekündigt hast, bleibt deine Mitgliedschaft für den verbleibenden Abozeitraum, den du bereits bezahlt hast, aktiv. Mehr Informationen hier.
Derzeit stehen all unsere auf Mobilgeräte reagierenden ePub-Bücher zum Download über die App zur Verfügung. Die meisten unserer PDFs stehen ebenfalls zum Download bereit; wir arbeiten daran, auch die übrigen PDFs zum Download anzubieten, bei denen dies aktuell noch nicht möglich ist. Weitere Informationen hier.
Mit beiden Aboplänen erhältst du vollen Zugang zur Bibliothek und allen Funktionen von Perlego. Die einzigen Unterschiede bestehen im Preis und dem Abozeitraum: Mit dem Jahresabo sparst du auf 12 Monate gerechnet im Vergleich zum Monatsabo rund 30 %.
Wir sind ein Online-Abodienst für Lehrbücher, bei dem du für weniger als den Preis eines einzelnen Buches pro Monat Zugang zu einer ganzen Online-Bibliothek erhältst. Mit über 1 Million Büchern zu über 1.000 verschiedenen Themen haben wir bestimmt alles, was du brauchst! Weitere Informationen hier.
Achte auf das Symbol zum Vorlesen in deinem nächsten Buch, um zu sehen, ob du es dir auch anhören kannst. Bei diesem Tool wird dir Text laut vorgelesen, wobei der Text beim Vorlesen auch grafisch hervorgehoben wird. Du kannst das Vorlesen jederzeit anhalten, beschleunigen und verlangsamen. Weitere Informationen hier.
Ja, du hast Zugang zu Axiomatische Wahrheitstheorien von Volker Halbach im PDF- und/oder ePub-Format sowie zu anderen beliebten Büchern aus Mathematik & Wahrscheinlichkeitsrechnung & Statistiken. Aus unserem Katalog stehen dir über 1 Million Bücher zur Verfügung.
Information
Inhaltsverzeichnis
- I Grundlagen
- 1 Explikationen von Wahrheit
- 2 Das Kategorieproblem
- 3 Metamathematik der Wahrheit
- II Die Basistheorie
- 4 Rekursive Funktionen
- 5 Arithmetisierung
- 6 Beweistheoretische Reduktionen
- III Klassische Wahrheitstheorien
- 7 Partielle Wahrheitsprädikate
- 8 Wahrheitstheorien für arithmetische Sprachen
- 9 Konservativität
- 10 Wahrheit und arithmetische Komprehension
- IV Wahrheitsklassen
- 11 Nonstandardmodelle
- 12 Lachlans Theorem
- 13 Partielle Wahrheitsklassen
- 14 Vollständige Wahrheitsklassen
- V Iterierte Wahrheitstheorien
- 15 Objekt- und Metasprachen
- 16 Tarski-Hierarchien
- 17 Definierbarkeit in Tarski-Hierarchien
- 18 Ein System iterierter Wahrheit
- 19 Unfundierte Hierarchien
- 20 Burges Hierarchien
- VI Typfreie Wahrheit
- 21 Selbstreferentielle Wahrheit
- 22 Einige Inkonsistenzen
- 23 Typfreie Tarski-Bikonditionale
- VII Kripkes Wahrheitstheorie und ihre Axiomatisierungen
- 24 Kripkes Wahrheitstheorie
- 25 Kripke-Feferman-Theorien
- 26 Supervaluation
- VIII Systeme vollständiger und konsistenter Wahrheit
- 27 Klassische symmetrische Wahrheit
- 28 Revisionssemantik und FS
- 29 Beweistheorie von FS
- IX Philosophische Aspekte
- 30 Kompositionalität
- 31 Der reflektive Abschluß von PA
- 32 Paradoxien
- 33 Ontologische Reduktion
- Literatur
- Register