Mistahes tõeväärtuste arvuga loogika tõeväärtuste hulga laiendamine ja paradoksid
Karmo Talts
Vaatame võimalust, mistahes tõeväärtuste arvuga loogika tõeväärtuste hulga laiendamiseks. Kui loogikal on tõeväärtused, x,y... jne., siis me võime lisada tõeväärtuse "mitte ükski neist".
Vaatame nüüd paradokse. Suvalist loogikat, mille jaoks on võimalik luua kättemaksulause kujul "sellel väitel pole tõeväärtust x" võib laiendada nii, et selles on tõeväärtus "pole nii, et sellel väitel on tõeväärtus x ega pole nii, et sellel väitel pole tõeväärtust x".
No comments:
Post a Comment