851-0173-00L  History of Formal Logic: The Emergence of Boolean Logic

SemesterSpring Semester 2021
LecturersJ. L. Gastaldi
Periodicitynon-recurring course
Language of instructionEnglish


851-0173-00 VHistory of Formal Logic: The Emergence of Boolean Logic2 hrs
Tue18:15-20:00IFW A 32.1 »
J. L. Gastaldi

Catalogue data

AbstractThe 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.
ObjectiveDuring 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
ContentThe 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.

Performance assessment

Performance assessment information (valid until the course unit is held again)
Performance assessment as a semester course
ECTS credits3 credits
ExaminersJ. L. Gastaldi
Typegraded semester performance
Language of examinationEnglish
RepetitionRepetition possible without re-enrolling for the course unit.
Additional information on mode of examinationThe 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.

Learning materials

No public learning materials available.
Only public learning materials are listed.


No information on groups available.


Places50 at the most
Waiting listuntil 07.03.2021

Offered in

Doctoral Department of Humanities, Social and Political SciencesDoctoral and Post-Doctoral CoursesW+Information
GESS Science in PerspectiveHistoryWInformation
GESS Science in PerspectiveD-INFKWInformation
GESS Science in PerspectiveD-ITETWInformation
GESS Science in PerspectiveD-MATHWInformation
History and Philosophy of Knowledge MasterLectures and ExercisesWInformation