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

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F07%3A00020006" target="_blank" >RIV/00216224:14210/07:00020006 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

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

Popis výsledku v původním jazyce

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á.

Název v anglickém jazyce

The Paradox of Liar and Its Solutions

Popis výsledku anglicky

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.

Druh

C - Kapitola v odborné knize

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

<a href="/cs/project/GP401%2F07%2FP280" target="_blank" >GP401/07/P280: Singulární termíny - filosofie a logika</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2007

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název knihy nebo sborníku

Meze formalizace, analytičnosti a prostoročasu

ISBN

978-80-7007-268-4

Počet stran výsledku

29

Strana od-do

—

Počet stran knihy

304

Název nakladatele

Filosofia - nakladatelství Filosofického ústavu AV ČR

Místo vydání

Praha

Kód UT WoS kapitoly

—