Mathematical Depth Workshop

The Department of Logic and Philosophy of Science at the University of California, Irvine, will host a workshop on mathematical depth, examining and discussing examples of mathematics typically judged to be deep (or not deep) in hope of clarifying what’s at issue in these judgments.

Speakers: Andrew Arana, Mario Bonk, Robert Geroch, Jeremy Gray, Marc Lange, John Stillwell, Jamie Tappenden, and Alasdair Urquhart
Dates: April 11th and 12th, 2014
Location: Social and Behavioral Sciences Gateway Building, 1517, on the UC Irvine Campus
Organizers: Jeremy Heis, Penelope Maddy, Bennett McNulty, Sean Walsh, Jim Weatherall

For more information, please contact Bennett McNulty,

French Phil Math Workshop 5

Cinquième rencontre française de philosophie des mathématiques (FPMW5)

Il s’agit de la cinquième édition d’une série de rencontres sur la philosophie des mathématiques organisées par un groupe de chercheurs français et étrangers. Le colloque, qui dure trois jours, inclut à la fois des conférences invitées et des conférences issues d’un appel à contribution.

Fifth French Philosophy of Mathematics Workshop (FPMW5)

This is the fifth in an annual series of workshops on the philosophy of mathematics organized by a team of scholars in France and elsewhere. The three-day meeting will feature both invited and contributed talks.

Localisation (Place) : Clermont, MSH, salle 220


FotFS VIII: History and Philosophy of Infinity

The eighth conference on the Foundations of the Formal Sciences will take place 20-23 September 2013 at Corpus Christi College in Cambridge, England.

Proposals for Contributed presentations are being solicited.

Submission deadline: 31 May 2013.
Notification: 20 June 2013.
Accommodation booking deadline: 15 July 2013.
Registration deadline: 31 August 2013.
Conference: 20-23 September 2013.

Please use the submission website:

Keynote Speakers:

  • Haim Gaifman (Columbia University, U.S.A.);
  • Catherine Goldstein (Institut de Mathématiques de Jussieu, France),;
  • Christian Greiffenhagen (University of Nottingham, England);
  • Luca Incurvati (University of Cambridge, England);
  • Matthew Inglis (Loughborough University, England);
  • Charles Parsons (Harvard University, U.S.A.);
  • Michael Potter (University of Cambridge, England);
  • Christian Tapp (Ruhr-Universität Bochum, Germany),
  • Pessia Tsamir (Tel Aviv University, Israel);
  • Dina Tirosh (Tel Aviv University, Israel);
  • Jean Paul Van Bendeghem (Vrije Universiteit Brussel, Belgium).

Conference Theme:

The concept of infinity has fascinated philosophers and mathematicians for many centuries: e.g., the distinction between the potential and actual infinite appears in Aristotle’s Physics (in his treatment  of the paradoxes of Zeno) and the notion was implied in the attempts to sharpen the method of approximation (starting as early as Archimedes and running through the middle ages and  into the nineteenth century). Modern mathematics opened the doors to the wealth of the realm of the infinities by means of the set-theoretic foundations of mathematics.

Any philosophical interaction with concepts of infinite must have at least two aspects: first, an inclusive examination of the various branches and applications, across the various periods; but second, it must proceed in the critical light of mathematical results, including results from meta-mathematics.

The conference History & Philosophy of Infinity will emphasize philosophical, empirical and historical approaches. In the following, we give brief descriptions of these approaches with a number of questions that we consider relevant for the conference:

In the philosophical approach, we shall link questions about the concept of infinity to other parts of the philosophical discourse, such as ontology and epistemology and other important aspects of philosophy of mathematics. Which types of infinity exist? What does it mean to make such a statement? How do we reason about infinite entities? How do the mathematical developments shed light  on the philosophical issues and how do the philosophical issues influence the mathematical developments?

Various empirical sciences deal with the way we as finite human beings access mathematical objects or concepts. Research from mathematics education, sociology of mathematics and cognitive science is highly relevant here. How do we represent infinite objects by finite means? How are infinite objects represented in the human mind? How much is our interaction with infinite concepts formed by  the research community? How do we teach the manipulation of infinite objects or processes?

Infinity was an important concept in philosophy and theology from the ancient Greeks through the middle ages into the modern period. How did the concepts of infinity evolve? How did questions get  sharpened and certain aspects got distinguished in the philosophical debate? Did important aspects get lost along the way?


The Scientific Committee of FotFS VIII is cordially inviting all researchers to submit proposals for presentations covering either historical or philosophical aspects of infinity, or dealing with empirical  investigations of infinity in relation to the historical and philosophical aspects. The submission deadline is 31 May 2013.

Please submit the proposals for presentations via our EasyChair submission site at
A proposal should consist of a descriptive title and an abstract of 200 to 500 words. Do not submit a full paper and mark the “abstract only” checkbox of EasyChair for submission. Please make sure in  your abstract how your presentation will relate to the theme of the conference.

After the conference (as is the tradition for conferences in the series Foundations of the Formal Sciences), we will publish a post-proceedings volume in the book series Studies in Logic (College Publications, London). All authors of papers presented at FotFS VIII will be encouraged to submit a full version of their presentation. All submissions will be refereed according to the standards of high-quality journals of the field. The deadline for submission of these papers will be in December 2013.

Scientific Committee:

Brendan Larvor (Hatfield, U.K.), Benedikt Löwe (chair; Amsterdam, The Netherlands & Hamburg, Germany), Peter Koellner (Cambridge MA, U.S.A.), Dirk Schlimm (Montreal, Canada).

FotFS VIII is sponsored by the ESF network INFTY: New frontiers of infinity and the Division for Logic, Methodology and Philosophy of Science of the International Union for History and Philosophy  of Science (DLMPS/IUHPS).

Fifth French PhilMath Workshop

The Fifth French PhilMath Workshop (FPMW 5, formerly Paris-Nancy PhilMath Workshop) will take place on Thursday, October 17 through Saturday, October 19, 2013 at the Université Blaise Pascal in Clermont-Ferrand (France). This is the fifth in an annual series of workshops on the philosophy of mathematics organized by a team of scholars in France and elsewhere.

The three-day meeting will feature both invited and contributed talks. The invited speakers, who have confirmed their participation, are:

  •  Thierry Coquand (University of Gothenburg)
  • Colin McLarty (Case Western Reserve University)
  • Chris Pincock (Ohio State University)
  • Jean-Jacques Sczceciniarz (Université Paris Diderot)

The program will include six contributed talks. Submissions of papers (15000 character max.) in any topic in the philosophy of mathematics are welcome. The languages of the workshop are English and French. Presentations should be no longer than 45 minutes, and will be followed by 30 minutes of discussion. Younger scholars and graduate students working on their dissertations are particularly encouraged to submit, as the workshop provides them with an opportunity to discuss their work with experts from around the world. The deadline for submission is May 15, 2013. Receipt of submissions will be acknowledged by email. The Scientific Committee will evaluate all papers and announce its decisions by July 1, 2013.

The papers should be sent by email in doc, rtf, or pdf format to the following address: david (dot) rabouin (at) wanadoo (dot) fr

This workshop is organized by PHIER (Clermont). It is supported by IHPST (Paris), SPHERE (Paris), Ireph (Paris), Archives Henri Poincaré (Nancy), CEPERC (Aix), IMT (Toulouse), STL (Lille).

Scientific Committee: Andrew Arana, Mark van Atten, Denis Bonnay, Paola Cantù, Gabriella Crocco, Michael Detlefsen, Jacques Dubucs, Henri Galinon, Sebastien Gandon, Brice Halimi, Gerhard Heinzmann, Paolo Mancosu, Sébastien Maronne, Philippe Nabonnand, Marco Panza, Fabrice Pataut, Dominique Pradelle, David Rabouin, Shahid Rahman, Andrei Rodin, Stewart Shapiro, Ivahn Smadja, Jean-Jacques Szczeciniarz, Claudine Tiercelin, Sean Walsh.

Local Organizing Committee: Sébastien Gandon, Henri Galinon, Dominique Pradelle.


The Fourteenth Midwest Philosophy of Mathematics Workshop will take place October 5-6, 2013 on the campus of the University of Illinois at Urbana/Champaign. MWPMW 14 will meet in conjunction with the Second Meeting of the Association for the Philosophy of Mathematical Practice (October 3-4, 2013).

A call for papers will be forthcoming in the summer.

Fourth PhilMath InterSem

PhilMath InterSem 2013 will take place in June over the course of several meetings, all but one of which will be held at Condorcet building on the Rive Gauche campus of the University of Paris 7-Diderot (one meeting will take place at the University of Lorraine in Nancy). The theme of this year’s InterSem is “Indirect Proof”. Schedule outline:

Further details can be found here.


Workshop on Human Reasoning

An Interdisciplinary Workshop on Human Reasoning will take place at Notre Dame on Friday, April 12, 2013. Speakers include:

  • Joshua Schechter, Brown University
  • Claes Strannegård, University of Gothenburg
  • Lance Rips, Northwestern University
  • Rafael Núñez, University of California, San Diego

Contact Prof. Mic Detlefsen for further information.

First PMA Symposium

The first PMA Symosium will take place on Friday, October 26, 2012 on the Notre Dame campus, within the framework of the 13th Midwest Philosophy of Mathematics Workshop (MWPMW 13).

The following have been confirmed as keynote speakers:

  • Steve Awodey (Carnegie Mellon University), “Homotopy Type Theory and Univalent Foundations”;
  • Jeremy Heis (University of California, Irvine) “Why did geometers stop using diagrams?”;
  • Danielle Macbeth (Haverford College) “The Puzzle of Logic in Relation to Mathematics”.

Mrs. Harriet Baldwin ( is the workshop manager. Any questions  concerning rooms, meals, etc. should be addressed to her. A block of rooms for the MWPMW 13 in conjunction with which the PMA workshop will be meeting has been reserved. Demand for rooms may be high  for that weekend, so it is advisable to reserve a room  as soon as possible. More information, including logistics such as lodging, travel etc., will be available from the Notre Dame Philosophy website.

Please join us for the maiden flight of the Philosophy of Mathematics Association!