Abstract

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.

Keywords : neo-Fregeanism; Frege's theorem; Peano arithmetic; implicit definitions; uniqueness.

        · abstract in Spanish     · text in Spanish     · Spanish ( pdf )