„Filosofijos pagrindai II“ Teisingumo problema
Formalių sistemų teisingumas - ganėtinai sudėtinga problema palyginus su turiningu posakiu kaip „Dabar lyja". Pirmąja teisingumo koncepcija buvo aristoteliškoji korespondencijos teorija (atitikimo), anot kurios teisingas yra žinojimas, atitinkantis tikrovę. Vargu ar kas nors mėgins ginčyti šią tezę. Tačiau akivaizdu, kad ši koncepcija susiduria su dideliais sunkumais. Konkrečiai, analitiniai posakiai ir tautologijos išvis nieko netvirtina apie tikrovę, nors yra teisingos. Akivaizdu, kad aristoteliškas atitikimo principas priklauso tik empiriniam žinojimui. Bet ir tai dar ne viskas. Metafiziniai posakiai kaip „Pasaulis laike ir erdvėje baigtinis/begalinis" taip pat už teisingumo ribų, jei jį traktuoti kaip Aristotelis. Šiuolaikinis amerikiečių filosofas Donaldas Devidsonas kritikuoja korespondencijos koncepciją, teigdamas, kad negalima nustatyti žinojimo ir faktų atitikimo be kalbos. Be kalbos, jo nuomone, nėra nei atitikimo, nei pačių faktų. Visiškai sutinku su Devidsonu kalbos vaidmens atžvilgiu. Bet Aristotelis kalba apie atitikimą, kuris nepanaikina kalbos vaidmens. Kritikuodamas Aristotelį, Devidsonas norėjo ne tik įtvirtinti teisėse neklasikines tiesos koncepcijas, bet ir suteikti joms pirmumą. Nemanau, kad jis dėl to teisus. Neklasikiniai tiesos kriterijai galioja tik tiek, kiek aptariamas žinojimas atitinka tikrovę. Nesvarbu kokios koncepcijos teisingumo besilaikant, žinojimo atitikimas tikrovę yra lemiantis. Todėl neklasikinės traktuotės mano požiūriu nepanaikina klasikinės atitikimo teorijos, būdamos pagalbiniais tiesos kriterijais, ją papildo.