Algebraic Logic and Its Critics: The History of Logic from Leibniz to Frege

The study of logic in the second half of the 19th century was dominated by an algebraic approach to the subject. This tradition, as exemplified in George Boole’s Laws of Thought, aimed to develop a calculus of deductive reasoning based on the standard algebraic techniques employed in mathematics. In this course, we will trace the historical development of the algebraic tradition in logic, beginning with the early attempts of Leibniz to formulate a calculus ratiocinator. We will consider the various systems of algebraic logic developed in the 19th century in the works of De Morgan, Boole, Jevons, Peirce, and Schroder, and conclude by examining Frege’s critique of Boole’s system in relation to Frege’s own Begriffsschrift. (B) (II) (V)