The Set Theory of Semantic Theories of Truth

Informations projet

STSTT

N° de convention de subvention: 302083

Projet clôturé

Date de début 1 Juillet 2012

Date de fin 30 Juin 2014

Financé au titre de

• Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Coût total € 209 033,40

Contribution de l’UE € 209 033,40

Coordonné par

THE UNIVERSITY COURT OF THE UNIVERSITY OF ABERDEEN
United Kingdom

Objectif

"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."

Champ scientifique

• natural sciences › mathematics › pure mathematics › discrete mathematics › mathematical logic

Programme(s)

• FP7-PEOPLE - Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Thème(s)

• FP7-PEOPLE-2011-IIF - Marie Curie Action: "International Incoming Fellowships"

Appel à propositions

FP7-PEOPLE-2011-IIF
Voir d’autres projets de cet appel

Régime de financement

MC-IIF - International Incoming Fellowships (IIF)

Coordinateur

THE UNIVERSITY COURT OF THE UNIVERSITY OF ABERDEEN

• Contribution de l’UE: € 209 033,40
• Adresse: KING'S COLLEGE REGENT WALK ; AB24 3FX ABERDEEN ; Royaume-Uni
• Région: Scotland › North Eastern Scotland › Aberdeen City and Aberdeenshire
• Type d’activité: Higher or Secondary Education Establishments
• Contact administratif: Susie Hastings (Mrs.)
• Coût total: Aucune donnée

Participants (1)

UNIVERSITY OF BRISTOL

Participation terminée

Royaume-Uni

• Contribution de l’UE: Aucune donnée
• Adresse: BEACON HOUSE QUEENS ROAD ; BS8 1QU Bristol
• Région: South West (England) › Gloucestershire, Wiltshire and Bristol/Bath area › Bristol, City of
• Type d’activité: Higher or Secondary Education Establishments
• Contact administratif: Audrey Michael (Ms.)
• Coût total: Aucune donnée