Project information
The Idea of constructions in 'Transparent Intentional Logic"
- Project Identification
- GA401/99/0006
- Project Period
- 1/1999 - 1/2000
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Standard Projects
- MU Faculty or unit
-
Faculty of Arts
- prof. PhDr. Pavel Materna, CSc.
- Cooperating Organization
-
Silesian University Opava
- Responsible person prof. RNDr. Marie Duží, CSc.
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.
Publications
Total number of publications: 8
2007
-
Semantics of the Axiom (Schema) of Comprehension
The Logica Yearbook 2006, year: 2007
2004
-
A procedural Theory of Concepts and the Problem of Synthetic a priori
Korean Journal of Logic, year: 2004, volume: 7, edition: 1
-
Logical Form
Essays on the Foundations of Mathematics ad Logic, year: 2004
2003
-
Is strong correspondence (theory of truth) possible?
Philosophy and Logic. Search of the Polish Tradition, year: 2003
2002
-
Are Wooden Tables Necessarily Wooden? Intensional Essentialism Versus Metaphysical Modality
Acta Analytica, year: 2002, volume: 17, edition: 28
2000
-
Dva druhy propozičních postojů
Organon F, year: 2000, volume: 2000, edition: 3
-
Empirical Concepts
Topics in Conceptual Analysis and Modelling, year: 2000
-
Two Notions of Concept
Topics in Conceptual Analysis and Modelling, year: 2000