Další formáty:
BibTeX
LaTeX
RIS
@inbook{637404, author = {Raclavský, Jiří}, address = {Praha}, booktitle = {Meze formalizace, analytičnosti a prostoročasu}, edition = {1}, keywords = {Liar paradox; semantic paradoxes; ramified hierarchy of types; Tichý; transparent intensional logic}, language = {cze}, location = {Praha}, isbn = {978-80-7007-268-4}, pages = {179-207}, publisher = {Filosofia - nakladatelství Filosofického ústavu AV ČR}, title = {Paradox lháře a jeho řešení}, year = {2007} }
TY - CHAP ID - 637404 AU - Raclavský, Jiří PY - 2007 TI - Paradox lháře a jeho řešení VL - mimo edice PB - Filosofia - nakladatelství Filosofického ústavu AV ČR CY - Praha SN - 9788070072684 KW - Liar paradox KW - semantic paradoxes KW - ramified hierarchy of types KW - Tichý KW - transparent intensional logic N2 - 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á. ER -
RACLAVSKÝ, Jiří. Paradox lháře a jeho řešení. In \textit{Meze formalizace, analytičnosti a prostoročasu}. 1. vyd. Praha: Filosofia - nakladatelství Filosofického ústavu AV ČR, 2007, s.~179-207. mimo edice. ISBN~978-80-7007-268-4.
|