Vasturääkivuse seaduse eitamine ja võimalikkus
Karmo Talts
Vaatame vasturääkivuse seaduse eitamist. Kui me lähtume sellest, et vasturääkivuse seadus ütleb ¬(Pj¬P), siis vasturääkivuse seaduse eitus ütleks, et ¬¬(Pj¬P).
Vaatame, mida vasturääkivuse seaduse eitajad öelda tahavad. Nad ei taha öelda, et kehtib seadus, mille järgi pole nii, et mistahes väide ja selle väite eitus korraga ei kehti. Nad tahavad hoopis öelda, et on võimalik, et vasturääkivused kehtivad.
Vaatame nüüd selle eitust, et on võimalik, et vasturääkivused kehtivad. Selleks eituseks on, et on võimatu, et vasturääkivused kehtivad. Seega tuleb vasturääkivuse seadus formaliseerida modaalloogikas. □¬(PjmP).
No comments:
Post a Comment