Paradokside-kindlad vääruseskeemid ja tõde
Karmo Talts
Vaatame, millise vääruseskeemi puhul saab paradoksaalne väide olla väär ilma, et tekiks paradoks. See on nii, kui P on väär parajasti siis, kui mingi disjunktsioon on tõene, sest siis järeldub P väärusest see disjunktsioon ja isegi siis, kui üks selle disjunktsiooni osaväide on paradoksaalne, pole disjunktsioon ise paradoksaalne.
Sõnastame nüüd mõned vääruseskeemi kandidaadid. P on väär parajasti siis, kui pole nii, et P või P-st järeldub vasturääkivus. P on väär parajastis siis, kui pole nii, et P või P on vasturääkiv.
Vaatame nüüd vastavaid tõesuskeeme. P on tõene parajasti siis, kui P ja P-st ei järeldu vasturääkivus. P on tõene parajasti siis, kui P ja P pole vasturääkiv.
No comments:
Post a Comment