Tõeskeem, mis võtab arvesse eristust designeeritud ja designeerimata tõdede vahel, ja paradoksid

Tõeskeem, mis võtab arvesse eristust designeeritud ja designeerimata tõdede vahel, ja paradoksid 

Karmo Talts

 

Vaatame selle tähendust, et designeeritud tõe ja designeerimata tõe eristuse korral peab tõeskeem seda arvesse võtma. P on designeeritult tõene või P on mitte-designeeritult tõene parajasti siis, kui P.

Vaatame nüüd tugevdatud valetajalauset. Kui tugevdatud valetajalause pole tõene, siis ta on designeeritult tõene või ta pole designeeritult tõene. Kui ta on designeeritult tõene, siis temast tulenevad järeldused on tõesed ja ta on ta väär. Seega tugevdatud valetajalause pole designeeritult tõene. 

Vaatame nüüd, kas designeeritud tõe jaoks on võimalik sõnastada kättemaksulauset. Kui väide "see väide pole designeeritult tõene" pole designeeritult tõene, siis ta on designeeritult tõene või ta on mitte-designeeritult tõene. Kui on designeeritult tõene või ta on mitte-designeeritult tõene ja ta pole designeeritult tõene, siis ta on mitte-designeeritult tõene.