Diánoia

volumen LIX, número 72, mayo 2014



Definiciones implícitas y unicidad en el programa neologicista

[Implicit Definitions and Uniqueness in the Neologicist Program]

Lucas Rosenblatt

Consejo Nacional de Investigaciones Científicas y Técnicas, Universidad de Buenos Aires

l_rosenblatt@hotmail.com


Páginas:3-24


Resumen: 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 queWright 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.
Palabras clave: neofregeanismo, teorema de Frege, aritmética de Peano, definiciones implícitas, unicidad

Abstract: 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.
Keywords: neo-Fregeanism, Frege’s theorem, Peano arithmetic, implicit definitions, uniqueness



> PDF (172KB)