The Set Theory of Semantic Theories of Truth

Informazioni relative al progetto

STSTT

ID dell’accordo di sovvenzione: 302083

Progetto chiuso

Data di avvio 1 Luglio 2012

Data di completamento 30 Giugno 2014

Finanziato da

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

Costo totale € 209 033,40

Contributo UE € 209 033,40

Coordinato da

THE UNIVERSITY COURT OF THE UNIVERSITY OF ABERDEEN
United Kingdom

Obiettivo

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

Campo scientifico

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

Programma(i)

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

Argomento(i)

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

Invito a presentare proposte

FP7-PEOPLE-2011-IIF
Vedi altri progetti per questo bando

Meccanismo di finanziamento

MC-IIF - International Incoming Fellowships (IIF)

Coordinatore

THE UNIVERSITY COURT OF THE UNIVERSITY OF ABERDEEN

• Contributo UE: € 209 033,40
• Indirizzo: KING'S COLLEGE REGENT WALK ; AB24 3FX ABERDEEN ; Regno Unito
• Regione: Scotland › North Eastern Scotland › Aberdeen City and Aberdeenshire
• Tipo di attività: Higher or Secondary Education Establishments
• Contatto amministrativo: Susie Hastings (Mrs.)
• Costo totale: Nessun dato

Partecipanti (1)

UNIVERSITY OF BRISTOL

Partecipazione conclusa

Regno Unito

• Contributo UE: Nessun dato
• Indirizzo: BEACON HOUSE QUEENS ROAD ; BS8 1QU Bristol
• Regione: South West (England) › Gloucestershire, Wiltshire and Bristol/Bath area › Bristol, City of
• Tipo di attività: Higher or Secondary Education Establishments
• Contatto amministrativo: Audrey Michael (Ms.)
• Costo totale: Nessun dato