2003
Executions vs. Constructions
RACLAVSKÝ, JiříZákladní údaje
Originální název
Executions vs. Constructions
Název česky
Exekuce vs. konstrukce
Autoři
RACLAVSKÝ, Jiří (203 Česká republika, garant)
Vydání
7. vyd. Bratislava, Logica et Methodologica (Anaphora, Logic and Natural Language), od s. 63-72, 10 s. 2003
Nakladatel
Univerzita Komenského
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
60300 6.3 Philosophy, Ethics and Religion
Stát vydavatele
Slovensko
Utajení
není předmětem státního či obchodního tajemství
Kód RIV
RIV/00216224:14210/03:00011336
Organizační jednotka
Filozofická fakulta
ISBN
80-223-1871-X
Klíčová slova anglicky
hyperintensions; constructions; executions; transparent intensional logic
Příznaky
Recenzováno
Změněno: 25. 6. 2009 12:57, prof. PhDr. BcA. Jiří Raclavský, Ph.D.
V originále
In transparent intensional logic s.c. constructions serves as hyperintensions. Being inspired by notions of single and double execution, executions in a new sense are defined. Then they are compared with constructions - trivialization is thus reinterpreted as an execution of zero executive steps (executing, constructing and producing are three distinguished kinds of generating of an output from certain input), composition, closure and variable are subsumed under the notion of execution of one executive step, double execution corresponds to execution of two executive steps. This another view on constructions may help us to understand them better way.
Česky
V Transparentní intenzionální logice slouží tzv. konstrukce jako hyperintenze-procedury. Na základě inspirace druhy konstrukcí, jimiž jsou jednoduchá a dvojitá exekuce, definuji exekuce v zcela novém smyslu. Ty poté srovnávám s druhy konstrukcí, přičemž trivializace je reinterpretována jako exekuce nula exekutivních kroků (odlišuji exekuování, konstruování a produkování - jsou to tři různé druhy generování výsledku z určitého vstupu), kompozice, uzávěry i proměnné jsou subsumovány pod exekuce jednoho exekutivního kroku, dvojitá exekuce koresponduje exekuci dvou exekutivních kroků.