Dieser Satz ist falsch.
Ist der Satz nun wahr oder falsch? Wenn er wahr ist, dann sagt der Satz ‚Dieser Satz ist falsch‘ eine Wahrheit aus, das heißt jedoch, dass eben dieser Satz falsch sein muss, um wahr zu sein, also ist er falsch. Das kann aber natürlich nicht sein, da wir angenommen haben, dass er wahr sein soll. Also muss die zweite Möglichkeit richtig sein, er muss falsch sein, oder? Wenn der Satz ‚Dieser Satz ist falsch' falsch ist, sagt er von sich selbst aus, dass er nicht falsch ist und somit wäre er wahr, obwohl wir doch festgelegt haben, dass er falsch sein soll. Egal ob der Satz falsch oder wahr ist, wir kommen nicht weiter. Einen solchen Satz nennt man einen Lügner-Paradox.
Aber bevor wir überhaupt darüber reden können, wie es denn sein kann, dass es solche Sätze geben kann, muss erst einmal über die Grundlage geredet werden: Formale Wahrheitstheorien. Denn um darüber zu reden ob etwas wahr oder falsch ist, brauchen wir eine funktionstüchtige Wahrheitstheorie. Aber wie muss eine solche Theorie aussehen und welche Desiderata sollte sie im Optimalfall besitzen?
In dem Artikel „What Theories of Truth Should be Like (but Cannot be)” beschreibt Hannes Leitgeb acht Desiderata die eine formale Wahrheitstheorie haben sollte. Darunter fallen beispielsweise die Forderungen nach einem Wahrheitsprädikat oder nach einer klassischen äußeren Logik. Im Folgenden werden zuerst diese Desiderata vorgestellt und erklärt. Danach werden wir auf die Frage zurückkommen, wie es denn sein kann, dass es Sätze wie das Lügner-Paradox geben kann und somit welche Inkonsistenzen es zwischen den Desiderata gibt. Schlussendlich wollen wir noch abwägen, ob man verschiedene Desiderata nach Kategorien einteilen kann und somit auch verschieden gewichten kann. Ist es beispielsweise wichtiger ein Wahrheitsprädikat in seiner Theorie zu haben oder ist es doch vorzuziehen seine Theorie in klassischer Logik zu formulieren? Können wir überhaupt die verschiedenen Desiderata untereinander vergleichen und somit sagen welche Wahrheitstheorie besser ist als eine andere? Diese Fragen sollen in den kommenden Seiten geklärt werden.
Inhaltsverzeichnis
1. Einleitung: Wahrheit ist ein Lügner
2. Wie Wahrheitstheorien sein sollten
a) Das Wahrheitsprädikat
b) Theoreme sollen wahr sein
c) Keine Typenrestriktionen
d) Uneingeschränkte Beweisbarkeit von T-Bikonditionale
e) Kompositionalität
f) Standardmodell
g) Übereinstimmen der äußeren und inneren Logik
h) Klassische äußere Logik
3. Warum Wahrheitstheorien aber nicht so sein können
4. Wie soll man sich für eine Wahrheitstheorie entscheiden?
i) Notwendige Desiderata
ii) Intuitive Desiderata
iii) System-Desiderata
5. Fazit: Die ewige Suche nach Wahrheit(stheorien)
Zielsetzung & Themen
Die vorliegende Arbeit untersucht die von Hannes Leitgeb definierten acht Desiderata für eine formale Wahrheitstheorie. Ziel ist es, diese Anforderungen auf ihre Konsistenz zu prüfen, die philosophischen Herausforderungen beim Versuch ihrer gleichzeitigen Erfüllung darzulegen und Kriterien für eine fundierte Wahl zwischen verschiedenen widersprüchlichen Wahrheitstheorien zu erarbeiten.
- Analyse der acht zentralen Desiderata für Wahrheitstheorien
- Untersuchung von Inkonsistenzen anhand des Lügner-Paradoxons
- Darstellung kollidierender Anforderungen wie Standardmodell und Kompositionalität
- Kategorisierung der Desiderata in notwendig, intuitiv und systemisch
- Bewertung der Gewichtung einzelner Anforderungen bei der Theoriewahl
Auszug aus dem Buch
d) Uneingeschränkte Beweisbarkeit von T-Bikonditionale
Fangen hier damit an zu klären was ein T-Bikonditional eigentlich ist. Ein bekanntes Beispiel für so ein T-Bikonditional ist der Fall ‚Tr(‚Schnee ist weiß‘) genau dann, wenn Schnee weiß ist‘. Nun ist dies nicht mehr als ein Äquivalenzsatz der uns aussagt, dass wenn x in unserer Theorie vorhanden ist, dann ist x auch wahr und umgekehrt. Alle Sätze in unserer Theorie, die T-Bikonditionale sind, haben die Form des T-Schemas ‚Tr(‚A‘) genau dann, wenn A‘. Aber warum sind T-Bikonditionale so wichtig für formale Wahrheitstheorien?
„Tarski was the first to notice the methodological importance of the T-scheme: his idea was to define truth, i.e. to state a definition of the form ‘Tr(x) if and only if…’, and then to test the semantic adequacy of this definition by checking whether all T-biconditionals for the language for which truth is to be defined are derivable from it. If not, the definition is deficient.” 15
Nehmen wir einmal an, dass das T-Bikonditional nicht uneingeschränkt ableitbar ist, beispielweise bei unseren obigen Satz ‚Tr(‚Schnee ist weiß‘) genau dann, wenn Schnee weiß ist.‘. Was würde passieren? Es könnte sein, dass ‚Tr(‚Schnee ist weiß‘)‘ nicht in unserer Theorie wäre, obwohl ‚Schnee ist weiß‘ gelten würde. Nun ist dies jedoch nicht vereinbar mit unserem Wahrheitsprädikat. Ähnlich zu b) wollen wir, dass ‚Tr‘ uns Sätze, die in unserer Theorie ableitbar sind, als wahr anzeigt, und vor allem nicht als falsch, sonst hätten wir gar keinen Grund überhaupt ein Wahrheitsprädikat zu unserer Theorie hinzuzufügen.
Zusammenfassung der Kapitel
1. Einleitung: Wahrheit ist ein Lügner: Die Einführung erläutert anhand des Lügner-Paradoxons die Problematik formaler Wahrheitstheorien und führt in die Arbeit ein.
2. Wie Wahrheitstheorien sein sollten: In diesem Kapitel werden acht Grundanforderungen für ideale Wahrheitstheorien wie Wahrheitsprädikat, Konsistenz und klassische Logik vorgestellt.
3. Warum Wahrheitstheorien aber nicht so sein können: Hier wird aufgezeigt, dass die acht Anforderungen bei gleichzeitiger Anwendung in Inkonsistenzen münden, weshalb Theorien einzelne Bedingungen opfern müssen.
4. Wie soll man sich für eine Wahrheitstheorie entscheiden?: Dieser Abschnitt kategorisiert die acht Desiderata in notwendige, intuitive und System-Desiderata, um eine systematische Priorisierung bei der Theoriewahl zu ermöglichen.
5. Fazit: Die ewige Suche nach Wahrheit(stheorien): Das abschließende Kapitel fasst zusammen, dass eine perfekte formale Wahrheitstheorie kaum ohne Verluste realisierbar ist und die Wahl einer Theorie von den zugrunde liegenden Prämissen abhängt.
Schlüsselwörter
Wahrheitstheorie, Formale Logik, Wahrheitsprädikat, T-Bikonditional, Lügner-Paradox, Kompositionalität, Standardmodell, Klassische Logik, Hannes Leitgeb, Desiderata, Semantik, Inkonsistenz, Metasprache, Tarski, System-Desiderata.
Häufig gestellte Fragen
Worum geht es in dieser Hausarbeit grundsätzlich?
Die Arbeit befasst sich mit den theoretischen Grundlagen formaler Wahrheitstheorien und analysiert die Anforderungen, die Logiker wie Hannes Leitgeb an diese Theorien stellen.
Was sind die zentralen Themenfelder der Arbeit?
Die Arbeit behandelt Themen wie das Wahrheitsprädikat, das T-Schema, logische Konsistenz, die Unterscheidung zwischen innerer und äußerer Logik sowie das Problem der Standardmodelle.
Was ist das primäre Ziel der Forschungsarbeit?
Das Ziel ist es, die acht von Leitgeb aufgestellten Desiderata zu analysieren, ihre inhaltlichen Konflikte aufzuzeigen und eine methodische Kategorisierung zu entwickeln, um die Wahl zwischen unterschiedlichen logischen Systemen zu erleichtern.
Welche wissenschaftliche Methode wird in der Arbeit verwendet?
Es handelt sich um eine analytisch-philosophische Untersuchung, die sich auf Literaturanalyse, die formale Überprüfung logischer Modelle und die argumentationsbasierte Kategorisierung stützt.
Was wird im Hauptteil der Arbeit behandelt?
Der Hauptteil gliedert sich in die Vorstellung der acht Desiderata, die Identifikation von Paradoxien und Inkonsistenzen bei deren gemeinsamer Erfüllung sowie die Einteilung der Desiderata in notwendige, intuitive und System-Kategorien.
Welche Schlüsselbegriffe charakterisieren die Arbeit?
Die wichtigsten Begriffe sind Wahrheitstheorien, Lügner-Paradoxon, T-Bikonditionale, Desiderata und Logik-Typen.
Warum ist das T-Bikonditional für eine Theorie so entscheidend?
Das T-Bikonditional bildet die semantische Grundlage ("wahr gdw."), an der gemessen wird, ob eine gewählte Wahrheitstheorie das Prädikat "wahr" korrekt und adäquat auf Sätze anwenden kann.
Inwiefern beeinflussen System-Desiderata die Wahl einer Logik?
System-Desiderata wie eine klassische äußere Logik verändern das gesamte logische Grundgerüst einer Theorie; ihre Wahl zwingt den Theoretiker dazu, entweder die Logik selbst einzuschränken oder andere intuitive Anforderungen aufzugeben.
- Quote paper
- Thomas Beetz (Author), 2022, Die Suche nach Wahrheit. Hannes Leitgeb über Desiderata formaler Wahrheitstheorien, Munich, GRIN Verlag, https://www.grin.com/document/1234646
