VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.

851-0173-00L 3 Credits DS , DR , MSC D-GESS

History of Formal Logic: The Emergence of Boolean Logic

Lecturers & Examiners: Dr. Juan Luis Gastaldi
VVZ CR n/a

Last Updated: 2026-02-05 15:53:36

Abstract

The invention of Boolean logic in the middle of the 19th century is considered a major event in the history of modern thought. However, Boole’s original system does not correspond to what we came to understand as Boolean logic.We will study the early history of Boolean logic in relation to the mathematics of its epoch, in search of an alternative philosophy of formal knowledge for the present.

Objective

During the course, students will be able to: -Acquire a general perspective on the history of formal logic -Review relevant aspects of the history of modern mathematics -Obtain philosophical and historical tools for critically assessing the status of formal sciences -Develop a critical understanding of the notion of formal -Discuss the methodological capabilities of historical epistemology

Content

The invention of Boolean logic in the middle of the 19th century is considered a major event in the history of modern thought. Boolean algebras and Boolean rings lay at the basis of propositional logic and digital communication, contributing in a decisive way to the theoretical and technical conditions of our time. However, if attention is paid to Boole’s own work, it will quickly appear that his Calculus of Logic does not correspond to what we came to understand as Boolean logic. Instead of disregarding those differences as inevitable mistakes of any pioneering enterprise, waiting to be corrected by successive developments, we will try to understand them as the sign of an alternative philosophy of logic and formal knowledge, which later developments excluded and forgot, and from which recent advances in formal sciences could take advantage. Such an inquiry will give us the occasion of exploring the philosophical and scientific landscape in which formal logic emerged in the first half of the 19th century (focusing on the works of Babbage, De Morgan and Boole), and to build a critical perspective on the notion of “formal”, at the crossroad of the history and philosophy of mathematics and logic.

General Information

Language
English
Levels
DS , DR , MSC

Examination

Type
graded semester performance
The course will require a weekly reading of around 20 pages and a weekly mini-feedback task. At least 10-11 tasks (depending on the number of actual classes) must be submitted to pass the course. The final grade will be based on an essay about materials covered in class or other materials related to it suggested by students. Presence in class is expected, and active contribution to class discussions may be rewarded in the final grade.

Registration & Places

Max Places
50

Course Components

Type Title Time & Place Hours
lecture History of Formal Logic: The Emergence of Boolean Logic
  • Tue 18:15-20:00 (IFW A 32.1)
2 h weekly

Offered In