Objective "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." Fields of science natural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical 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) Topic(s) FP7-PEOPLE-2011-IIF - Marie Curie Action: "International Incoming Fellowships" Call for proposal FP7-PEOPLE-2011-IIF See other projects for this call Funding Scheme MC-IIF - International Incoming Fellowships (IIF) Coordinator THE UNIVERSITY COURT OF THE UNIVERSITY OF ABERDEEN EU contribution € 209 033,40 Address KING'S COLLEGE REGENT WALK AB24 3FX ABERDEEN United Kingdom See on map Region Scotland North Eastern Scotland Aberdeen City and Aberdeenshire Activity type Higher or Secondary Education Establishments Administrative Contact Susie Hastings (Mrs.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data Participants (1) Sort alphabetically Sort by EU Contribution Expand all Collapse all UNIVERSITY OF BRISTOL Participation ended United Kingdom EU contribution No data Address BEACON HOUSE QUEENS ROAD BS8 1QU Bristol See on map Region South West (England) Gloucestershire, Wiltshire and Bristol/Bath area Bristol, City of Activity type Higher or Secondary Education Establishments Administrative Contact Audrey Michael (Ms.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data