2008
The Notion of Problem, Intuitionism and Partiality
MATERNA, PavelZákladní údaje
Originální název
The Notion of Problem, Intuitionism and Partiality
Autoři
MATERNA, Pavel (203 Česká republika, garant)
Vydání
Logic and logical philosophy, Torun, Poland, Nicholas Copernicus University Press, 2008, 1425-3305
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
60300 6.3 Philosophy, Ethics and Religion
Stát vydavatele
Polsko
Utajení
není předmětem státního či obchodního tajemství
Kód RIV
RIV/00216224:14330/08:00028788
Organizační jednotka
Fakulta informatiky
Klíčová slova anglicky
abstract procedures; constructions; effective procedures; concepts; partiality
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 8. 2. 2010 14:34, prof. PhDr. Pavel Materna, CSc.
Anotace
V originále
Problems are defined as abstract procedures. An explication of procedures as used in Transparent Intensional Logic (TIL) and called constructions is presented and the subclass of constructions called concepts is defined. Concepts as closed constructions modulo alfa- and eta-conversion can be associated with meaningful expressions of a natural or professional language in harmony with Church's conception. Thus every meaningful expression expresses a concept. Since every problem can be unambiguously determined by a concept we can state that every problem is a concept and every concept can be viewed as a problem. Kolmogorov's idea of a connection between problems and Heyting's calculus is examined and the non-classical features of the latter are shown to be compatible with realistic logic using partial functions.
Návaznosti
| GA201/05/2781, projekt VaV |
| ||
| IAA0009001, projekt VaV |
|