Konditsionaalid, mille eelduseks on, et leidub paradoksaalne objekt, ja eituse sisse toomine

Konditsionaalid, mille eelduseks on, et leidub paradoksaalne objekt, ja eituse sisse toomine 

Karmo Talts

Vaatame konditsionaali "kui leidub x, siis leidub x predikaatidega Q ja mitte-Q". Sellest konditsionaalist saab sisse tuua väite, et leidub x, eituse.
Vaatame nüüd selle tähendust paradokside jaoks. Konditsionaalist "kui leidub valetajalause, siis leidub väide, mis on korraga tõene ja väär" järeldub, et ei leidu valetajalauset. Konditsionaalist "kui leidub hetreoloogilisuse mõiste, siis leidub mõiste, mis korraga käib ja ei käi enda kohta" järeldub, et ei leidu hetreoloogilisuse mõistet.  Konditsionaalist "kui leidub kõigi hulkade, mis ei kuulu endasse, hulk, siis leidub hulk, mis korraga kuulub ja ei kuulu endasse" järeldub, et ei leidu   kõigi hulkade, mis ei kuulu endasse, hulka.