Aggregatore Risorse Aggregatore Risorse

Seminario eMath Project

Immagine

Iuss, Aula 1-15

Palazzo Broletto, Piazza della Vittoria n. 15, Pavia

IUSS Philosophy Seminars
eMath Project
Epistemology of Mathematics and Logic

RESCUING IMPLICIT DEFINITION FROM ABSTRACTIONISM

Daniel Waxman
Lingnan University, Hong Kong

July 17th, 2019, 15-17

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.

Program

For more info: andrea.sereni@iusspavia.it - mariapaola.sforzafogliani@iusspavia.it