### Two Streams in the Philosophy of Mathematics

#### Posted by David Corfield

A conference with this title will be held on 1-3 July 2009 at the University of Hertfordshire, Hatfield, UK. A description of the rationale for the conference is here. Mathematicians are more than welcome to participate. The deadline for abstracts is 30 April.

**Update**: I forgot to include a link to the conference homepage.

## Re: Two Streams in the Philosophy of Mathematics

That looks right up your alley. I guess you’ll be attending?

It’s a bit sad that philosophers of mathematics who note that ‘formal logic cannot justify the choice of concepts’ in mathematics are called ‘mavericks’. But at least these mavericks are joining up to challenge the ‘mainstream’ philosophers who think logic is the be-all and end-all of mathematics.

The conference description says ‘seminars combining the history and philosophy of mathematics are a regular part of the Parisian university scene’. Does someone here know the people involved in that scene?

My wife Lisa Raphals talks a lot to Karine Chemla, an expert on ancient and medieval Chinese mathematics. She has interesting ideas on what substituted for the concept of ‘proof’ in this stream of mathematics. Anyone wanting to rethink the role of logic in mathematics could do well to ponder that.

But I wonder which seminars are being alluded to above.