Serviços Personalizados
Journal
Artigo
Indicadores
- Citado por SciELO
- Acessos
Links relacionados
- Similares em SciELO
Compartilhar
Diánoia
versão impressa ISSN 0185-2450
Resumo
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.
Palavras-chave : neo-Fregeanism; Frege's theorem; Peano arithmetic; implicit definitions; uniqueness.