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.