The Set Theory of Semantic Theories of Truth
(STSTT)
Date du début: 1 juil. 2012,
Date de fin: 30 juin 2014
PROJET
TERMINÉ
"This project will draw from techniques in contemporary descriptive set theory to develop more powerful tools for the analysis and application of semantic theories of truth. In particular, we shall use Gödel's constructible hierarchy to answer open question pertaining to revision theoretic truth definitions. More broadly, we shall develop a network of infinitary tableau systems for semantic theories of truth, drawing on techniques from descriptive set theory and mathematical proof theory. This work will provide the foundation for semantic theories that aim to talk about their own semantic concepts. Moreover, it will provide simple techniques for the production of consistency proofs for contemporary research into logics of truth."
Accédez au prémier réseau pour la cooperation européenne
Se connecter
ou
Créer un compte
Pour accéder à toutes les informations disponibles
Coordinateur
THE UNIVERSITY COURT OF THE UNIVERSITY OF ABERDEEN
€ 209 033,40- Susie Hastings
- KING'S COLLEGE REGENT WALK AB24 3FX ABERDEEN (United Kingdom)
Details
- 100% € 209 033,40
-
FP7-PEOPLE
- Projet sur CORDIS platform
1 Participants partenaires
- Audrey Michael
- TYNDALL AVENUE SENATE HOUSE BS8 1TH BRISTOL (United Kingdom)