Το μάθημα έχει ως στόχο την συνοπτική παρουσίαση της εξέλιξης της Λογικής, από την αρχαιότητα μέχρι τον εικοστό αιώνα, εστιάζοντας στο έργο των περισσότερων από τις βασικές σχολές Λογικής. Μεταξύ των θεμάτων που εξετάζονται είναι τα ακόλουθα: Αριστοτελική Λογική, Λογική των Μεγαρικών και Στωϊκών, η Λογική τον Μεσαίωνα, Leibniz και Λογική, Boole και αλγεβρική Λογική, η Λογική του Frege, σχολές Λογικής μετά τον Frege (λογικισμός, φορμαλισμός και ιντουισιονισμός)