STSTT

The Set Theory of Semantic Theories of Truth

Coordinatore	THE UNIVERSITY COURT OF THE UNIVERSITY OF ABERDEEN    more  Organization address address: KING'S COLLEGE REGENT WALK city: ABERDEEN postcode: AB24 3FX contact info Titolo: Mrs. Nome: Susie Cognome: Hastings Email: send email Telefono: +44 1224 272121
Nazionalità Coordinatore	United Kingdom [UK]
Totale costo	209˙033 €
EC contributo	209˙033 €
Programma	FP7-PEOPLE Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)
Code Call	FP7-PEOPLE-2011-IIF
Funding Scheme	MC-IIF
Anno di inizio	2012
Periodo (anno-mese-giorno)	2012-07-01   -   2014-06-30

 Partecipanti

#	participant	country	role	EC contrib. [€]
1	THE UNIVERSITY COURT OF THE UNIVERSITY OF ABERDEEN  Organization address address: KING'S COLLEGE REGENT WALK city: ABERDEEN postcode: AB24 3FX contact info Titolo: Mrs. Nome: Susie Cognome: Hastings Email: send email Telefono: +44 1224 272121	UK (ABERDEEN)	coordinator	209˙033.40
2	UNIVERSITY OF BRISTOL  Organization address address: TYNDALL AVENUE SENATE HOUSE city: BRISTOL postcode: BS8 1TH contact info Titolo: Ms. Nome: Audrey Cognome: Michael Email: send email Telefono: +44 117 3317371	UK (BRISTOL)	participant	0.00

Mappa

 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

 Obiettivo del progetto (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.'

Introduzione (Teaser)

EU-funded research explored methods used in modern descriptive set theory to develop enhanced tools for analysing and applying semantic theories of truth. The overall goal was to lay a foundation for semantic theories that endeavour to discuss their own semantic concepts.

Descrizione progetto (Article)

The project 'The set theory of semantic theories of truth' (STSTT) worked to link set theory and formal theories of truth, and advance simple techniques facilitating contemporary research into logics of truth.

Using set theoretic tools, STSTT met its original objectives. It produced a tableau proof system for various semantic theories of truth, permitting a better understanding of fixed point theories of truth. The tableau provides a clearer presentation for the mathematical analysis of these theories.

The approach led to development of a consistency proof for a strong validity predicate, satisfying principles previously thought impossible to satisfy. Use of descriptive set theory also supported establishing the groundwork for analysing revision theoretic truth, dispelling claims that revision theory is ungrounded.

Other accomplishments include employing tools from formal theories of truth to show how they can be analogously applied to problems in set theory. Finally, STSTT paved the way for use of a common framework to understand logical paradoxes in both set theory and formal theories of truth.

STSTT work has been disseminated in journal publications and presented at leading centres for philosophical and mathematical logic.

Opening up a new avenue of research into truth and set theory, project outcomes should enable proper mathematical understanding of logical paradox and diagonal argument. The tools offer appropriate means for classifying these problems and understanding what is involved in solving them.