Executions vs. Constructions

RACLAVSKÝ, Jiří. Executions vs. Constructions. In Logica et Methodologica (Anaphora, Logic and Natural Language). 7th ed. Bratislava: Univerzita Komenského, 2003, p. 63-72. ISBN 80-223-1871-X.

Basic information

Original name

Executions vs. Constructions

Name in Czech

Exekuce vs. konstrukce

Authors

RACLAVSKÝ, Jiří (203 Czech Republic, guarantor)

Edition

7. vyd. Bratislava, Logica et Methodologica (Anaphora, Logic and Natural Language), p. 63-72, 10 pp. 2003

Publisher

Univerzita Komenského

---

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

60300 6.3 Philosophy, Ethics and Religion

Country of publisher

Slovakia

Confidentiality degree

není předmětem státního či obchodního tajemství

RIV identification code

RIV/00216224:14210/03:00011336

Organization unit

Faculty of Arts

ISBN

80-223-1871-X

Keywords in English

hyperintensions; constructions; executions; transparent intensional logic

Tags

constructions, executions, hyperintensions, transparent intensional logic

Tags

Reviewed

---

Abstract

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.

In Czech

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ů.