Logic with Bo

Hi everyone, I'm Bo! Originally from Canada, I'm now an FWO-funded postdoc at KU Leuven in Belgium. Here in Leuven, I am working on indirect proof (sometimes called proof by reductio) in the Arabic, Latin, and modern logical traditions. If you like, you can read about the project at the link below. 

With this channel, my goal is to explore logic, its philosophy, and its history. How did logic become the way it is? I think this way of approaching logic can make it more interesting (and less intimidating) to newcomers, and can also turn up unexpected connections and concepts for specialists. Plus it's fun. 

The backbone of this channel is a full introductory course in Modern Predicate Logic. You can find it arranged in the playlists. This part of the channel is based on a course I taught at the University of Toronto in 2020.

Thanks for visiting!
—Bo