La logica formale nell'ottocento: una mappa aggiornata degli studi