Sobald die Wahrheit ernsthaft als Beziehung zwischen Denken und Welt betrachtet wird, beginnt die gesamte philosophische Maschinerie zu arbeiten. Man muss zunächst fragen, was für eine Art von Ding wahr ist. Ist es ein Satz, ein Proposition, ein Glaube, ein Urteil oder vielleicht eine Aussage, die in einem Kontext geäußert wird? Verschiedene Traditionen antworten unterschiedlich, aber die Unterscheidung ist wichtig, denn Wahrheit ist nicht im Abstrakten verfügbar. Ein Satz in Englisch, ein Gedanke im Geist und eine mathematische Formel funktionieren nicht ganz auf die gleiche Weise. Theorien der Wahrheit sind daher auch Theorien von Bedeutung und Referenz.
Aristoteles' knappe Darstellung in der Metaphysik gibt nur den Anfang. Die mittelalterliche Tradition erweiterte sie zu einer umfassenderen Lehre, in der die Wahrheit, in einem Sinne, zur Angemessenheit des Intellekts gegenüber dem Ding gehört. Thomas von Aquin gab dieser Darstellung ihre berühmte lateinische Form, aber der Punkt war nicht nur scholastische Eleganz. Sie verband die Wahrheit mit der Metaphysik: Wenn Wesen intelligibel sind, dann kann der Intellekt an ihnen gemessen werden. Wahrheit ist somit keine menschliche Erfindung, sondern eine Teilhabe am Sein.
Die moderne Periode veränderte die Bedingungen. Descartes suchte nach Gewissheit, indem er alles bezweifelte, was bezweifelt werden konnte, und nur das behielt, was in den Meditationen klarer und deutlicher Wahrnehmung überdauerte. Dieser Schritt wies die Wahrheit nicht zurück; er schärfte ihre Bedingungen. Um wahrhaftig zu wissen, benötigte man ein Fundament, das durch skeptische Möglichkeiten nicht erschüttert werden konnte. In der Tat wurde Gewissheit das höchste praktische Merkmal der Wahrheit. Doch dies war ein anspruchsvoller Standard, und die Spannung, die er erzeugte, würde die nachfolgende Philosophie über Jahrhunderte prägen.
Spinoza bot in der Ethik ein auffallend anderes Bild. Wahrheit war für ihn nicht von einem göttlichen Zeugen außerhalb des Systems verliehen, sondern aus einem inneren, rationalen Ordnung erleuchtet. Angemessene Ideen sind wahr, weil sie Dinge durch ihre Ursachen erfassen. Je mehr der Geist Notwendigkeit versteht, desto weniger ist er der verworrenen Vorstellung ausgeliefert. Hier vertieft sich das System: Wahrheit ist nicht nur mit Korrespondenz, sondern auch mit erklärender Kraft verbunden. Ein Glaube spiegelt nicht nur ein Faktum wider; er kann mehr oder weniger angemessen sein, um zu erfassen, warum das Faktum so ist.
Kant verwandelte das Problem erneut. In der Kritik der reinen Vernunft argumentierte er, dass menschliches Wissen durch Formen und Kategorien strukturiert ist, die Erfahrung möglich machen. Dies machte einfachen Realismus über Wahrheit schwerer zu verteidigen, da die erlebte Welt bereits durch unser kognitives Apparatus geprägt ist. Doch Kant gab die Wahrheit nicht auf; er verlegte ihre Bedingungen. Die Frage wurde nicht, ob das Denken außerhalb aller Formen treten kann, sondern wie objektives Urteil innerhalb dieser Formen möglich ist. Dies ist eine der großen Überraschungen in der Geschichte der Wahrheit: Je mehr Philosophen die Rolle des Geistes untersuchten, desto mehr erkannten sie, dass Wahrheit ohne ihn nicht verstanden werden kann, auch wenn sie nicht von ihm geschaffen wird.
Aus einer anderen Richtung kam die Kohärenztheorie, die oft mit idealistischen Traditionen assoziiert wird. Nach dieser Auffassung ist ein Glaube wahr, insofern er in ein systematisch verbundenes Ganzes von Überzeugungen passt. Die Anziehungskraft ist offensichtlich. Keine einzelne Wahrnehmung steht allein; Urteile werden durch Netzwerke von Inferenz, Erinnerung und Theorie gestützt. Ein Glaube, der von allen anderen isoliert ist, wäre epistemisch inert. Doch Kohärenz allein scheint zu permissiv. Eine intern konsistente Fiktion kann Fiktion bleiben. Daher mag Kohärenz ein notwendiges Merkmal wahrheitsfähiger Systeme sein, ohne für die Wahrheit selbst ausreichend zu sein.
Die pragmatische Tradition unternahm einen weiteren Versuch. Peirce, James und Dewey betrachteten die Untersuchung als einen Prozess, der auf Überzeugungen gerichtet ist, die sich unter fortgesetzter Untersuchung und Handlung als stabil erweisen würden. Die überraschende Wendung hier ist, dass Wahrheit weniger wie ein statischer Spiegel wird und mehr wie das Ende verantwortungsvoller Untersuchung. Ein Glaube erlangt Geltung nicht nur, indem er in einem Moment passt, sondern indem er Prüfungen über Zeit und Praxis übersteht. Dies half, die Wahrheit mit Fallibilismus zu verbinden: Man kann die Wahrheit ernsthaft verfolgen, ohne Allwissenheit zu erwarten.
Frege und die Entwicklung der modernen Logik veränderten das Terrain auf eine andere Weise. Sobald die Logik mit größerer Präzision formalisiert wurde, wurde die Wahrheit ein Ziel für semantische Analyse. Die Semantik von Propositionen, Quantoren und Inferenz zeigte, dass Wahrheit eine Rolle bei der Wahrung der Gültigkeit über komplexe Strukturen spielt, nicht nur in alltäglichen Aussagen. Später machte Alfred Tarski dies in einer formalen Theorie der Wahrheit für formale Sprachen explizit, indem er verlangte, dass jede angemessene Theorie die Bedingung erfüllt, dass ein Satz wie "Schnee ist weiß" genau dann wahr ist, wenn Schnee weiß ist. Das scheinbar triviale Schema verbarg eine bedeutende Errungenschaft: Es trennte Objektsprache von Metasprache und half, die Wahrheit mathematisch handhabbar zu machen.
Doch das System muss über abstrakte Logik hinausreichen. In der Wissenschaft wird die Wahrheit durch Vorhersage, Messung und Experiment getestet; in der Geschichte durch dokumentarische Spuren und Bestätigung; im Recht durch Beweise und Standards der Beweisführung. Jedes Gebiet passt den Begriff an seine eigenen Methoden an. Ein wissenschaftliches Modell kann idealisiert und dennoch in relevanten Aspekten wahr sein; eine historische Behauptung kann wahr sein, weil die besten Beweise sie über jeden vernünftigen Zweifel hinaus unterstützen; ein rechtliches Urteil kann für ein Urteil ausreichend wahr sein, ohne metaphysisch sicher zu sein. Dasselbe Wort regiert daher unterschiedliche epistemische Schwellen.
Dies gibt der Wahrheit ihre volle Reichweite und ihre volle Schwierigkeit. Die Welt kann auf unterschiedlichen Granularitätsstufen beschrieben werden, und die Wahrheit muss irgendwie alle von ihnen berücksichtigen, ohne in Relativismus zu zerfallen. Eine Wettervorhersage, ein Volkszählungsbericht, ein Theorem und eine moralische Warnung verlangen nicht identische Standards, doch alle appellieren an eine Unterscheidung zwischen richtig und falsch. Das System der Wahrheit ist also kein einzelner Mechanismus, sondern eine Familie von Praktiken, die durch die Hoffnung verbunden sind, dass Urteile der Realität Rechnung tragen können.
In ihrer weitesten Ausdehnung lädt die Theorie zu einer letzten Frage ein: Wenn Wahrheit der Standard ist, nach dem alle Untersuchungen gemessen werden, was geschieht, wenn der Standard selbst nur durch die Urteile, die er zu bewerten bestimmt ist, zugänglich zu sein scheint? Dort beginnen die stärksten Einwände.