Tõelised vasturääkivused ja vasturääkivustest tulenevad järeldused
Karmo Talts
Eeldame, et tõelised vasturääkivused on olemad ja vaatame neid. Need kas erinevad vormilt mittetõelisest vasturääkivusest või mitte.
Vaatame võimalust, et need erinevad vormilt mittetõelistest vasturääkivutest. Sel juhul pole arvatavate tõeliste vasturääkivuste puhul tegu vasturääkivustega.
Vaatame võimalust, et need ei erine mittetõelistest vasturääkivustest. Sel juhul kas leidub meetod vasturääkivustrest eeldustest tõeste järelduste tegemiseks või mitte.
Eeldame nüüd, et leidub meetod vasturääkivatest eeldustest tõeste järelduste tegemiseks. Sel juhul pole vaja vältida ka mittetõeseid vasturääkivusi, sest neist saab sammuti tuletada tõeseid järeldusi.
Eeldame nüüd, et sellist meetodi ei leidu. Sel juhul tekivad tõelistest vasturääkivutest järelduste tegemisega samad probleemid, mis mittetõelistest vasturääkivustest järelduste tegemisega.
No comments:
Post a Comment