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

SemesterFrühjahrssemester 2021
DozierendeJ. L. Gastaldi
Periodizitäteinmalige Veranstaltung
LehrspracheEnglisch



Lehrveranstaltungen

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

Katalogdaten

KurzbeschreibungThe 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.
LernzielDuring 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
InhaltThe 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.

Leistungskontrolle

Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird)
Leistungskontrolle als Semesterkurs
ECTS Kreditpunkte3 KP
PrüfendeJ. L. Gastaldi
Formbenotete Semesterleistung
PrüfungsspracheEnglisch
RepetitionRepetition ohne erneute Belegung der Lerneinheit möglich.
Zusatzinformation zum PrüfungsmodusThe 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.

Lernmaterialien

Keine öffentlichen Lernmaterialien verfügbar.
Es werden nur die öffentlichen Lernmaterialien aufgeführt.

Gruppen

Keine Informationen zu Gruppen vorhanden.

Einschränkungen

PlätzeMaximal 50
WartelisteBis 07.03.2021

Angeboten in

StudiengangBereichTyp
Doktorat Departement Geistes-, Sozial- und StaatswissenschaftenLehrangebot Doktorat und PostdoktoratW+Information
GESS Wissenschaft im Kontext (Science in Perspective)GeschichteWInformation
GESS Wissenschaft im Kontext (Science in Perspective)D-INFKWInformation
GESS Wissenschaft im Kontext (Science in Perspective)D-ITETWInformation
GESS Wissenschaft im Kontext (Science in Perspective)D-MATHWInformation
Geschichte und Philosophie des Wissens MasterVorlesungen und Vorlesungen mit ÜbungenWInformation