Synthetic Concepts A Priori

Result code in IS VaVaI

RIV/67985955:_____/05:00020970 - isvavai.cz

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Synthetic Concepts A Priori

Original language description

Concepts are explicated as objective procedures ("constructions" in transparent intensional logic). All mathematical concepts are a priori. Analytic mathematical concepts are effective procedures that compute some recursive functions. Synthetic mathematical concepts either identify a non-recursive function or identify a recursive function in a non-effective way. There are more synthetic concepts a priori than analytic concepts a priori.

Czech name

Syntetické pojmy a priori

Czech description

Pojmy jsou explikovány jako objektivní procedury ('konstrukce' v transparentní intenzionální logice). Všechny matematické pojmy jsou a priori. Analytické matematické funkce jsou efektivní procedury, které vypočítávájí rekurzívní funkce. Syntetické matematické pojmy buď identifikují nerekurzivní funkci nebo identifikují rekurzívní funkci neefektivním způsobem. Syntetických pojmů a priori je více než analytických pojmů a priori.

Type

D - Article in proceedings

CEP classification

AA - Philosophy and religion

OECD FORD branch

—

Project

GA401/04/2073: Transparent Intensional Logic (a Systematic Exposition)

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2005

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

Jazyk - logika - věda

ISBN

80-7007-212-1

ISSN

—

e-ISSN

—

Number of pages

23

Pages from-to

181-203

Publisher name

Filosofia

Place of publication

Praha

Event location

Pec pod Sněžkou

Event date

Sep 19, 2004

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—