Procedurální sémantika TIL

• Authors: Marie Duží

Title variants

EN

The Procedural Semantics of TIL

• Languages of publication: CS

Abstracts

EN

In this contribution I focus on perhaps the most significant and, at the same time, the most revolutionary characteristic of Tichy’s transparent intensional logic (TIL), which is procedural semantics. Despite the fact that in the second half of the last century there was already a clear need for an explication of hyperintensionality – a structual explication, if possible – hyperintensionality was defined only in a negative way. Hyperintensionality is the kind of context in which the substitution of logically equivalent expressions fails and it is necessary to have a more refined distinction of meanings than one of mere equivalence. Tichý, however, not only defined hyperintensions positively as algorithmically-structured procedures, that is TIL constructions which are assigned to expressions as their context-invariant meanings, but at the same time he showed that in the framework of this system it can hopefully adequately solve all the problems which traditional PWS semantics of possible worlds could not deal with. In this article I demonstrate that structured procedures are the central element of our communication across various cultures, specialisations and time. At the same time, however, I outline the problems which this evidently plausible conception of meaning brings with it, and I propose a solution to them.

Keywords

EN

procedural semantics; transparent; intensional logic; construction; procedural isomorphism; PWS semantics

Discipline

• PHILOSOPHY: PHILOSOPHY

• Publisher: Institute of Philosophy, Czech Academy of Sciences
• Journal: Filosofický časopis (Philosophical Journal)
• Year: 2016
• Volume: 64
• Issue: 6
• Pages: 901-929
• Document type: ARTICLE

Contributors

author

Marie  Duží

• Filosofický časopis, redakce, Filosofický ústav AV ČR, v.v.i., Jilská 1, 110 00 Praha 1, Czech Republic