OC-IE HPML Group

In the fall of 2017, a new working group on the history and philosophy of mathematics and logic was started in the Orange Country-Inland Empire area of Southern California. The group constitutes a collaboration of four schools: Chapman University, Pitzer College, CS San Bernardino, and UC Riverside. Roughly once a month, it provides the forum for a talk by an outside speaker, usually at one of the universities involved. If you are interested in participating and want to find out more about the meetings, please send an e-mail here.

For some related events, see also here (SoCal HPLM group) and here (Claremont History of Mathematics Seminar).

Founding members of the OC-IE HPML group:

• Marco Panza, Chapman University
• Drew Moshier, Chapman University
• Jemma Lorenat, Pitzer College
• John Mumma, CS San Bernardino
• Erich Reck, UC Riverside

Upcoming Meetings [all postponed because of Covid-19 virus]:

• New date TBA, Chapman University—talk by Wilfried Sieg, Carnegie Mellon University (title TBA) [may be postponed]

• New date TBA, Claremont, Harvey Mudd College—talk by Giselle Secco, Universitad Feferal de Santa Maria, Brazil (title TBA) [may be postponed]

• New date TBA, UC Riverside, Department of Philosophy—talk by Sean Walsh, UCLA (title TBA) [may be postponed]

Past Meetings:

2019-20

• March 13, 2020, 2-5pm, Chapman University—two talks: Marianna Antonutti Marfori (Munich Center for Mathematical Philosophy, Germany), "Kreisel and Gandy on Mechanism", and Benedict Eastaugh (MCMP, Germany), "Computability Theory and the Foundational Standpoint"

• February, 14, 2020, 1-5:30pm, UC Riverside, Center for Ideas and Society—Leibniz and Infinitesimals workshop, with two talks: Adam Harmer (UC Riverside), "Mereological Nihilism and Simple Substance in Leibniz"; Richard Arthur (McMaster University, Canada) & David Rabouin (University of Paris-Diderot, France), "Leibniz's Syncategorematic Infinitesimals II: Their Existence, their Use and their Role in the Justification of the Differential Calculus" (presented by Richard Arthur)

• February 10, 2020, Chapman University—two talks: Richard Arthur (McMaster University, Canada), "Leibniz's Analysis of Change: Vague States, Physical Continuity, and the Calculus"; and David Rabouin (University of Paris-Diderot, France), "Leibniz on the Reduction to Identities" (presented by Richard Arthur and Marco Panza)

• December 6, 2019, Chapman University—talk by Yanis Moschovakis, UCLA, "On Logical Form and Meaning, following Frege and Montague"

• November 11, 2019, Claremont, Harvey Mudd College—talk by Jeffrey Oaks, University of Indianapolis, "Arithmetic Proofs in Arabic Algebra"

• November 8, 2019, Chapman University—OCIE Research Workshop in History and Philosophy of Mathematics and Logic, with three talks: Andrew Moshier & Alexander Kurz (Chapman University),"Relations in Ordered Categories: Why and How"; John Mumma (CS San Bernardino), "The Logic of Counting Claims"; and Jeffrey Oaks (University of Indianapolis), "Francois Viete's Revolution in Algebra"

• October 11, 2019, UC Riverside, Department of Philosophy (co-organized with the SoCal HPLM group)—talk by Gila Sher, UC San Diego, "Invariance as a Basis for Necessity and Laws"

• September 27, 2019, Chapman University—talk by Jean-Jacques Szczecinarz, University of Paris-Diderot, France, "Grothendieck: An Extraordinary Vision of Mathematics that Wanted to Reach the Absolute"

2018-19

• May 13, 2019, 3pm, Chapman University—talk by Paolo Mancosu, UC Berkeley, "The Company you Keep: Some Recent Work on Neo-Logicism and Abstraction Principles"

• April 16, 2019, 5pm, Chapman University—talk by Michele Piazzai, University of Amsterdam, Netherlands, "The Ecology of Ideas: Computational Evidence of Self-Organization"

• March 4, 2019, 3pm, Chapman University (co-organized with the SoCal HPLM group)—talk by Georg Schiemer, University of Vienna, Austria, "How Geometry Became Structural"

• Febr. 25, 2019, UC Riverside (co-organized with the SoCal HPLM group)—talk by Joan Bertran-San Millan, Czech Academy of Sciences, Prague, "From Begriffsschrift to Grundlagen: Frege's Transition from Function to Concept"

• Febr. 11, 2019, Claremont, Harvey Mudd College—talk by Vincenzo De Risi, University of Paris-Diderot, France, "Johann Lambert and Modern Axiomatics"

• Febr. 1, 2019, Chapman University—talk by Stewart Shapiro, Ohio University and University of St. Andrews, Scotland, "Making Truth Safe for Intuitionists"

• Dec. 3, 2018, 4pm, Chapman University—talk by Arezoo Islami, San Francisco State University, "A Match Made on Earth: On the Applicability of Mathematics in Physics"

• Nov. 19, 2018, 3pm, Claremont, Harvey Mudd College—talk Reviel Netz, Stanford University, "Archimedean Multitudes: Notes on Infinity"

• Oct. 15, 2018, 3pm, Claremont, Harvey Mudd College—talk by Mordechai Feingold, California Institute of Technology, "Teaching Mathematics (and Natural Philosophy) in Early Modern Universities"

2017-18

• May 23-24, 2018, Chapman University—two talks by Brice Halimi, University of Paris-Nanterre, France: "Geometric Modal Logic" (OC/IE HPML Group); "Homotopy Model Theory" (Mathematics Seminar)

• April 16, 2018, Claremont, Harvey Mudd College—talk by Karine Chemla, University of Paris-Diderot, France, "The Impact of Poncelet and Chasles' Reflections on Generality on Kummer's Work with Ideal Divisors"

• March 26, 2018, Claremont, Harvey Mudd College—talk by Niccolo Guicciardini, University of Bergamo, Italy, "Newton the Mathematician—and Beyond"

• March 20, 2018, Chapman University—talk by Michael Detlefsen, University of Notre Dame, "Some Elements of Hilbert's Formalism"

• March 19, 2018, UC Riverside (co-organized with the SoCal HPLM group)—workshop on the philosophy of geometry, with two talks: (i) Michael Detlefsen, University of Notre Dame, "Pasch & Hilbert and their Different Conceptions of Rigor"; and (ii) Vincenzo De Risi, Humboldt University Berlin, Germany, "Continuity and the Foundations of Geometry: from Euclid to Leibniz"

• Febuary 26, 2018, CS San Bernardino—talk by Jeremy Heis, UC Irvine, "Did Kant Believe that Formal Logic is Analytic? Maybe Not"

• January 29, 2018, Chapman University—talk by Jamie Tappenden, University of Michigan, "Frege, Carl Snell and Romanticism; Fruitful Concepts and the 'Organic/Mechanical' Distinction"

• December 11, 2017, Chapman University—talk by Gabriel Uzquiano, University of Southern California, "Cantorian Arguments and the Limits of Thought"

• November 20, 2017, Claremont, Harvey Mudd College—talk by Abram Kaplan, Columbia University, "The Geometry of Situation in 17th-Century England: Wallis, Barrow, Newton"