A Brief History of Logic: From Leibniz to Boole - Math Foundations 254

Explore the evolution of logic from the modern European era to the 19th century in this informative video lecture. Discover how medieval logic gave way to new directions in systematizing reasoning, starting with G. Leibniz's innovative ideas on computing devices and mechanical reasoning. Learn about the introduction of diagrams for representing logical relations by Euler, Lambert, and Ploucquet in the 18th century. Delve into the dramatic developments of the 19th century, focusing on the work of De Morgan and George Boole, including original excerpts from Boole's writings. Understand how mathematics first intersected with classical logic, presenting an algebraic approach to Aristotle's syllogisms while expanding the subject and introducing binary interpretations.