Intende offrire un quadro indicativo degli sviluppi della disciplina, con riferimento sia alla storia della logica antica nei suoi rapporti con l’ontologia sia all’origine della moderna logica matematica, riproposta attraverso alcune delle sue sezioni fonda­mentali (logica del primo ordine, logica modale, teoria degli insiemi).