Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

ERC

PPP Risultato in breve

Project ID: 241098
Finanziato nell'ambito di: FP7-IDEAS-ERC
Paese: Norvegia

Nuove teorie della logica

Un team dell’UE ha offerto una nuova soluzione al problema dei paradossi logici. La teoria riguarda il collegamento tra logiche di primo ordine e di ordine superiore, offrendo applicazioni matematiche che hanno prodotto nuovi strumenti basati sul concetto di groundedness.
Nuove teorie della logica
In genere i logici evitano i paradossi. Tuttavia, alcuni sostengono che i paradossi possano essere utili in matematica, filosofia e semantica, diventando così una fonte di idee.

Il progetto PPP (Plurals, predicates, and paradox: Towards a type-free account), finanziato dall’UE, ha sostenuto che una soluzione accettabile ai paradossi logici non era ancora stata trovata. L’argomento ha opposto l’idea prevalente in tale campo. Il lavoro del consorzio ha affrontato quattro aree principali.

Il PPP ha individuato la necessità di logiche di ordine superiore (HOL), le quali permettono la quantificazione di posizioni di predicati e sintagmi nominali plurali.

Un ulteriore sviluppo riguarda un’idea radicalmente nuova del rapporto tra HOL e logica del primo ordine (FOL). Il team ha sostenuto che i blocchi convenzionali dei paradossi logici sono inutili, e benefici, in realtà. L’argomento ha aggiunto la condizione che i paradossi devono essere risolti in altri modi.

I ricercatori hanno creato un approccio modale alla matematica. Lo sviluppo incarna l’idea che gli oggetti matematici come gli insiemi possono essere generati all’infinito. La nuova soluzione per il paradosso consente maggiore buonsenso in quanto a interpretazione degli insiemi, rispetto al quadro generale della logica. I risultati consentono una motivazione nuova e naturale per gli assiomi relativi alla teoria degli insiemi ZFC.

Il team ha inoltre sviluppato nuovi strumenti, basati sulla nozione di groundedness, i quali proteggono contro crolli di HOL in FOL. I risultati includono diverse nuove teorie relative a classi di proposizioni condivise, una descrizione generale di groundednesse nuove opere sulla logica ground.

Il lavoro del progetto ha prodotto 20 articoli pubblicati su riviste specializzate con altri 8 sotto recensione, e 10 articoli di antologia. I membri hanno organizzato 16 workshop, 1 conferenza con summer school e una serie di seminari.

Il progetto PPP ha dimostrato che i paradossi logici non devono costituire una preoccupazione. Il team ha fornito soluzioni alternative.

Informazioni correlate

Keywords

Logica, paradossi, logica di ordine superiore, groundedness, logica del primo ordine, teoria degli insiemi ZFC
Numero di registrazione: 188359 / Ultimo aggiornamento: 2016-08-22
Dominio: Tecnologie industriali