ISTITUZIONI DI FILOSOFIA FORMALE DALLA LOGICA FORMALE ALL'ONTOLOGIA FORMALE

Proponiamo un manuale di Logica formale concepito all’interno del più ampio progetto di Filosofia formale. Ciò significa non solo attenzione alla disciplina della logica, sviluppatasi in senso rigoroso (formalizzato) a partire dalla fine del XIX secolo, ma alla lunga tradizione speculativa occidentale sia continentale che analitica la quale, nel XXI sec. può convergere “costruttivamente”, rispetto a questi due rami, in un percorso unitario che abbiamo appena cominciato a scrivere. Seguendo una terminologia che ormai è diffusa nel mondo accademico internazionale, chiamiamo Filosofia Formale (Ontologia Formale, Epistemologia Formale, Etica Formale) questo programma di ricerca in campo speculativo.


GIANFRANCO BASTI (1954)
È professore ordinario di Filosofia della natura e della scienza presso la Pontificia Università Lateranense. È membro associato della Pontifica Accademia di S. Tommaso, membro della APA-American Philosophical Association, dello IEEE-Institute for Electric and Electronic Engineering, Computer and Neural Network Society, e della AAAS-American Society for the Advancement of Science, Editrice della prestigiosa rivista Science. Dal 1997 è direttore e co-fondatore del progetto IRAFS-International Research Area on Foundations of the Sciences e dal 2003 coordinatore del progetto STOQ-Science, Theology and the Ontological Quest presso la PUL. È autore di oltre 120 pubblicazioni in campo filosofico e scientifico.
FRANCESCO PANIZZOLI (1982)
È assistente del professor G. Basti presso la cattedra di Filosofia della natura e della scienza della Pontificia Università Lateranense. Ha pubblicato il libro Ontologia della partecipazione. Verso una formalizzazione della metafisica di Tommaso d’Aquino (2014) e diversi articoli di filosofia della scienza e ontologia formale.