Key Philosophers on Logic and Reason

Right now, advanced computers are proving theorems that no single human can fully grasp—yet they’re all following rules first sketched by a handful of philosophers. In this episode, we’ll step into their workshops and watch logic itself being invented, challenged, and rebuilt.

When you trace those rules back, you don’t find dusty librarians; you find argumentative revolutionaries. Aristotle wasn’t trying to please tradition—he was systematizing how debates in the Athenian assembly could actually lead somewhere. Centuries later, George Boole sits at a desk in 19th‑century England, trying to turn yes/no reasoning into something as clean as an equation. Then Gottlob Frege, frustrated with the messiness of ordinary language, drafts a new symbolic script in 1879 that quietly reshapes mathematics—and, eventually, computing.

Each of these thinkers faced a different kind of chaos: political rhetoric, everyday speech, sprawling algebra. What unites them is a stubborn question: “What *must* follow from what?” In this episode, we’ll follow that question through their work—and see how their breakthroughs still shape your choices, from online searches to how you argue with a friend.