UNESCO World Logic Day 2023
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.
Speech Klaus Mainzer, President EASA, 3:35 - 4:15
"Proof and Computation in Logic, Mathematics, and Artificial Intelligence"
The event will be held virtually and is locally
FernUniversität in Hagen (Germany),
Institute of Philosophy, LG I,
in cooperation with
FILEH: “Innovative Teaching in Logic"
Time: 2 p.m. - 6.30 p.m.