Vývoj logiky od Aristotela po Gödela;těžiště kurzu je v moderní matematické logice a souvisejících disciplínách; důraz je kladen na vztah historických systémů k současným metodám, problémům a cílům.