Soriitide paradoks ja konditsionaalide tõestamine

Soriitide paradoks ja konditsionaalide tõestamine 

Karmo Talts

Vaatame eeldust, et kui x-i juuksekarvaga inimene pole kiilas, siis x miinus ühe juuksekarvaga inimene pole kiilas. See on konditsionaal ja konditsionaali tõestatakse näidates, et konditsionaali eeldusest saab tuletada konditsionaali järelduse.
Vaatame nüüd eeldust, et x-i juuksekarvaga inimene pole kiilas. See tõestab midagi ainult nende mittekiilaste inimeste kohta, kellel on x juuksekarva ja midagi nende x-ist erineva juustekarva arvuga inimeste kohta, kes on kiilad. x miinus ühe juukarvaga inimesel ei ole x juuksekarva. Seega järeldub midagi sellest, et x-i juuksekarvaga inimene pole kiilas, x miinus ühe juuksakarvaga inimeste kohta siis, kui x miinus ühe juuksekarvaga inimesed on kiilad. Kui sellest, et inimesel on x miinus üks juuksekarva, ei järeldu, et inimene on kiilas, siis ei tõesta see, et inimesel on x juuksekarva, midagi inimeste kohta, kellel on x miinus üks juuksekarva. Kui sellest, et inimesel on x miinus üks juuksekarva järeldub, et inimene on kiilas, siis ei saa eeldus, et x-i juuksekarvaga inimene pole kiilas, tõestada seda, et x miinus ühe juuksekarvaga inimene pole kiilas.