Lecture 20 "Aristotle's logic & philosophy of math"