Logicism and the Recursion Theorem

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Logicism and the Recursion Theorem

Original language description

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.

Czech name

Logicismus a rekurzivní teorém

Czech description

Hlavním cílem článku je představit Fregův logicismus v duchu Lakatosovy logiky matematického objevu jako smělou domněnku, která byla nakonec vyvrácena. Dále ukážeme, že toto vyvrácení spočívá na jiných a mnohem vážnějších důvodech, než se obvykle předpokládá.

Type

D - Article in proceedings

CEP classification

AA - Philosophy and religion

OECD FORD branch

—

Project

<a href="/en/project/GA401%2F06%2F0387" target="_blank" >GA401/06/0387: Inferentialist foundations of logic and semantics</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

Confidentiality

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

Article name in the collection

The Logica Yearbook 2006

ISBN

978-80-7007-254-7

ISSN

—

e-ISSN

—

Number of pages

10

Pages from-to

127-136

Publisher name

FILOSOFIA

Place of publication

Praha

Event location

—

Event date

—

Type of event by nationality

—

UT code for WoS article

—