12-14 October 2016
Munich Center for Mathematical Philosophy, LMU Munich
In the course of the last century, different general frameworks for the foundations of mathematics have been investigated. The orthodox approach to foundations interprets mathematics in the universe of sets. More recently, however, there have been other developments that call into question the whole method of set theory as a foundational discipline. Category-theoretic methods that focus on structural relationships and structure-preserving mappings between mathematical objects, rather than on the objects themselves, have been in play since the early 1960s. But in the last few years they have found clarification and expression through the development of homotopy type theory. This represents a fascinating development in the philosophy of mathematics, where category-theoretic structural methods are combined with type theory to produce a foundation that accounts for the structural aspects of mathematical practice. We are now at a point where the notion of mathematical structure can be elucidated more clearly and its role in the foundations of mathematics can be explored more fruitfully.
The main objective of the conference is to reevaluate the different perspectives on mathematical structuralism in the foundations of mathematics and in mathematical practice. To do this, the conference will explore the following research questions: Does mathematical structuralism offer a philosophically viable foundation for modern mathematics? What role do key notions such as structural abstraction, invariance, dependence, or structural identity play in the different theories of structuralism? To what degree does mathematical structuralism as a philosophical position describe actual mathematical practice? Does category theory or homotopy type theory provide a fully structural account for mathematics?
- Prof. Steve Awodey (Carnegie Mellon University)
- Dr. Jessica Carter (University of Southern Denmark)
- Prof. Gerhard Heinzmann (Université de Lorraine)
- Prof. Geoffrey Hellman (University of Minnesota)
- Prof. James Ladyman (University of Bristol)
- Prof. Elaine Landry (UC Davis)
- Prof. Hannes Leitgeb (LMU Munich)
- Dr. Mary Leng (University of York)
- Prof. Øystein Linnebo (University of Oslo)
- Prof. Erich Reck (UC Riverside)
Call for Abstracts
We invite the submission of abstracts on topics related to mathematical structuralism for presentation at the conference. Abstracts should include a title, a brief abstract (up to 100 words), and a full abstract (up to 1000 words), blinded for peer review. Authors should send their abstracts (in pdf format), together with their name, institutional affiliation and current position to email@example.com. We will select up to five submissions for presentation at the conference. The conference language is English.
Dates and Deadlines
Submission deadline: 30 June, 2016
Notification of acceptance: 31 July, 2016
Registration deadline: 1 October, 2016
Conference: 12 – 14 October, 2016
For further details on the conference, please visit: http://www.mathematicalstructuralism2016.philosophie.uni-muenchen.de/
The Emergence of Structuralism and Formalism, June 24- 26, 2016
PRAGUE, CZECH REPUBLIC
organized by Catholic Theological Faculty, Charles University and Institute of Philosophy, Czech Academy of Sciences, v.v.i.
The focal question of the workshop is how the nature of mathematics is regarded by representatives of formalism and structuralism. The conference language is English. To submit a proposal, please send a proposal of your paper to firstname.lastname@example.org
Proposals for papers should be prepared for anonymous review. Proposals should include title and abstract of the paper (maximum 500 words).
If you have inquiries about the conference or about the submission process, please write to email@example.com
SUBMISSION DEADLINE: April 30. 2016
Notification of acceptance on May 10. 2016.
The scheduled length of lectures is 30 minutes including approx. 10 minutes for discussion. Selected contributions will be published.
Call for Abstracts
Canadian Society for History and Philosophy of Mathematics Annual Meeting
University of Calgary, May 29-31, 2016
Special Session: Mathematics and Logic in the 19th and 20th Century
Kenneth May Lecturer: Dr. Jamie Tappenden, Department of Philosophy, University of Michigan
The CSHPM will be holding its 2016 Annual Meeting at the University of Calgary in conjunction with the 2016 Congress of the Humanities and Social Sciences. The meeting will be held Sunday through Tuesday, May 29-31, 2016.
Members are invited to present papers on any subject relating to the history of mathematics, its use in the teaching of mathematics, the philosophy of mathematics, or a related topic. Talks in either English or French are welcome.
Please send your title and abstract (200 words or less) in Word or in the body of an email by February 1, 2016 to:
For the Special Session:
Department of Mathematics
University of Wisconsin-Whitewater
Whitewater, WI 53190-1790
For the General Session:
Department of Mathematics & Statistics
University of Maine
Orono, ME 04469
With deep sadness we announce the sudden passing of Aldo Antonelli on October 11. The announcement from the UC Davis Department of Philosophy follows. If you would like to share your memories of Aldo or express your condolences, please do so at the UC Davis website.
Our colleague, friend and collaborator, Aldo Antonelli, passed away suddenly on Sunday, October 11, 2015 while bicycling in Sacramento, California. He is survived by his partner, Elaine Landry, brother David, sons Federico and Riccardo, and their mother Giovanna Fogli.
Aldo Antonelli was a professor of philosophy at the University of California, Davis. An expert in pure and applied logic, his research largely focused on issues in defeasible reasoning and non-monotonic logic. His more recent work in philosophy of logic was concerned with applications of generalized quantifier theory and abstraction principles to the foundations of arithmetic in the more general context of Fregean foundations, as well as making contributions to Frege scholarship.
Together with his partner and colleague, philosopher of mathematics Elaine Landry, Antonelli established philosophy of logic and mathematics as a focal point of scholarship in the Davis department. Antonelli was a member of the Association for Symbolic Logic, the American Philosophical Association, the Philosophy of Mathematics Association, and the Society for Exact Philosophy. He had served as coordinating editor of the Journal of Philosophical Logic and the Review of Symbolic Logic. He taught at Pittsburgh, Yale, Stanford and Michigan State, before joining the University of California, first at Irvine in 1998, and then moving to UC Davis in 2008.
Aldo’s self-description captures his spirit, focus, and sense of humor best:
I grew up in Torino, Italy, where I received my undergraduate education. After a brief stint in corporate R&D, I ended up in Pittsburgh, pursuing a graduate degree at Pitt. I taught here and there around the country for a few years before obtaining my first tenure track job. I then spent ten years at UC Irvine, including two years while on assignment abroad, before coming to Davis. My Erdös number is 4 (Paul Erdös to Joel Spencer to Nuel Belnap to Rich Thomason).
Contributions in Aldo’s memory may be made to a fund in support of graduate students working in logic and philosophy of logic. Please write checks to: UC Davis Foundation, marked “Aldo” and mail to: Chair, Department of Philosophy, One Shields Avenue, Davis CA 95616 USA. You may donate via credit card directly through an Antonelli Memorial Fund Giving page at the UC Davis website.