Väite eituse ja väite tõestatavuse suhe ja paradoksid
Karmo Talts
Vaatame P eitust P tõestatavuse seisukohast. Kui P eitus on tõene ja samas on P tõestatav, siis on väärus tõestatav. Seega P eitusest järeldub, et P-d pole võimalik tõestada.
Vaatame nüüd paradokse. Kui me saame korraga tõestada paradoksaalse väite eituse ja paradoksaalse väite, siis me saame korraga tõestada paradoksaalse väite ja tõestada, et me ei saa paradoksaalset väidet tõestada.
Vaatame nüüd ühte võimalust paradokse lahendada. Kui sellest, et atomaarsele lausele rakendub üks või paaritu arv eitusi, järeldub, et seda väidet pole võimalik tõestada, siis saab atomaarse väite eituse absurdsust tõestada ainult juhul, kui P-le ei rakendu paaritu arv eitusi.
No comments:
Post a Comment