Acceso usuarios
En este trabajo presento un problema que afecta al programa neologicista que han defendido en varias ocasiones Crispin Wright y Bob Hale. En particular, argumento que Wright y Hale no han dado suficientes condiciones para separar las definiciones implícitas apropiadas como el principio de Hume de otras definiciones implícitas rivales como la aritmética de Peano de segundo orden. Sugiero, además, que esa tarea sólo puede realizarse adecuadamente si una de las condiciones propuestas es la condición de que toda definición implícita sea unívoca.
In this paper I consider a problem affecting the Neologicist Program advocated on many occasions by Bob Hale and Crispin Wright. In particular, I argue that Hale and Wright have not given enough conditions to separate appropriate implicit definitions such as Hume's Principle from rival implicit definitions like Second-Order Peano Arithmetic. I also suggest that this task can only be performed adequately if one of the proposed conditions is that every implicit definition be univocal.
