Tõestatavuse skeem ja paradoksid
Karmo Talts
Sõnastame Tarski skeemist nõrgema skeemi "väide, et P on tõene, on tõestatav parajasti siis, kui P on tõestatav".
Vaatame nüüd, kas paradoksaalsed väited on tõestatavad. Kuna juhul, kui nad on tõestatavad, siis on vasturääkivus tõestatav, pole paradoksaalsed väited tõestatavad.
Kommentaare ei ole:
Postita kommentaar