Informace o projektu
Hyperintensional meaning, type theory and logical deduction
(Hyperintensionality and Types)
- Kód projektu
- GA19-12420S
- Období řešení
- 1/2019 - 12/2021
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Filozofická fakulta
- Spolupracující organizace
-
Akademie věd České republiky
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.
Publikace
Počet publikací: 14
2019
-
Limitation of logical space puts restrictions on the explication of the notions of knowledge, belief, necessity and truth
Rok: 2019, druh: Konferenční abstrakty
-
Limitation of logical space puts restrictions on the explication of the notions of knowledge, belief, necessity and truth
Rok: 2019, druh: Další prezentace na konferencích
-
Type Theory, Reducibility and Epistemic Paradoxes
Rok: 2019, druh: Konferenční abstrakty
-
Type Theory, Reducibility and Epistemic Paradoxes
Rok: 2019, druh: Další prezentace na konferencích