Go to main content | Go to main menu | Go to search

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

Investor logo
Project Identification
GA16-19395S
Project Period
1/2016 - 12/2018
Investor / Pogramme / Project type
Czech Science Foundation
  • Standard Projects
MU Faculty or unit
Faculty of Arts

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.

Publications

Total number of publications: 28

2017

2016

Previous 1 2 3 Next

You are running an old browser version. We recommend updating your browser to its latest version.