Publication details

Executions vs. Constructions

Authors

RACLAVSKÝ Jiří

Year of publication 2003
Type Article in Proceedings
Conference Logica et Methodologica (Anaphora, Logic and Natural Language)
MU Faculty or unit

Faculty of Arts

Citation
Field Philosophy and religion
Keywords hyperintensions; constructions; executions; transparent intensional logic
Description 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.

You are running an old browser version. We recommend updating your browser to its latest version.

More info