Logic List Mailing Archive

Midwest PhilMath Workshop 10

9-11 Oct 2009
Notre Dame, U.S.A.

Dear Friends and Colleagues,

We have now received the last of the information we needed for the program
 
announcement for the Midwest PhilMath Workshop 10, to be held Oct 9--11 at
 
Notre Dame. I append it below. Thank you all for participating. I wish you
 
all a safe journey and I look forward to an interesting and enjoyable 
weekend together.


Best regards,

Mic Detlefsen

P.S. Please note that the seminar on Friday afternoon will be held in
a different place from all the rest of the meetings.

=========================
========

Program: MWPMW 10


Friday, October 9, 2009
Hayes-Hurley Center, room 125
4:00--5:30

Special 10th Anniversary Seminar: Set Theory and Philosophy

Tony Martin (Departments of Mathematics and Philosophy, UCLA),
"Evidence in Set Theory"
Nik Weaver (Dept. of Mathematics, Washington U), "Which ordinals are
predicatively provable?"
Hugh Woodin (Dept. of Mathematics, U of California--Berkeley), "The
search for ultimate L"


Saturday, October 10, 2009
All sessions will be held in room 116 of DeBartolo Hall.
Session 1: 9:00am--11:55am
9:00--11:55: Symposium: Philosophical Issues Concerning Set Theory

 =09(i) Hugh Woodin (Dept. of Mathematics, U of California--Berkeley),
"Multiverse views and the search for ultimate (mathematical) truth"
 =09(ii) Nik Weaver (Dept. of Mathematics, Washington U), "Disbelieving
the power set axiom"
 =09(iii) Tony Martin (Departments of Mathematics and Philosophy, UCLA),
"Mathematical Objects & Mathematical Concepts"

Lunch: 12:00--1:30

Session II: 1:45--6:45

1:45--2:40. Geoffrey Hellman (Dept. of Philosophy, U of Minnesota--
Twin Cities), "Reflections on Replacement and Reflection"
2:45--3:40. Madeline Muntersbjorn (Dept. of Philosophy, U of Toledo),
"Poincaré & Mathematical Discovery"
3:45--4:40. Norma Goethe (School of Philosophy, National U of Cordoba,
Argentina) & Michele Friend (Dept. of Philosophy, George Washington
U), "Confronting Philosophical Ideals of Proof"
4:45--5:40. Benedikt Löwe (ILLC, U of Amsterdam), "Idealization in
epistemology of mathematics"

Social Hour: 6:00--7:00
Dinner: 7:00--9:00

Sunday, October 11, 2009
Session III: 9:00am--1:00pm

9:00--9:55. Neil Tennant (Dept. of Philosophy, The Ohio State U), "The
Schröder-Bernstein Theorem"
10:00--10:55. Gregory Lavers (Dept. of Philosophy, Concordia U,
Montreal), "Frege the conventionalist and Carnap the Fregean"
11:00--11:55. Kent Schmor (Dept. of Philosophy, U of Illinois--
Chicago), "Against Intolerance: A Defense of Carnap’s Philosophy of
Mathematics"
12:00--12:55. Tim McCarthy (Dept. of Philosophy, U of Illinois--Urbana/
Champaign), "On the Stability of Gödel’s Second Incompleteness
Theorem"

1:00pm Adjournment