Paradox lháře a jeho řešení

Logo poskytovatele
Autoři

RACLAVSKÝ Jiří

Rok publikování 2007
Druh Kapitola v knize
Fakulta / Pracoviště MU

Filozofická fakulta

Citace
Popis Po rekapitulaci stávajících přístupů k řešení paradoxu lháře a jejich potíží je prozkoumáno řešení Pavla Tichého, jehož Transparentní intenzionální logika integruje rozvětvenou teorii typů. Tichý ukázal, že axiómem reducibility jde (což si Russell neuvědomil) paradox obnovit. Tichý ukazuje, že na to, aby paradox vůbec vznikl, musí být stanoveno, jakého jazyka má být lhářská věta součástí. Pak ale jsou tu tvrdá fakta, že žádný jazyk (určitého řádu) nemůže obsahovat coby významuplné své vlastní jméno a tudíž nemůže v sobě diskutovat k sobě vztažené vlastnosti. Proto "být nepravdivý" nemůže být v jazyce určitého řádu takové, aby bylo smysluplně aplikovatelné na věty jazyka tohoto řádu, lhářská věta je takto významuprázdná.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.