Publikace na Filozofická fakulta |
2004
Abstrakt
Kantova idea syntetických soudů a priori není ve své originální podobě přijatelná. V článku však uvádíme její modifikaci a ukazujeme, že tato idea má racionální jádro.
Definujeme analytické a syntetické pojmy. Analytické pojmy jsou efektivní procedury, kdežto syntetické pojmy buďto definují nerekurzivní funkce, nebo rekurzivní funkce, avšak neefektivním způsobem.
Pojmy jsou tedy definovány jako abstraktní procedury, neredukovatelné na množinové entity.