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.