The Idea of constructions in 'Transparent Intentional Logic"
One of the topical themes in the contemporary epistemology and logic is problem of such a logical representation of meaning which would make it possible to apply logic also to such involved questions as that one of analysis of belief sentences. The proje ct intend to make a contribution to solving these problems, which is important not only from the logic - philosophical viewpoint but also as regards theoretical linguistics and theoretical foundations of computer science. The main conceptual means used t o fulfil the goals of the project are based on Tichý´s transparent intentional logic, particularly on his theory of constructions, i.e., exactly definable abstract procedures, which can be exploited as showing the logical structure of natural language ex pressions.
Total number of publications: 8