Bisceglia Michele
Curriculum UT3 - Ricerca storica, gestione della conoscenza ed etica nel mutamento digitale
Progetto di Ricerca: Il mio progetto di ricerca si propone di contribuire all'analisi dell'argomento ontologico di Anselmo d'Aosta, Cartesio e Leibniz, con particolare riferimento alle varianti gödeliane della prova. A tal fine, si avvale del programma di calcolo inferenziale Isabelle/HOL, che permette di verificare la correttezza sintattica delle asserzioni, la coerenza e l'indipendenza delle premesse, la validità dei ragionamenti e l'esistenza di modelli e contromodelli. Il progetto è parte del più ampio programma di ricerca della filosofia computazionale, intesa come sviluppo dell'impiego della logica nell'analisi dei problemi filosofici. I sistemi logici, infatti, possono essere implementati entro ambienti informatici. Per quanto possibile, si cerca di perseguire il cosiddetto "sogno di Leibniz", affrontare sistematicamente le controversie filosofiche mediante linguaggi rigorosi e procedure di calcolo, anche automatizzate.
Research Project: My research project aims to contribute to the analysis of the ontological argument of Anselm of Canterbury, Descartes and Leibniz, with particular reference to Gödelian variants of the proof. To this end, it employs the proof assistant Isabelle/HOL, which makes it possible to verify the syntactic correctness of assertions, the consistency and independence of premises, the validity of arguments and the existence of models and countermodels. The project is part of the broader research program of computational philosophy, understood as a development of the use of logic in the analysis of philosophical problems. Logical systems, indeed, can be implemented within computational environments. As far as possible, this line of research seeks to pursue the so-called "Leibniz's dream" of addressing philosophical controversies systematically through rigorous languages and procedures of calculation, including automated ones.
Email: m.bisceglia2@unimc.it