Program

Thursday 11.11.

Pinni B 1097

10.00-10.15 Opening

10.15-11.15 Keynote: Mirja Hartimo: Husserl and Mathematics

Coffee 15 min

11.30-12.00 Kim-Erik Berts: Mathematical proof at the crossroads between philosophy and didactics of mathematics

12.00-12.30 Eerik Norvio: Choosing notation for Aristotle's categorical syllogistic

Lunch 12.30-13.30

13.30-14.00 Antti Kuusisto: Is there a number one formal logic?

14.00-14.30 Reijo Jaakkola: What is a fragment?

14.30-15.00 Tuukka Tanninen: Hintikan modaalilogiikan täydellisyydestä ja eheydestä (In Finnish)

Coffee 30 min

15.30-16.30 Keynote: Jouko Väänänen: Towards internal categoricity

Dinner 19.00 (Register in advance!)

Friday 12.11.

Pinni B 4113

10.15-11.15 Keynote: Maria Hämeen-Anttila: Gentzen, Gödel, and the constructive justification of consistency proofs for arithmetic

Coffee 15 min

11.30-12.00 Janne Hiipakka: Jaakko Hintikka on set theory

12.00-12.30 Jari Palomäki: On the Burali-Forti's Paradox: Kant, Cantor, and Saarnio

Lunch 12.30-13.30

13.30-14.30 Keynote: Markus Pantsar: What thin or trivial mathematical objects could be?

14.30-15.00 Panu Raatikainen: Quinean Revisability of Logic and the Law of the Excluded Middle

Coffee 30 min

15.30-16.15 Discussion Meeting and Closing