Transparente Wahrheit

In diesem Buch wird die formale Umsetzung einer philosophischen Wahrheitstheorie untersucht. Seit dem fruhen zwanzigsten Jahrhundert wurde eine Reihe von Ansatzen ausgearbeitet, die Wahrheit als ein rein sprachliches Werkzeug auffassen, dem keine Eigenschaft oder Relation in der Welt entspricht. Formale Problemstellungen sind fur solche deflationistischen Theorien von besonderem Interesse, da die formalen Eigenschaften des Begriffs im Vordergrund stehen. In den letzten Jahren wurden dabei zwei vielversprechende Ansatze entwickelt, die deflationistische Theorie der pure disquotational truth (PDT) formal zu modellieren. Um diese bewerten zu konnen, mussen zunachst Adaquatheitskriterien fur eine formale Modellierung ermittelt werden. Die Analyse der Ansatze von Hartry Field und JC Beall ermoglicht die Konstruktion der logic of transparent truth (LTT) als eine allgemeine formale Struktur adaquater Theorien der PDT. LTT ist dabei eine nicht-klassische Logik, in der neben eindeutig wahren und falschen Satzen auch solche zugelassen werden, die sowohl wahr als auch falsch sind, und Satze, die durch den Wahrheitsbegriff nicht bestimmbar sind. Wahrend dies eine Analyse paradoxer Satze ermoglicht, bleiben klassische Folgerungsbeziehungen fur alltagliche Satze erhalten.