STSTT
The Set Theory of Semantic Theories of Truth
| Coordinatore | THE UNIVERSITY COURT OF THE UNIVERSITY OF ABERDEEN
Organization address
address: KING'S COLLEGE REGENT WALK contact info |
| 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
| # | ||||
|---|---|---|---|---|
| 1 |
THE UNIVERSITY COURT OF THE UNIVERSITY OF ABERDEEN
Organization address
address: KING'S COLLEGE REGENT WALK contact info |
UK (ABERDEEN) | coordinator | 209˙033.40 |
| 2 |
UNIVERSITY OF BRISTOL
Organization address
address: TYNDALL AVENUE SENATE HOUSE contact info |
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.