Kontrafaktuaalne piirang bikonditsionaalide tõesusele

Kontrafaktuaalne piirang bikonditsionaalide tõesusele
Karmo Talts

Sõnastame järgmise piirangu bikonditsionaalide tõesusele: bikonditsionaal on tõene ainult siis, kui igas võimalikus maailmas, kus bikonditsionaali mõlema osaväite eeldused on tõesed, on mõlema bikondistionaali järeldus tõene ja ei teki vasturääkivust.
Sõnastame nüüd oma bikonditsionaalide piirangu ümber definitsioonide jaoks. Korrektselt on defineeritud mõiste x, mis käib objektide predikaadiga P kohta, siis, kui igas võimalikus maailmas, kus leidub objekte predikaadiga P, käib x-i mõiste nende kohta ja ei teki vasturääkivust.  
Vaatame nüüd selle tähendust paradokside jaoks. Maailm, kus asjad on nii, nagu valetajalause ütleb ja valetajalause on väär, sisaldab vasturääkivust. Maailm, kus heteroloogiline heteroloogilisuse mõiste ei kirjelda ennast, on vasturääkiv. See tähendab, et valetajalause on vigaselt sõnastatud ja heteroloogilisuse mõiste vigaselt defineeritud.