Axiom redukovatelnosti: za zrcadlem paradoxu a co tam Russell našel

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23330%2F13%3A43920223" target="_blank" >RIV/49777513:23330/13:43920223 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Axiom redukovatelnosti: za zrcadlem paradoxu a co tam Russell našel

Popis výsledku v původním jazyce

Rozvětvená teorie typů nedovolovala zobecňování v rámci běžné matematické praxe, proto Russell zavedl axiom redukovatelnosti, podle něhož v daném typu existuje ke každé propoziční funkci vyššího než nultého řádu extenzionálně ekvivalentní predikativní funkce řádu nultého. Historiograficky koncipovaná studie přibližuje povahu axiomu redukovatelnosti v kontextu teorie typů, jež měla být definitivním řešením paradoxů, které otřásly projektem logicismu. Axiom, který se setkal se značnou kritikou, byl zpravidla odmítán jakožto nelogický princip, jehož zavedení mělo pro rozvětvenou hierarchii typů spíše destruktivní efekt. Namísto tradiční kritiky od slovutných autorů (Ramsey, Chwistek, Wittgenstein, Quine) je prezentována Waismannova analýza axiomu, jež pochází z období spolupráce s Wittgensteinem a ukazuje, že axiom redukovatelnosti není logickým axiomem právě proto, že neodpovídá koncepci tautologie proponované v Traktátu. Ačkoliv Waismannův příspěvek poněkud zapadl ve stínu vlastního Wit

Název v anglickém jazyce

Axiom of Reducibility: Through the Looking Glass of Paradox and What Russell Found There

Popis výsledku anglicky

Russell?s ramified type theory did not allow generalising in mathematical practice, which is why Russell introduced the axiom of reducibility that postulated the existence of a predicative function of the lowest order formally equivalent to any propositional function of a higher order. This historiographical paper deals with the nature of the axiom of reducibility ? that Russell expected to eliminate the paradoxes undermining the project of logicism ? in the context of theory of types. The axiom has been intensively criticized as an illogical principle that actually had a destructive effect on the ramified hierarchy of types. Instead of the well-known criticisms by famous thinkers (Ramsey, Chwistek, Wittgenstein, Quine), this paper focuses on Waismann?s analysis of the axiom that originated in the period of his collaboration with Wittgenstein and showed that the axiom is not a logical principle because it does not correspond with the concept of tautology as proposed in the Tractatus. A

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

<a href="/cs/project/GPP401%2F11%2FP097" target="_blank" >GPP401/11/P097: Friedrich Waismann a jeho dílo</a><br>

Návaznosti

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

Rok uplatnění

2013

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 periodika

Filosofický časopis

ISSN

0015-1831

e-ISSN

—

Svazek periodika

2013

Číslo periodika v rámci svazku

mim.č. 2

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

21

Strana od-do

167-187

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—