Κάθε φορά που διδάσκεται, το επιλεγόμενο αυτό μάθημα ασχολείται με κάποια λογικά συστήματα (όχι πάντα τα ίδια) που είτε επεκτείνουν την κλασική λογική, όπως η τροπική και η δευτεροβάθμια λογική, είτε αποτελούν εναλλακτικές σε αυτή, όπως η ιντουϊσιονιστική και η ελεύθερη λογική. Τα συστήματα μελετώνται με τυπικό τρόπο, αλλά επίσης δίδεται σημασία στα φιλοσοφικά τους κίνητρα.