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.