Transparente Wahrheit: Nicht-Klassische Modelle Disquotationanalistischer Theorien

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.