Logicismus a rekurzivní teorém

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F07%3A00000771" target="_blank" >RIV/00216208:11210/07:00000771 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Logicism and the Recursion Theorem

Popis výsledku v původním jazyce

The main objective of the paper is to portray Frege's logicism in the spirit of Lakatos' logic of mathematical discovery as a bold conjecture eventually rejected. The second aim consist in showing that this rejection was based on different and more serious reasons than we are usually told.

Název v anglickém jazyce

Logicism and the Recursion Theorem

Popis výsledku anglicky

The main objective of the paper is to portray Frege's logicism in the spirit of Lakatos' logic of mathematical discovery as a bold conjecture eventually rejected. The second aim consist in showing that this rejection was based on different and more serious reasons than we are usually told.

Druh

D - Stať ve sborníku

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í

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 statě ve sborníku

The Logica Yearbook 2006

ISBN

978-80-7007-254-7

ISSN

—

e-ISSN

—

Počet stran výsledku

10

Strana od-do

127-136

Název nakladatele

FILOSOFIA

Místo vydání

Praha

Místo konání akce

—

Datum konání akce

—

Typ akce podle státní příslušnosti

—

Kód UT WoS článku

—