Disjunktsiooni sissetoomine, olemasolevad andmed ja vasturääkivus
Karmo Talts
Vaatame disjunktsiooni sissetoomist selle seisukohast, et kui meil on andmeid, et P, siis ei ole nii, et meil pole andmeid, et P. Disjunktsioon „meil on andmeid, et P või on nii, et Q“ on ekvivalentne eitust kui nurjumist kasutava konditsionaali „kui meil pole andmeid, et P, siis me loeme Q tõeseks“-ga.
Vaatame nüüd vasturääkivuse käitumust andmetes selle konditsionaali kasutamisel. P ja mitte-P konjunktsioonist järeldub nii P, kui ka mitte-P. Andmetest, et P, järeldub, et „meil on andmeid, et P või on nii,et Q“. Kuna meil on andmeid, et P siis me ei saa juhul, kui eitus vasturääkivuses on harilik eitus, kasutada disjunktiivset süllogismi ja teha suvalist järeldust.
