Informace o projektu
Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů
(Sémantické pojmy)
- Kód projektu
- GA16-19395S
- Období řešení
- 1/2016 - 12/2018
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Filozofická fakulta
The project aims to provide a materially adequate logical explication of semantic notions such as truth. It deploys some leading ideas on the subject which were developed in philosophical logic / non-classical logics during the 20th century, notably by Russell, Tarski, Kripke and Church. The proposal synthesizes their achievements while avoiding problematic features of their approaches. It thus provides a viable alternative to the recent non-hierarchical proposals. The logical framework is a modern ramified type theory with hyperintensional level. The emphasis on hyperintensional analysis of meaning is an important distinctive feature of the project. The outcomes of the project consist mainly in one English written monograph published by an international publisher, one Czech written monograph and ten papers published (with one exception) in international journals.
Publikace
Počet publikací: 28
2020
-
Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic
Rok: 2020, vydání: Vyd. 1., počet stran: 243 s.
2019
-
Explicitní/implicitní přesvědčení a derivační systémy
Filosofický časopis, rok: 2019, ročník: 67, vydání: 1
-
Three-Valued Plurivaluationism and the Higher-Order Vagueness
Prolegomena, rok: 2019, ročník: 18, vydání: 2, DOI
-
Základy logiky přesvědčení
Rok: 2019, vydání: Vyd. 1, počet stran: 195 s.
2018
-
Apel na sobeckost nebo na rozumnost? Případová analýza s využitím Toulminova modelu argumentu
Filozofie dnes, rok: 2018, ročník: 10, vydání: 2
-
Existential Import and Relations of Categorical and Modal Categorical Statements
Logic and Logical Philosophy, rok: 2018, ročník: 27, vydání: 3, DOI
-
Existential Import, Partiality, and Squares of Opposition
Rok: 2018, druh: Konferenční abstrakty
-
Logic for 2D Conception of Inference
Rok: 2018, druh: Konferenční abstrakty
-
Logic for 2D Conception of Inference
Rok: 2018, druh: Další prezentace na konferencích
-
Proof-Theoretic Semantics and Hyperintensionality
Logique et Analyse, rok: 2018, ročník: 61, vydání: 242, DOI