6. How logic became a formal tool
Follow the growth of logic from Aristotle and Stoic logic through medieval debate, Boolean algebra, Frege, Russell, Hilbert, Gödel, Tarski, and modern computer logic. The chapter shows why today’s tools look the way they do.