Grelling Nelsoni paradoksi kättemaksuversioon vasturääkivusi lubava loogika jaoks
Karmo Talts
Defineerime mõiste "kooskkõlaliselt heteroloogiline". Mõiste on kooskõlaliselt heteroloogiline siis, kui väide, et see mõiste käib enda kohta, on ainult väär.
Vaatame nüüd seda mõistet loogika, kus on tõeväärtused ainult tõene, ainult väär ja korraga tõene ja väär, seisukohast Kui väide, et kooskõlaliselt heteroloogilne mõiste käib enda kohta, on ainult tõene, siis on see väide ainult väär. Kui see väide on ainult väär, on see väide tõene. Ja kui see väide on korraga tõene ja väär, siis on see väide tõene ja seega ainult väär.
No comments:
Post a Comment