Ohjelma

Torstai 11.11.

Pinni B 1097

10.00-10.15 Alkusanat

10.15-11.15 Pääesitelmä: Mirja Hartimo: Husserl and Mathematics

Kahvitauko 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

Lounas 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ä (Suomeksi)

Kahvitauko 30 min

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

Konferenssi-illallinen klo 19 alkaen (Ilmoittaudu etukäteen!)

Perjantai 12.11.

Pinni B 4113

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

Kahvitauko 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

Lounas 12.30-13.30

13.30-14.30 Pääesitelmä: 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

Kahvitauko 30 min

15.30-16.15 Keskustelutilaisuus ja loppusanat