Workshop on Mathematical Depth


The Department of Logic and Philosophy of Science at the University of California, Irvine, is pleased to announce a workshop on mathematical depth, to be held on Friday, April 11 and Saturday, April 12, 2014. The workshop brings together mathematicians and historians and philosophers of mathematics to try to get a preliminary sense of whether or not the notion of ‘mathematical depth’ can play a useful role in our understanding of the nature and practice of mathematics. Speakers have been encouraged to present an example or examples of concepts, theorems, subject areas that they think qualify as deep, or as not deep, and to lay out the particular mathematical features of those examples that lead them to make those judgments. The discussion will be aimed to do several things:
  1.  See if there is agreement on which examples are deep and not deep.
  2. See if there are commonalities in the kinds of features cited in defense of depth and non-depth assessments in the various examples.
  3. Ask whether depth is or isn’t the same as fruitfulness, surprisingness, importance, elegance, difficulty, fundamentalness, explanatoriness, etc.
  4. Ask whether depth seems likely to be an objective feature or something essentially tied to our interests, abilities, and so on. (Even natural science is tied to our interests and abilities, in that we might be drawn to certain areas of inquiry by our interests, hampered or helped by certain of our abilities, etc. The question is whether depth is tied to our interests and abilities in some more fundamental way.)
One possible outcome would be: this is a non-starter. Another would be: this is worthy of further study.
Friday, April 11th, 2014
10:00AM – 10:45AM: Breakfast
10:45AM – 11:45PM: James Tappenden
11:45AM – 12:00PM: Coffee Break
12:00PM – 1:00PM: John Stillwell
1:00PM – 1:30PM: General Discussion
1:30PM – 2:45PM: Lunch
2:45PM – 3:45PM: Robert Geroch
3:45PM – 4:00PM: Coffee Break
4:00PM – 5:00PM: Jeremy Gray
5:00PM – 6:00PM: General Discussion
Saturday, April 12th, 2014
10:00AM – 10:45AM: Breakfast
10:45AM – 11:45PM: Andrew Arana
11:45AM – 12:00PM: Coffee Break
12:00PM – 1:00PM: Mario Bonk
1:00PM – 1:30PM: General Discussion
1:30PM – 2:45PM: Lunch
2:45PM – 3:45PM: Alasdair Urquhart
3:45PM – 4:00PM: Coffee Break
4:00PM – 5:00PM: Marc Lange
5:00PM – 6:00PM: General Discussion
Location: Social and Behavioral Sciences Building, 1517 on the University of California, Irvine Campus.
Organizers: Jeremy Heis, Penelope Maddy, Sean Walsh, and Jim Weatherall
If you plan to attend or desire more information, please contact


CfP and Conference Announcement: Abstractionism / Neologicism

The UConn Logic Group is proud to announce the first of its annual workshops. The workshops are organized around a researcher whose work has had a significant and lasting influence on a field of logic, broadly construed. The remaining talks, invited and selected, will be given by critics as well as contributors to the field who were influenced by the keynote speaker’s work.
April 26-27, 2014, University of Connecticut, Storrs
Abstractionism / Neologicism
The first workshop in the series will focus on Abstractionism / Neologicism. Abstractionism pursues Frege’s goal of finding a logical foundation for arithmetic by replacing his famously inconsistent Basic Law V with different resources: so-called abstraction principles, understood as implicit definitions. Since the 1983 publication of Crispin Wright’s Frege’s Conception of Numbers as Objects, there has been a wave of literature developing and criticizing this program that still has not subsided. The 2014 UConn Logic Workshop will pursue current work on this project.
Confirmed Speakers:

Crispin Wright (N.I.P. Aberdeen, NYU)

Invited Speakers:
Francesca Boccuni (Milan)  [to be confirmed]
Roy T. Cook (Minnesota)
Richard Heck (Brown)
Øystein Linnebo (Oslo, N.I.P. Aberdeen)
Friederike Moltmann (IHPST Paris, NYU)
Sean Walsh (UC Irvine)
In addition, there will be a limited number of contributed talks, with at least one slot reserved for a graduate student presentation. The winner of the graduate student competition will receive free accommodation and a travel subsidy.
If you would like to contribute a talk, please send your paper to
Please note in your email if you would like to be considered for the graduate student competition.
Talks should not exceed 45 minutes, leaving 30 minutes for discussion.
Deadline for submissions:  February 16th, 2014
Submissions will be selected by the end of February.
Registration for the event will open soon on our website:

For any questions, please contact Marcus Rossberg:

The UConn Logic Group (University of Connecticut Group in Philosophical and Mathematical Logic) was founded in 2008. It is an interdisciplinary research group with faculty and graduate student members from philosophy, mathematics, linguistics, psychology, and law. To find out more, please visit out website:

CfP: Modern Logic 1850-1950, East and West

Submissions are open  for a special volume in Springer’s series Studies in Universal Logic, on the topic:

Modern Logic 1850-1950, East and West.

This volume honors Irving Anellis (1946-2013), founder of the journal Modern Logic (subsequently The Review of Modern Logic) whose more than 140 articles, books, and edited works span the entire history of modern logic.

Topics for the special issue include but are not limited to:

  1.  Mathematical logic: proof theory and meta-mathematics, applications of logic to mathematical structures.
  2. Work of Bertrand Russell in set theory and logic, and of Charles Sanders Peirce in algebra and algebraic logic.
  3. History of proof theory, especially in respect to the Loewenheim-Skolem Theorem and Herbrand’s fundamental theorem; logic trees; natural deduction.
  4. History of logic and mathematics in the Soviet Union and Russia.

Extended versions of work previously published in conference proceedings can be submitted but authors should make it clear how their submission improves upon the conference publication.

Papers should be submitted by email as a .pdf attachment to both guest editors:

Francine F. Abeles:
Mark E. Fuller:

The deadline for submission is: 31 May 2014.

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.