Konsistentsuse eitus ja paradokside kättemaksulaused
Karmo Talts
Võtame kasutusele selle, et väide on konsistentne, eituse.
Eeldame nüüd, et ebakonsistentsetel väidetel ja nende klassikalistel eitustel pole tõeväärtust. Me saame järgmise tõeväärtustabeli (ma tähistan konsitentsuse eitus e-ga):
P ¬P eP
T V V
V T V
- - T
Vaatame nüüd kahekordset konsistentsuse eitust. Kui väitele P rakendub kahekordne konsistentsuse eitus, siis pole P konsistentsuse eitusel ja selle, et P-le peaks rakenduma konsistentsuse eitus, klassikalisel eitusel tõeväärtust. See ei anna meile alust midagi järelda ei P tõeväätuse, ega P klassikalise eituse tõeväärtuse kohta.
P ¬P eP ¬eP eeP
T V V T V
V T V T V
- - T V V
? ? - - T
Vaatame nüüd paradokside kättemaksulauseid. Konsistentsuse eitus rakendub lõpmatu kättemaksulausete ahela viimasele lülile ja meil pole alust midagi järeldada kättemaksulausete, mis jäävad lõpmatu pika ahela viimasest lülist lõpmatu kaugele, kohta.
Kommentaare ei ole:
Postita kommentaar