Konditsionaal, mis ei eelda järelduse kehtivust vasturääkivuse korral

Konditsionaal, mis ei eelda järelduse kehtivust vasturääkivuse korral 

Karmo Talts

 

Vaatame, milline konditsionaal ei eelda konditsionaali järelduse kehtimist vasturääkivuse korral. Kui konditsionaal on ekvivalentne disjunktsiooniga "pole nii, et P või P-st ei järeldu mateerialset konditsionaali kasutades vasturääkivus ja Q", siis saab Q olla väär siis, kui meie andmetel P kehtib, juhul, kui meie andmetes on vasturääkivus.
Vaatame nüüd, kuidas sõnastada kooskõlalise tõe skeem. Kui meil on bikonditsionaal, mis on tõene siis, kui "pole nii, et P või P-st ei järeldu mateerialset konditsionaali kasutade vasturääkivus ja Q" ja "pole nii, et Q või Q-st ei järeldu mateerialset konditsionaali kasutade vasturääkivus ja P", siis on P kooskõlaliselt tõene parajasti siis, kui P.