International Workshop on Logic and Philosophy of Mathematical Practices (LPMP2014)

Date and venue

11-12 December 2014

Langevin meeting room

Metropole Hotel, Place de Brouckereplein 31, Brussels, Belgium

http://www.vub.ac.be/CLWF/LPMP2014/

Programme

Thursday

08:30 - 09:00 : Welcome Coffee

09:00 - 09:15 : Intro

09:15 - 10:15 : Danielle Macbeth Mathematical Logic, Mathematical Understanding (Invited)

10:15 - 10:45 : Coffee Break

10:45 - 11:15 : Bruno Leclercq Iconic virtues of diagrams. Peirce's plea against logicism (Contributed)

Cancelled : Iulian Toader Wherein lies the explanatory power of algebraic closure (Contributed)

11:15 - 11:45 : Sam Taylor and Ruben Noorloos An Inferentialist Perspective on Mathematical Objects and Practices (Contributed)

12:15 - 13:15 : Lunch

13:30 - 14:00 : Joachim Frans Mathematical explanation and reasoning style (Contributed)

14:00 - 14:30 : Irina Starikova Symmetry and Mathematicians' Aesthetic Preferences. A Case Study (Contributed)

14:30 - 15:00 : Jean-Charles Pelland Which came first, the number or the numeral (Contributed)

15:00 - 15:30 : Mathias Winther Madsen Two Episodes in the History of Statistical Rationality (Contributed)

15:30 - 16:00 : Coffee Break

16:00 - 17:00 : Rik Pinxten Multimathemacy (Invited)

17:00 - 17:30 : Ad Meskens Mathematics in cross-cultural perspective (Contributed)

Friday

08:30 - 09:00 : Welcome Coffee

09:00 - 10:00 : Brendan Larvor The Logic of Informal Proof (Invited)

Cancelled: Alison Pease Investigations into online mathematical conversations (Invited)

10:00 - 10:30 : Luca San Mauro a case study in informal provability (Contributed)

10:30 - 11:00 : Coffee Break

11:00 - 11:30 : Wim Vanrie An Exploration (Contributed)

11:30 - 12:00 : Georg Schiemer and Johannes Korbmacher Structuralism and structural properties (Contributed)

12:00 - 12:30 : Joost Ziff Numbers without Sets (Contributed)

12:45 - 13:45 : Lunch

14:00 - 15:00 : Keith Weber Using methods from cognitive psychology to investigate mathematical practice (Invited)

15:00 - 15:30 : Maria Avxentevskaya John Wilkins's from inventio to invention (Contributed)

15:30 - 16:00 : Coffee Break

16:00 - 16:30 : Yannick Van den Abbeel The prehistory of Hilbert's sixth problem. Eighteenth-century mechanics and the axiomatic-deductive method in physics (Contributed)

16:30 - 17:00 : Closing session