Aristotelese tees ja tühi tõde klassikalises loogikas
Karmo Talts
Vaatame Aristotelese teesi klassikalise loogika seisukohast. P-st järeldub P eitus siis, kui P on väär. Seega klassikalises loogikas ei ole Aristotelese tees teoreem.
Vaatame nüüd, kas klassikalises loogikas kehtib midagi selle teesi sarnast. Kui P on väär, siis see on tühi tõde, et P-st järeldub P eitus. Seega konditsionaal „kui on nii, et P, siis pole nii, et P” pole mitte-tühi tõde.
Kommentaare ei ole:
Postita kommentaar