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 ambiti, in un percorso unitario che abbiamo appena cominciato a sviluppare. 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.