Název: Synthetic Concepts A Priori
Překlad názvu: Syntetické pojmy a priori
Autoři: Duží, M. ; Materna, Pavel
Typ dokumentu: Příspěvky z konference
Konference/Akce: Aktuální problémy logické a filosofické analýzy /8./, Pec pod Sněžkou (CZ), 2004-09-19 / 2004-09-22
Rok: 2005
Jazyk: eng
Abstrakt: [eng] [cze]
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. 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.
Klíčová slova: analytic; concept; synthetic
Číslo projektu: CEZ:AV0Z90090514 (CEP), GA401/04/2073 (CEP)
Poskytovatel projektu: GA ČR
Zdrojový dokument: Jazyk - logika - věda, ISBN 80-7007-212-1

Instituce: Filosofický ústav AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný v příslušném ústavu Akademie věd ČR.
Původní záznam: http://hdl.handle.net/11104/0110009

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-31770


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Filosofický ústav
Konferenční materiály > Příspěvky z konference