Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  PWS semantics
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Content available remote

Procedurální sémantika TIL

100%
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.