In diesem Buch wird die formale Umsetzung einer philosophischen Wahrheitstheorie untersucht.
Seit dem frühen zwanzigsten Jahrhundert wurde eine Reihe von Ansätzen ausgearbeitet die
»Wahrheit« als ein rein sprachliches Werkzeug auffassen dem keine Eigenschaft oder Relation in
der Welt entspricht. Formale Problemstellungen sind für solche deflationistischen Theorien von
besonderem Interesse da die formalen Eigenschaften des Begriffs im Vordergrund stehen. In den
letzten Jahren wurden dabei zwei vielversprechende Ansätze entwickelt die deflationistische
Theorie der »pure disquotational truth« (PDT) formal zu modellieren. Um diese bewerten zu
können müssen zunächst Adäquatheitskriterien für eine formale Modellierung ermittelt werden.
Die Analyse der Ansätze von Hartry Field und JC Beall ermöglicht die Konstruktion der »logic of
transparent truth« (LTT) als eine allgemeine formale Struktur adäquater Theorien der PDT. LTT
ist dabei eine nicht-klassische Logik in der neben eindeutig wahren und falschen Sätzen auch
solche zugelassen werden die sowohl wahr als auch falsch sind und Sätze die durch den
Wahrheitsbegriff nicht bestimmbar sind. Während dies eine Analyse paradoxer Sätze ermöglicht
bleiben klassische Folgerungsbeziehungen für alltägliche Sätze erhalten.
