NTNSP
A Non-Contractive Theory of Naive Semantic Properties: Logical Developments and Metaphysical Foundations
| Coordinatore | UNIVERSITAT DE BARCELONA
Organization address
address: GRAN VIA DE LES CORTS CATALANES 585 contact info |
| Nazionalità Coordinatore | Spain [ES] |
| Totale costo | 168˙896 € |
| EC contributo | 168˙896 € |
| 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-IEF |
| Funding Scheme | MC-IEF |
| Anno di inizio | 2012 |
| Periodo (anno-mese-giorno) | 2012-09-01 - 2014-08-31 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
UNIVERSITAT DE BARCELONA
Organization address
address: GRAN VIA DE LES CORTS CATALANES 585 contact info |
ES (BARCELONA) | coordinator | 168˙896.40 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
'NTNSP concerns the logical developments and metaphysical foundations of a theory of naive truth (i.e. a theory validating the unrestricted equivalence between ‘P’ and ‘ ‘P’ is true’) which blocks the semantic paradoxes by restricting the structural rule of contraction. NTNSP’s main aim is to raise such theory to the status of a serious competitor in the debate among naive theories. This will be achieved by meeting four research objectives in progressive order. The theory will first be provided with the necessary technical framework (in particular an algebraic semantics and consistency proof). The theory will then be extended to a theory of naive reference, showing that it affords an innovative solution to the paradoxes of reference. The theory will subsequently be argued to enjoy substantial philosophical advantages over its naive rivals, in particular in its treatment of various conditionals (from one that allows for a definition of logical consequence in terms of naive-truth preservation to one that allows for a smooth treatment of restricted quantification). Finally, the theory will be given solid metaphysical foundations: failure of contraction will be explained in terms of the instability of the states-of-affairs expressed by paradoxical sentences, and failure of distributivity will be justified in terms of an original, global conception of indeterminacy. NTNSP will be carried out in the highly congenial collaborative research environment offered by LOGOS, involving the organisation of a regular research seminar and a final international workshop. NTNSP aims at the publication of papers on all the issues mentioned, plus the preparation of a monograph and of the workshop’s proceedings. NTNSP will consolidate the applicant’s expertise in philosophy of logic, language and metaphysics (and mathematical logic), as well as improving several of his research and communication skills, thus allowing him to reach a higher level of research autonomy and leadership.'
Introduzione (Teaser)
An examination of the theory of truth achieved through logical developments and metaphysical foundations gives way to new debate on the topic.
Descrizione progetto (Article)
One way of looking at the notion of truth is as a semantic property. In this way, it is linked to theories of language. Through the process of theory, linguistic entities can be inconsistent. In a semantic sense then, truth can be seen as ascent to truth (A) and descent from truth (D).
A new theory of truth developed by the EU-funded http://www.eliazardini.eu/projects/ntnsp/index.html (NTNSP) project solves the semantic paradoxes of truth by stabilising A and D and limiting classical logic. Also, the logical property of contradiction is restricted and thus the number of times that an argument's premises are used does not affect the validity of reaching a conclusion.
The project achieved its research objectives. Necessary philosophical support for the conception of truth in relation to motivating A and D was provided. Furthermore, the principle of validating A and D was achieved.
A series of research papers published in international journals highlight the results, and they are also found in a collection of papers to be used in a monograph.
Teachers of philosophy, logic, mathematics and semantics, especially, will find the information useful for their courses.