17-21 Sep 2018
Konstanz, Germany
1st Call for Papers Methodological Approaches in the Study of Recent Mathematics: Mathematical Philosophy and Mathematical Practice September 17-21, 2018, Zukunftskolleg, University of Konstanz, Germany 1st instalment of the Forcing Project Networking Conferences (FPNC) series Website: http://network2018.forcing-project.com <http://network2018.forcing-project.com/> Organization: Carolin Antos, Daniel Kuby (University of Konstanz) Invited Speakers Neil Barton (University of Vienna) José Ferreirós (University of Seville) Victoria Gitman (CUNY) Joel David Hamkins (CUNY) Deborah Kant (HU Berlin) Benedikt Löwe (University of Amsterdam/University of Hamburg) Roy Wagner (ETH Zurich) Call for Papers The project ?Forcing: Conceptual Change in the Foundations of Mathematics <https://forcing-project.com/>? (2018-2023) aims to analyse, from a historical and philosophical point of view, the development of modern set theory since the introduction of the forcing technique. It brings together methods and research questions from different research areas in the history and philosophy of mathematics to investigate if and how the extensive use of the forcing method brought about a conceptual change in set theory; and in which ways this may influence the philosophy of set theory and, finally, the foundations of mathematics. Over the next years, the research group will organise a series of Networking Conferences with the goal of reaching out to researchers from these different areas. The first Forcing Project Networking Conference (FPNC2018) is devoted to methodological approaches in the study of recent mathematics and focuses on the topics of mathematical philosophy and mathematical practice: 1. Mathematical philosophy uses mathematical tools to analyze philosophical questions. In the philosophy of set theory, this approach comes naturally as the research object provides the mathematical methods with which it is examined. This includes a particularly interesting form of close interplay between mathematics and philosophy, namely, how philosophical questions can lead to new mathematical research. 2. Recent research programs in the philosophy of set theory use set-theoretic practice in many contexts, from arguing for or against an ontological position to justifying methodological choices. Yet, in most cases, the term itself remains un-analyzed and "practice", as a form of evidence, deficitary. This can be remedied by using insights and methods from the philosophy of mathematical practice, ranging from historical data sets to questionnaires and statistical analysis of online resources. Topics We welcome contributions which a) discuss crucial methodological issues arising from the use of mathematical tools in the philosophy of mathematics; b) discuss crucial methodological issues in the study of recent mathematical practice; c) present interesting results and methodological lessons from actual research on contemporary mathematical practices; d) take on the relationship between different methodological approaches to the study of recent mathematics, in particular the relationship between mathematical philosophy and mathematical practice; and, more specifically, e) discuss the viability of the notion of "conceptual change" and "revolution" in the development of mathematics, in particular from the perspective of mathematical practice; f) discuss how to track changes in the development of mathematical knowledge and methods through the analysis of mathematical practices. Contributions do not have to tackle the forcing technique or set theory necessarily. Rather, the goal of the conference is to share insights from the study of mathematical practices more generally, which eventually could become fruitful for the study of the development of the forcing technique. Submissions Abstracts of 300-500 words should be submitted in PDF or Word format no later than May 31st, 2018, via email to <submissions@forcing-project.com <mailto:submissions@forcing-project.com?subject=Submission%20FPNC2018>>. Notification of acceptance will be issued by June 18th, 2018. Financial support Partial financial support will be available for contributing speakers. Conference registration The conference is free (no conference fee) and everyone is welcome to attend. For logistical reasons, please register by sending an email to <registration@forcing-project.com <mailto:registration@forcing-project.com?subject=Registration%20FPNC2018>> before August 15th, 2018. Dates May 31, 2018: Deadline for submissions to CfP June 15, 2018: Notification of acceptance August 15, 2018: Conference registration deadline September 17-21, 2018: Conference Contact For inquiries please send an email to Daniel Kuby <fpnc2018@forcing-project.com <mailto:fpnc2018@forcing-project.com?subject=Information%20regarding%20FPNC2018>>. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam