Axiom of Reducibility: Through the Looking Glass of Paradox and What Russell Found There
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Axiom redukovatelnosti: za zrcadlem paradoxu a co tam Russell našel
Original language description
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
Czech name
Axiom redukovatelnosti: za zrcadlem paradoxu a co tam Russell našel
Czech description
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
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GPP401%2F11%2FP097" target="_blank" >GPP401/11/P097: Friedrich Waismann and his Writings</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Filosofický časopis
ISSN
0015-1831
e-ISSN
—
Volume of the periodical
2013
Issue of the periodical within the volume
mim.č. 2
Country of publishing house
CZ - CZECH REPUBLIC
Number of pages
21
Pages from-to
167-187
UT code for WoS article
—
EID of the result in the Scopus database
—