Tühjade tõdede eristamine mitte-tühjadest tõdedest
Karmo Talts
Vaatame, mida annaks tühjade tõdede eristamine mitte-tühjadest tõdedest.
Kui meie eelduste hulk sisaldab eeldust, et konditsionaal "kui P, siis
Q" on tühjalt tõene ja eeldust, et P on tõene, siis on meie eelduste
hulk vasturääkiv. Kui meie järelduste sisaldab järeldust, et
konditsionaal "kui P, siis Q" on tühjalt tõene ja järeldust, et P on
tõene, siis on vähemalt üks meie eeldustest väär.
No comments:
Post a Comment