Executions vs. Constructions
| Název česky | Exekuce vs. konstrukce |
|---|---|
| Autoři | |
| Rok publikování | 2003 |
| Druh | Článek ve sborníku |
| Konference | Logica et Methodologica (Anaphora, Logic and Natural Language) |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Filosofie a náboženství |
| Klíčová slova | hyperintensions; constructions; executions; transparent intensional logic |
| Popis | 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ů. |