[FOM] MWPMW 12 and Related Workshops
Michael Detlefsen
mdetlef1 at nd.edu
Mon Sep 26 17:29:44 EDT 2011
Dear Friends & Colleagues,
This is an invitation to the twelfth annual
Midwest PhilMath Workshop (MWPMW 12), to be held
at Notre Dame the weekend of Saturday, November
5th and Sunday, November 6th. As usual, the plan
is to schedule a full day of talks and
discussions for Saturday and a half day for
Sunday. Also as usual, there will be a workshop
dinner Saturday evening, with all participants
invited to attend as guests of the university.
What is different this year is that we'll be
having both a special symposium Saturday morning
and two related workshops on Thursday, November 3rd and Friday, November 4th.
The special symposium Saturday morning is on The
Nature of Mathematical Reasoning. It will feature
talks by Alan Bundy of the Informatic School at
Edinburgh, Lance Rips of the Psychology
Department at Northwestern and Martin Monti of
the Psychology Department at UCLA. The rest of
the workshop program is given below and also at:
<http://philosophy.nd.edu/news/events/#Conferences>http://philosophy.nd.edu/news/events/#Conferences
The theme of the Thursday workshop is "Knowledge,
Representation and Proof in the Modern Era", and
the theme of the Friday workshop will be "Logic,
Proof and Computation". See their programs and
schedules below and also at:
<http://philosophy.nd.edu/news/events/#Conferences>http://philosophy.nd.edu/news/events/#Conferences
We're fortunate to have Mrs. Harriet Baldwin
(<mailto:baldwin.1 at nd.edu>baldwin.1 at nd.edu) as
the workshop manager again this year. Please
contact her with any questions you may have
concerning rooms, meals, etc.. She has booked a
block of rooms for the workshop. Since there are
other conferences going on the same weekend,
demand for rooms may be high and it would thus be
a good idea to reserve a room with Harriet as
soon as possible. Please do so then by October
15th. Please also indicate to her whether you
will be joining us for lunch and dinner Saturday
and for lunch on Sunday (all as guests of the
university). At that time, kindly also let her
know if you have special dietary requirements.
Finally, I'd ask that you share this announcement
with others you know who might be interested,
including both students and faculty. We are
fortunate once again to have limited funds to
help defray expenses for student participants
coming from out of town whose departments do not
have funds to cover their costs. These funds will
generally take the form of subventions for
lodging. If you are interested in applying for a
subvention, please notify Mrs. Baldwin of that
fact as soon as you can. Please also have an
appropriate faculty member from your department
email me to confirm that it cannot meet your expenses.
That's it for now. I hope the fall is off to a good start for you.
I look forward to seeing you at MWPMW 12 and the other workshops in November.
Cordially,
Mic Detlefsen
Director, MWPMW 12
"Knowledge, Representation and Proof in the Modern Era"
An Ideals of Proof (IP) Workshop in the History and Philosophy of Mathematics
Thursday, November 3, 2011
McKenna Hall, Room 210-214
PROGRAM
9:00am: Douglas Jesseph, Philosophy, University of South Florida
"Leibniz on the Eliminability of Infinitesimals:
Strategies for Finding Truth in Fiction"
10:20am:Andrew Arana, Philosophy, Kansas State
University & Sebastien Maronne, Mathématiques,
Université Paul Sabatier, Toulouse
"Complexity and opacity in early modern geometry"
11:40am:Mary Domski, Philosophy, University of New Mexico
"Descartes and Newton on the Mathematical Character of Natural Philosophy"
LUNCH1-2:20 (Morris Inn)
2:30pm:Emily Carson, Philosophy, McGill University
"Sensibility, understanding and number in Kant"
3:50pm:Vincenzo DeRisi, Max Planck Institute for the History of Science
"Proving an Axiom qua Axiom. On the mathematical
epistemology of Gerolamo Saccheri"
BREAK
5:15pm:Stephen Gaukroger, Philosophy, University of Sydney
"Representation and Demonstration: The Roots of
the Early-Modern Preoccupation with Representation"
"Logic, Proof and Computation"
An Ideals of Proof (IP) Workshop in Logic and the Foundations of Mathematics
Friday, November 4, 2011
McKenna Hall, Romm 201
9am: Sean Walsh, Philosophy, Birkbeck, University
of London & Walter Dean, Philosophy, University of Warwick:
"Reversals and Sameness of Computational Resource"
10:20am: Richard Pettigrew, Philosophy, University of Bristol
"Instrumental Nominalism and the Length of Proofs"
11:40am: Oran Magal, Philosophy, McGill University
"
The logical in mathematics, and the mathematical in logic"
Lunch 1:00-2:20 (Morris Inn)
2:30pm:
Chris Porter, Mathematics & Philosophy, University of Notre Dame
"Algorithmic Randomness, Extensional Adequacy,
and the Exemplary Ideal of Completeness"
David McCarty: "Realism and Church's Thesis"
3:40pm:
Gilles Dowek, Computer Science, INRIA, Paris
"Simple type theory: the logical and the theoretical points of view"
5:00pm: Jouko Väänänen,
Mathematics, University of Helsinki, Institute
for Logic, Language and Computation, University of Amsterdam.
Visiting Professor, Philosophy, NYU
"Dependence and independence in logic"
Social hour: 7:00pm
Dinner: 7:30pm
The Twelfth Annual Midwest PhilMath Workshop (MWPMW 12)
Saturday, Nov 5, 2011
University of Notre Dame
Debartolo Hall, Room 129
Symposium: "The Nature of Mathematical Reasoning"
9am: Martin Monti, Psychology, UCLA
"Language and structure-dependent cognition in the human brain"
10:05: Alan Bundy, Informatics, University of Edinburgh
"What is a Proof?"
11:10: Lance Rips, Psychology, Northwestern University
"Possible Number Systems"
Lunch 12:30pm-1:55pm (Morris Inn)
2:00pm: Geoffrey Hellman, Philosophy, University
of Minnesota-Twin Cities & Stewart Shapiro,
Philosophy, The Ohio State University
"A Categorical Point-Free Reconstruction of the Classical Continuum"
3:05pm: Roy Cook, Philosophy, University of Minnesota-Twin Cities:
"Logicism, Complement and Separation"
4:10: Colin McLarty, Philosophy & Mathematics, Case Western Reserve University
"Fermat's Last Theorem and Peano Arithmetic"
5:15: Daniel Sutherland, Philosophy, University of Illinois-Chicago
"The Role of Enumeration in Kant's Philosophy of Arithmetic"
6:30Social Hour
7:15Dinner (Morris Inn)
The Twelfth Annual Midwest PhilMath Workshop (MWPMW 12)
Sunday, Nov 5, 2011
University of Notre Dame
Debartolo Hall, Room 129
9am: Jouko Väänänen,
Mathematics, University of Helsinki, Institute
for Logic, Language and Computation, University of Amsterdam.
Visiting Professor, Philosophy, NYU
"Second order logic or set theory?"
10:05am:
David McCarty, The Logic Program, Indiana University
"Realism and Church's Thesis"
11:10am: Chris Pincock, Philosophy, University of Missouri
"The Unsolvability of the Quintic: A Case Study
in Abstract Mathematical Explanation"
12:15pm: Paola Cantu, CNRS, CEPERC, Université de Provence
"An Argumentative Analysis of the Method of Ideal Elements in Mathematics"
1:30pm Lunch(Morris Inn)
More information about the FOM
mailing list