The Set Theory of Semantic Theories of Truth

Información del proyecto

STSTT

Identificador del acuerdo de subvención: 302083

Proyecto cerrado

Fecha de inicio 1 Julio 2012

Fecha de finalización 30 Junio 2014

Financiado con arreglo a

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

Coste total € 209 033,40

Aportación de la UE € 209 033,40

Coordinado por

THE UNIVERSITY COURT OF THE UNIVERSITY OF ABERDEEN
United Kingdom

Objetivo

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

Ámbito científico

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

Programa(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)

Tema(s)

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

Convocatoria de propuestas

FP7-PEOPLE-2011-IIF
Consulte otros proyectos de esta convocatoria

Régimen de financiación

MC-IIF - International Incoming Fellowships (IIF)

Coordinador

THE UNIVERSITY COURT OF THE UNIVERSITY OF ABERDEEN

• Aportación de la UE: € 209 033,40
• Dirección: KING'S COLLEGE REGENT WALK ; AB24 3FX ABERDEEN ; Reino Unido
• Región: Scotland › North Eastern Scotland › Aberdeen City and Aberdeenshire
• Tipo de actividad: Higher or Secondary Education Establishments
• Contacto administrativo: Susie Hastings (Mrs.)
• Coste total: Sin datos

Participantes (1)

UNIVERSITY OF BRISTOL

La participación finalizó

Reino Unido

• Aportación de la UE: Sin datos
• Dirección: BEACON HOUSE QUEENS ROAD ; BS8 1QU Bristol
• Región: South West (England) › Gloucestershire, Wiltshire and Bristol/Bath area › Bristol, City of
• Tipo de actividad: Higher or Secondary Education Establishments
• Contacto administrativo: Audrey Michael (Ms.)
• Coste total: Sin datos