Project information
Hyperintensional meaning, type theory and logical deduction
(Hyperintensionality and Types)
- Project Identification
- GA19-12420S
- Project Period
- 1/2019 - 12/2021
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Standard Projects
- MU Faculty or unit
- Faculty of Arts
- Cooperating Organization
-
The Academy of Sciences of the Czech Republic
The project aims to advance a hyperintensional theory of meaning according to which meanings are fine-grained objects of algorithmic nature. In its core, it will combine both type-theoretic and proof-theoretic approaches to semantics: meanings will be framed in a type-theoretical environment yet governed by derivation rules. The project will focus on development of these deduction rules for the adopted type system. The project is based on and contributes to the recent advances in the field and it is fully aimed at international community.
Publications
Total number of publications: 14
2019
-
Limitation of logical space puts restrictions on the explication of the notions of knowledge, belief, necessity and truth
Year: 2019, type: Conference abstract
-
Limitation of logical space puts restrictions on the explication of the notions of knowledge, belief, necessity and truth
Year: 2019, type: Appeared in Conference without Proceedings
-
Type Theory, Reducibility and Epistemic Paradoxes
Year: 2019, type: Conference abstract
-
Type Theory, Reducibility and Epistemic Paradoxes
Year: 2019, type: Appeared in Conference without Proceedings