Logic &
Phil of Math
in the evening*
14 January, 18:00 - 20:15 CET
*CET
What:
4 talks
4 talks
Where:
via Zoom
via Zoom
When:
14, January 2021
14, January 2021
18:00 - 20:15 CET
18:00 - 20:15 CET
Speakers (and their slides)
Speakers (and their slides)
World_Logic_Day.pdf
Formalization and Anthropocentrism_World Logic Day_14121.pdf
21-01-Logic Day .pdf
LogicDay2021_Vaananen.pdf
Schedule, all times CET
Schedule, all times CET
18:00 - 18:05
18:05 - 18:35
18:40 - 19:10
19:15 - 19:45
19:50 - 20:20
20:20 - 23:59
Introduction
Graham Priest: Where did contemporary paraconsistency come from?
Gil Sagi: Formalization and Anthropocentrism.
Silvia De Toffoli: Mathematical Justification
Jouko Väänänen: Logic and the three games
The zoom room will stay open, just in case people want to continue discussion