![Důležité termíny](https://cdn.muni.cz/media/3716855/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133667368190000000&heightratio=0.5&width=278)
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
2018
-
The Paradox of Moralistic Fallacy: A Case against the Dangerous Knowledge
Teorie vědy : věda, technika, společnost, rok: 2018, ročník: 40, vydání: 2
-
The Rule of Explicit Substitution into (Hyper)intensional Contexts
Rok: 2018, druh: Další prezentace na konferencích
-
The Rule of Substitution and Hyperintensional Contexts
Rok: 2018, druh: Konferenční abstrakty
-
The typing approach to Church-Fitch's knowability paradox and its revenge form
Prolegomena: Journal of Philosophy, rok: 2018, ročník: 17, vydání: 1, DOI
2017
-
Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach
Logic and Logical Philosophy, rok: 2017, ročník: 26, vydání: 4, DOI
-
D-Conception of Inference (with an Examination ofParadoxical Reasoning)
Rok: 2017, druh: Konferenční abstrakty
-
Derivable Belief and Hyperintensional Algorithmic Semantics
Rok: 2017, druh: Konferenční abstrakty
-
Model jazyka v synchronním a diachronním smyslu
Filozofia, rok: 2017, ročník: 72, vydání: 2
-
Partiality of Propositions and Existential Import of Modal / Non-Modal Categorical Statements
Rok: 2017, druh: Konferenční abstrakty
-
The Modal Argument against Nominal Description Theory
Kriterion - Journal of Philosophy, rok: 2017, ročník: 31, vydání: 1