Programme




Monday 7th April: Mathematical Cognition and Philosophy


 09:30-10:20

Registration


 10:20-10:30

 Welcome


 10:30-11:30

Irina Starikova


Revealing Invisible Geometry: Cognitive vs. Mathematical Representations 


 11:30-12:30

Mario Santos-Sousa


Bootstrapping Rebooted 


 12:30-14:00

 Lunch


 14:00-15:00

Juha Saatsi

Naturalism and the Benacerraf-Field Challenge to Platonism 

 
15:00-16:15

Keynote:
Helen De Cruz

Testimony and children's acquisition of number concepts


16:15-16:40

Tea Break

 
16:40-17:55

Keynote:
Bart Van Kerkhove

 
Psychologism Revisited


 19:00

 Conference Dinner



Tuesday 8th April: Deductive Cognition and Philosophy


  9:30-10:30

Andy Yu

Diagrams, proofs, and diagrammatic proofs.

 
10:30-11:30

Brendan Larvor

How the philosophy of mathematical practice can be logic by other means.


  11:30-13:00

Lunch


 13:00-14:15


Keynote:
Catarina Dutilh-Novaes

Reductio proofs from a dialogical perspective.

 14:15-14:30


Tea Break

14:30-15:30

Leon Geerdink


How to evaluate different formalizations of the same argument: A case study using empirical data.

 
15:30-16:30


Fenner Tanswell

The Troll Under the Derivationist Bridge: The Problem of Formalising Proofs 

16:30


Conference Close


 

Ċ
Neil Coleman,
6 Apr 2014, 04:51