Activity: Talks or Presentations › Other Invited Talks or Presentations
Neo-Fregeans in the philosophy of mathematics hold that the key to a correct understanding of mathematics is the implicit definition of mathematical language. In this paper, I discuss and advocate the rejection of abstractionism: the constraint (implicit within much of the recent neo-Fregean tradition) according to which all acceptable implicit definitions take the form of abstraction principles. I argue if we take the axioms of mathematical theories themselves as implicit definitions, a much more attractive and unified view of mathematics results.
17 Jul 2019
IUSS Philosophy Seminars: eMath Project - Epistemology of Mathematics and Logic