Continuum, Name, and Paradox

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F10%3A10056984" target="_blank" >RIV/00216208:11210/10:10056984 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/s11229-009-9527-7" target="_blank" >http://dx.doi.org/10.1007/s11229-009-9527-7</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s11229-009-9527-7" target="_blank" >10.1007/s11229-009-9527-7</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Continuum, Name, and Paradox
Popis výsledku v původním jazyce
The article deals with Cantor's argument for the non-denumerability of reals somewhat in the spirit of Lakatos' logic of mathematical discovery. At the outset Cantor's proof is compared with some other famous proofs such as Dedekind's recursion theorem,showing that rather than usual proofs they are resolutions to do things differently. Based on this I argue that there are "ontologically" safer ways of developing the diagonal argument into a full-fledged theory of continuum, concluding eventually that famous semantic paradoxes based on diagonal construction are caused by superficial understanding of what a name is.
Název v anglickém jazyce
Continuum, Name, and Paradox
Popis výsledku anglicky
The article deals with Cantor's argument for the non-denumerability of reals somewhat in the spirit of Lakatos' logic of mathematical discovery. At the outset Cantor's proof is compared with some other famous proofs such as Dedekind's recursion theorem,showing that rather than usual proofs they are resolutions to do things differently. Based on this I argue that there are "ontologically" safer ways of developing the diagonal argument into a full-fledged theory of continuum, concluding eventually that famous semantic paradoxes based on diagonal construction are caused by superficial understanding of what a name is.

Druh
J<sub>x</sub> - 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/GA401%2F06%2F0387" target="_blank" >GA401/06/0387: Inferencialistické základy logiky a sémantiky</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2010
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ů

Podobné výsledky(10)