UNESCO World Logic Day 2023: Philosophy of Logic and Computation
14. Januar 2023Zeitraum
14.01.2023, 14:00 Uhr
(CET)
Veranstalter/-in
Fakultät für Kultur- und Sozialwissenschaften, Lehrgebiet Philosophie I
Download
Flyer with program
The proclamation of World Logic Day by UNESCO, in association with the International Council for Philosophy and Human Sciences (CIPSH), intends to bring the intellectual history, conceptual significance and practical implications of logic to the attention of interdisciplinary science communities and the broader public. In this context, our workshop aims to focus on the relation between logic and computation.
We celebrate the world logic day 2023 with a workshop on the philosophy of logic and computing. The workshop will take place online at 14th January 2023, 14.00 to 18.30 (CET).
Everyone is welcome to join the talks and contribute to the discussions. Please, contact Timm Lampert (timm.lampert) for registration and to receive the Zoom link by January 13th, 2023.
The event will be held virtually and is locally organized by: Claudia Anger (FernUniversität in Hagen), Stefania Centrone (FernUniversität in Hagen), Timm Lampert (HU-Berlin, FernUniversität in Hagen), PD Dr. Jens Lemanski (Universität Münster), Dr. Andrea Reichenberger (Universität Siegen) in cooperation with FILEH “Innovative Teaching in Logic”.
Foto: yavdat/iStock/Getty Images Plus
Program
| time (CET) | Talk | Chair |
|---|---|---|
| 14:00 | Timm Lampert (Hagen): Introduction | |
| 14:10 | Alfred Olszok (Leipzig): What Martin Gardner did not know. New research on Logic Diagrams and their Pedagogical Reception. | Claudia Anger |
| 14:40 | Andrea Reichenberger (Siegen): The Turing-Machine: A Thought Experiment? A Sideways Look at a Forgotten Report from 1937 | Alfred Olfszok |
| 15:20 | Coffee Break | |
| 15:35 | Klaus Mainzer (TU München): Proof and Computation in Logic, Mathematics, and Artificial Intelligence | Stefania Centrone |
| 16:15 | Claudia Anger (Hagen): The Square of Opposition: Krause, Gergonne and Bitstring Semantics | Jens Lemanski |
| 16:45 | Coffee Break | |
| 17:00 | Stefania Centrone (Hagen): Conception of Proofs from Aristotle to Gentzen's Calculi | Andrea Reichenberger |
| 17:40 | Victor Rodych (Lethbridge, Canada): Gödel's Wittgenstein | Timm Lampert |
| 18:30 | Closing Remarks | Andrea Reichenberger |
