Il fine di questo modulo è quello di far familiarizzare lo studente con le questioni e la terminologia della logica aristotelica e dei suoi sviluppi, partendo dalla constatazione del fatto che quelle questioni e quella terminologia sono indispensabili per comprendere gran parte della elaborazione filosofico-scientifica dei secoli successivi. Il modo in cui la logica viene inserita da Aristotele nel quadro della conoscenza teoretica, i riflessi di tipo metafisico o ontologico che sono propri dell’indagine logica, la costruzione della "teoria del sillogismo" ecc. sono i temi con cui lo studente è invitato a prendere dimestichezza. Successivamente, il discorso tocca le profonde critiche e modificazioni che il quadro aristotelico, ulteriormente elaborato dalla scolastica medievale, ha subito nell’epoca moderna: fra tutti si è scelto di soffermarsi sul pensiero di Cartesio, su quello di Leibniz e sulla prospettiva del trascendentale kantiano. Anche in questi casi si è cercato di inserire le indagini logiche via via prese in considerazione entro uno sfondo concettuale più generale.

È quasi superfluo aggiungere che lo studio del materiale contenuto in questo modulo va visto in sintonia con quello dei moduli La nascita dell’assiomatica, I problemi fondamentali della logica e Logica e filosofia. Nozioni di base. Si tratta di indagini complementari, ma in grado di fornire una visione complessiva, da un punto di vista sia storico sia teorico, dei temi della ricerca filosofica in logica.