Thursday, October 2, 2025

Materiaalse konditsionaali paradoksid ja väidete hulkade vahelised suhted

Materiaalse konditsionaali paradoksid ja väidete hulkade vahelised suhted

Karmo Talts


Vaatame materiaalse konditsionaali paradokse väidete hulkade vaheliste suhete seisukohast. Paradoksi "kui P, siis Q-st järeldub P", on võimalik mõista nii, et kui eelduste hulgast järeldub P, siis järeldub eelduste hulgast P ka siis, kui me lisame eeldustele Q. Sisuliselt on see paradoks nõrgendamise strukturse reegli väljendus teoreemide tasandil.

Vaatame nüüd selle tähendust disjunktsiooni jaoks. Ilma nõrgendamiseta pole disjunktsioon "kui P, siis Q" enam ekvivalentne konditsionaaliga "pole nii, et P või Q".

 


No comments:

Post a Comment