Series: Penn State Logic Seminar Date: Tuesday, October 24, 2000 Time: 2:30 - 3:20 PM Place: 307 Boucke Building Speaker: Emily Grosholz, Philosophy Department, Penn State Title: History and Necessity Abstract: Using some ideas of the French philosopher Cavailles, and Andrew Wiles' proof of Fermat's Last Theorem to develop and illustrate my position, I will argue against two current forms of mathematial realism (Resnik's structuralism and Maddy's set theoretical reductionism), in favor of my own version of realism, based on Leibniz's notion of intelligibility.