Servicios Personalizados
Revista
Articulo
Indicadores
Citado por SciELO
Accesos
Links relacionados
Similares en SciELO
Compartir
Diánoia
versión impresa ISSN 0185-2450
Resumen
ROSENBLATT, Lucas. Implicit Definitions and Uniqueness in the Neologicist Program. Diánoia [online]. 2014, vol.59, n.72, pp.03-24. ISSN 0185-2450.
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.
Palabras llave : neo-Fregeanism; Frege's theorem; Peano arithmetic; implicit definitions; uniqueness.