Mente, linguaggio, logica e deduzione sono oggetti di ricerca strettamente correlati. Un¿analisi profonda di uno qualunque di essi rimanda inevitabilmente agli altri: per questo, si è formato un gruppo di ricerca unitario che contenesse al suo interno specialisti nel campo dell¿epistemologia, della filosofia del linguaggio e della logica, in modo che ciascuno potesse contemporaneamente porre problemi e fornire informazioni agli altri. In effetti, le competenze relative alla filosofia della mente e all'ontologia analitica conducono a proposte di modellizzazione formale del pensiero e del ragionamento, che risultano essere poi il punto di partenza degli sviluppi computazionali condotti dallo specialista di logica.
Più in dettaglio, le questioni specifiche che si programma di affrontare nel prossimo anno saranno le seguenti:
1) la trasmissione delle informazioni tramite il linguaggio;
2) il ¿knowledge account¿;
3) simulazioni di atteggiamenti intenzionali;
4) le teorie semantiche, epistemiche e ontologiche della vaghezza;
5) modalita' e temporalita' nelle lingue naturali e nelle applicazioni informatiche;
6) il concetto di ¿logica naturale¿;
7) combinazione di problemi di decisione per frammenti di linguaggi logici (anche relativamente a teorie).
Più in dettaglio, le questioni specifiche che si programma di affrontare nel prossimo anno saranno le seguenti:
1) la trasmissione delle informazioni tramite il linguaggio;
2) il ¿knowledge account¿;
3) simulazioni di atteggiamenti intenzionali;
4) le teorie semantiche, epistemiche e ontologiche della vaghezza;
5) modalita' e temporalita' nelle lingue naturali e nelle applicazioni informatiche;
6) il concetto di ¿logica naturale¿;
7) combinazione di problemi di decisione per frammenti di linguaggi logici (anche relativamente a teorie).