Informace o projektu

Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Sémantické pojmy)

Logo poskytovatele
Kód projektu
GA16-19395S
Období řešení
1/2016 - 12/2018
Investor / Programový rámec / typ projektu
Grantová agentura ČR
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


Předchozí 1 2 3 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info