Prof. Dave Cliff goes on a journey through philosophy, math, science, and technology - the domains of logic.