NTNSP

A Non-Contractive Theory of Naive Semantic Properties: Logical Developments and Metaphysical Foundations

Coordinatore	UNIVERSITAT DE BARCELONA    more  Organization address address: GRAN VIA DE LES CORTS CATALANES 585 city: BARCELONA postcode: 8007 contact info Titolo: Mr. Nome: Xavier Cognome: Gutiérrez Email: send email Telefono: 34934035385 Fax: 34934489434
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

#	participant	country	role	EC contrib. [€]
1	UNIVERSITAT DE BARCELONA  Organization address address: GRAN VIA DE LES CORTS CATALANES 585 city: BARCELONA postcode: 8007 contact info Titolo: Mr. Nome: Xavier Cognome: Gutiérrez Email: send email Telefono: 34934035385 Fax: 34934489434	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.