Logica e filosofia della scienza

Le ricerche si occupano sul piano teorico e su quello storico delle organiche connessioni esistenti tra ricerca filosofica e conoscenza scientifica, della logica con i suoi metodi specifici, della struttura logica dei linguaggi naturali, della computazione e della comunicazione, dell’epistemologia e della rappresentazione delle conoscenze, delle questioni metodologiche e fondative proprie delle singole scienze in stretta relazione con il loro sviluppo.

Tra le principali linee di ricerca di carattere logico-epistemologico condotte nel Dipartimento FILCOM si segnalano:

Concezioni contemporanee della causalità;
epistemologia delle scienze dell’artificiale e delle scienze cognitive;
epistemologia dell’intelligenza artificiale e della robotica;
filosofia della fisica, della matematica, delle forme simboliche;
filosofia delle scienze della vita;
forme di pluralismo teorico, esplicativo e causale;
logiche modali proposizionali e quantificate: generalizzazioni della semantica kripkeana e teoria della dimostrazione;
modellizzazione cognitiva delle forme del ragionamento e teorie della razionalità;
modellizzazione, con particolare riferimento alla filosofia della medicina e della psichiatria;
morfologia dello spazio-tempo;
spazi e modalità della rappresentazione artistica e scientifica;
teoria della dimostrazione per le logiche classica e non classiche;
teoria delle rappresentazioni e della computabilità per gli spazi topologici;
teoria quantistica della computazione e dell’informazione;
teorie della spiegazione scientifica.