Evan Patterson (Topos Inst.): Toward Formalizing Scientific Theories/Models Using Categorical Logic

Evan Patterson (Topos Inst.): Toward Formalizing Scientific Theories/Models Using Categorical Logic

513 Lượt nghe
Evan Patterson (Topos Inst.): Toward Formalizing Scientific Theories/Models Using Categorical Logic
In celebration of the first year of the Doctor of Science program in Mathematics, Philosophy and Physics (MPP) at Chapman University, Schmid College of Science and Technology and the MPP program held a conference on the utility of philosophy for the sciences from January 30 - February 2, 2024. The conference was co-organized by Kennedy Chair in Philosophy Marco Panza, Presidential Fellow Thomas Pradeu, and Dean Michael Ibba. Speakers included world-renowned researchers in the fields of Mathematics, Physics, Philosophy, Social Sciences, Philosophy of Science, and Biology.