RACLAVSKÝ, Jiří. Paradox lháře a jeho řešení (The Paradox of Liar and Its Solutions). In Meze formalizace, analytičnosti a prostoročasu. 1st ed. Praha: Filosofia - nakladatelství Filosofického ústavu AV ČR, 2007, p. 179-207. mimo edice. ISBN 978-80-7007-268-4.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Paradox lháře a jeho řešení
Name in Czech Paradox lháře a jeho řešení
Name (in English) The Paradox of Liar and Its Solutions
Authors RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution).
Edition 1. vyd. Praha, Meze formalizace, analytičnosti a prostoročasu, p. 179-207, 29 pp. mimo edice, 2007.
Publisher Filosofia - nakladatelství Filosofického ústavu AV ČR
Other information
Original language Czech
Type of outcome Chapter(s) of a specialized book
Field of Study 60300 6.3 Philosophy, Ethics and Religion
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14210/07:00020006
Organization unit Faculty of Arts
ISBN 978-80-7007-268-4
Keywords in English Liar paradox; semantic paradoxes; ramified hierarchy of types; Tichý; transparent intensional logic
Tags liar paradox, ramified hierarchy of types, semantic paradoxes, Tichý, transparent intensional logic
Tags International impact, Reviewed
Changed by Changed by: Ing. Mgr. Zdeňka Jastrzembská, Ph.D., učo 11408. Changed: 10/4/2011 15:38.
Abstract
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á.
Abstract (in English)
After historical recapitulation of already suggested solutions to liar paradox with showing its disadvantages I examine the solution proposed by Pavel Tichý. Tichý showed by means of his transparent intensional logic which incorporates (generalized) ramified hierarchy of types that axiom of reducibility enables to restore the liar paradox what was not recognized by Russell. Tichý points out that to generate the paradox it is necessary to add a premise to which language the liar sentence belongs. However, there are brute facts that a language of a certain order cannot involve its own name as meaningful and this disable to discuss properties related to the language itself. Hence the predicate "not-true" cannot be in a language of order n meaningfully applied sentences of that language, liar sentence is thus meaningless.
Links
GP401/07/P280, research and development projectName: Singulární termíny - filosofie a logika
Investor: Czech Science Foundation, Singular Terms - Philosophy and Logic
PrintDisplayed: 7/6/2024 19:01