30 May 2013
Groningen, The Netherlands
On May 30th 2013, the Roots of Deduction project (https://sites.google.com/site/therootsofdeduction/) and the Faculty of Philosophy of the University of Groningen will host a small workshop on argumentation in mathematics. Details will be regularly updated here: https://sites.google.com/site/therootsofdeduction/events-and-announcements/workshop-argumentation-in-mathematics Speakers and titles are: * Andrew Aberdein (Philosophy, Florida Institute of Technology): "Types of dialogue in mathematics" * Erik Krabbe (Philosophy, Groningen): "Aristotle on squaring the circle" * Bart Verheij (Artificial Intelligence, Groningen): "Mathematical discovery as investigative argumentation" * Catarina Dutilh Novaes (Philosophy, Groningen): "A dialogical conception of indirect proofs" Time: 13.00 - 17.00 Place: Room 1315 0031, Harmonie Complex, University of Groningen The workshop is open to all, but please send us an email (rootsofdeduction 'youknowwhat' gmail dot com) to register.