17-21 Sep 2018
Konstanz, Germany
Call for Registration 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 ? John Baldwin (University of Illinois at Chicago): ?The entanglement of set theory and infinitary model theory? ? Neil Barton (Universität Wien): TBA ? Merlin Carl (Universität Flensburg): TBA ? José Ferreirós (Universidad de Sevilla): TBA ? Victoria Gitman (City University of New York): TBA ? Deborah Kant (HU Berlin): TBA ? Benedikt Löwe (Universiteit van Amsterdam/Universität Hamburg): TBA ? Alison Pease (University of Dundee): TBA ? Roy Wagner (ETH Zürich): ?Semiotic analysis of mathematical texts (a hands-on introduction with applications to P. Cohen?s presentations of forcing)? Contributing speakers ? Carolin Antos/Daniel Kuby (Universität Konstanz): ?The Forcing Project? ? Matteo de Ceglie (Universität Salzburg): ?A naturalistic case in favour of the Generic Multiverse with a core? ? Nick de Hoog (Universität Konstanz): TBA ? Monroe Eskew (Universität Wien): ?Generic large cardinals as axioms? ? Micha? Godziszewski (Uniwersytet Warszawski): ?Set-theoretic independence of existence of some local hidden variable models in the foundations of quantum mechanics? ? Miha Habi? (Univerzita Karlova): ?Embedding posets into the set-generic multiverse? ? Mikkel Willum Johansen (Københavns Universitet): ?A typology of mathematical diagrams? ? Deniz Sarikaya (Universität Hamburg): ?The usage of frameworks from philosophy of science in philosophy of mathematics? ? Jeffrey Schatz (University of California, Irvine): ?On the role of outer models in the methodological maxim of maximization? ? Krzysztof Wójtowicz (Uniwersytet Warszawski): ?What could set-theoretic explanations in science be?? Please find the preliminary program schedule attached as PDF. Conference registration The conference is free (no conference fee) and everyone is welcome to attend, including social events. Please register by sending an email to <registration@forcing-project.com <http://project.com/>>. Contact For inquiries please send an email to Daniel Kuby <fpnc2018@forcing-project.com <mailto:fpnc2018@forcing-project.com>>. -- [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