851-0170-00L  The Birth of Formal Sciences: History and Philosophy of the Relation Between Logic and Mathematics

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



Lehrveranstaltungen

NummerTitelUmfangDozierende
851-0170-00 VThe Birth of Formal Sciences: History and Philosophy of the Relation Between Logic and Mathematics2 Std.
Di17:15-19:00RZ F 21 »
J. L. Gastaldi

Katalogdaten

KurzbeschreibungFormal knowledge, such as mathematics and logic, has a singular capacity to resist historical critique. But what if formality itself had a history - a recent birth and a foreseeable decline? In this course, we will explore this hypothesis by critically assessing the novel relationship between mathematics and logic that emerged in the 19th century, forging our notion of formal.
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
InhaltKnowledge reputed to be formal, such as mathematics and logic, has a singular capacity to resist historical critique. Indeed, from a traditional perspective, a historical account of a purely formal statement, like a theorem, can hardly do more than show the inevitable path that led to its evident and thenceforth everlasting truth. But what if formality itself had a history - a relative recent birth and a foreseeable decline? In this course, we will explore this hypothesis by critically assessing the conditions, impact and limits of the novel relationship between mathematics and logic that emerged in the 19th century, forging both the modern notion of formal and the subsequent epistemological status of formal sciences. After discussing the difficulties of a historical (or archaeological, in the sense that M. Foucault gives to this term) approach to formal knowledge, we will present the principal historical circumstances providing the conditions for an unprecedented association between logic and mathematics. This will give us the means to undertake the detailed study of that association, within the context of the most prominent attempts to provide formal deductive languages in the 19th century: those of George Boole and Gottlob Frege. Finally, we will address the limitations manifested by those projects at the turn of the 20th century, putting them into perspective to assess the transformation our notion of formal is experiencing as a result of the proliferation of computational practices.

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 nur nach erneuter 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

Keine zusätzlichen Belegungseinschränkungen vorhanden.

Angeboten in

StudiengangBereichTyp
Doktorat Departement Geistes-, Sozial- und StaatswissenschaftenLehrangebot Doktorat und PostdoktoratWInformation
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