Volume 62, Issue 2, 2015
Procedural Theory of Concepts
The paper summarizes the development of logical semantics, in particular Tichý’s Transparent Intensional Logic, since late 1960s till now. We concentrate on Materna’s procedural theory of concepts, which is a unique logical theory built within TIL. The goal is to introduce the contribution of Czech and Slovak logical school to logical semantics and show its significance. At the same time the paper critically discusses strong as well as weak issues of this theory, and calls attention to open problems. One of the most important open problems is the problem of hyperintensional individuation, which is closely related to the problem of synonymy.