Väidete taandamine hulkadele, tõesus, väärus ja valetaja paradoks
Karmo Talts
Taandame väite selle kohta, et P-l on tõeväärtus x, hulgale, mille liikmeteks on P-d tõeväärtusega x. See, et see väide on tõene, taandub siis sellele, et P-de tõeväärtusega x hulgal on liige ja see, et see väide on väär taandub sellele, et P-de tõeväärtusega x hulk on tühi.
Vaatame nüüd valetajalauset. Valetajalause taandub hulgale, mille liikmeteks on väärad valetajalaused. Kui valetajalause on tõene, siis on ta liikmeks väär valetajalause. Kuna väär valetajalause on väär väide valetajalause tõeväärtuse kohta, siis taandub väär valetajalause tühjale hulgale. Seega on tõese valetajalause liikmeks tühi hulk. Kui valetajalause on väär, siis on väärade valetajalausete hulk tühi. Kuna väär valetajalause taandub tühjale hulgale, siis on tühjade hulkade hulk tühi.
No comments:
Post a Comment