Definiciones implícitas y unicidad en el programa neologicista

Abstract

En este trabajo presento una cuestión problemática que afecta al Programa Neologicista defendido en varias oportunidades por Crispin Wright y Bob Hale. En particular, argumento que Wright y Hale no han dado suficientes condiciones para separar 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 dicha tarea sólo puede realizarse adecuadamente si una de las condiciones propuestas es la condición de que toda definición implícita debe ser 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.