Tõe vastavusteooria ja inferentsialismi ühendamine
Karmo Talts
Vaatame võimalusi tõe vastavusteooria ja inferentsialismi ühendamiseks. P on tõene parajasti siis, kui on nii, et P või kui vähemalt üks tõene väide Q tõestab P.
Vaatame nüüd, millal tõene väide Q tõestab P. Tõene Q tõestab P siis, kui on nii, et Q ja Q-st järeldub P, kui on nii, et R ja R-ist järeldub Q ja Q-st järeldub P jne.
Üldistame nüüd. Kui on nii, et R ja R-ist järeldub P ja P tuletamise käigus R-ist kasutatakse Q-d, siis Q tõestab tõese väite P.
Vaatame nüüd paradokse. Paradoksaalse väite P puhul ükski P piisav tingimus Q ei ole kindlaks tehtavalt tegelikkusele vastav väide, ega ei ole tuletatud ühestki kindlaks tehtavalt tegelikkusele vastavast väitest. Seega me ei tea, kas P on tõene.
