Compêndio em Linha de Problemas de Filosofia Analítica (2014)
João Branquinho e Ricardo Santos (eds.)
Lisboa: Centro de Filosofia da Universidade de Lisboa
Logicismo (Fernando Ferreira)
Discute-se o programa logicista da aritmética proposto por Frege, descrevendo com algum detalhe o desenvolvimento fregiano da aritmética. O paradoxo de Russell fez surgir uma nova forma de logicismo. Esta nova forma abandona a noção fregiana de objeto lógico, considera as classes como sendo ficções lógicas e substitui o sistema de Frege por uma teoria de tipos lógicos. Estas propostas são analisadas. Aborda-se também o programa neologicista (e abstracionista) de Hale e Wright e discutem-se brevemente versões predicativas do sistema fregiano original. O escrito termina com algumas considerações sobre o programa neologicista.
Palavras-chave: aritmética Fregeana, paradoxo de Russell, tipos lógicos, neologicismo, predicatividade.
Palavras-chave: aritmética Fregeana, paradoxo de Russell, tipos lógicos, neologicismo, predicatividade.
We discuss Frege’s logicist programme and describe in some detail Frege’s development of arithmetic. Russell’s paradox gave rise to a new form of logicism. This new form abandons the Fregean notion of logical object, considers classes as logical fictions and replaces Frege’s system by a theory of logical types. These proposals are discussed. We also discuss the neologicist (and abstractionist) programme of Hale and Wright and discuss briefly predicative versions of the original Fregean system. The paper finishes with some considerations about the neologicist programme
Keywords: Fregean arithmetic, Russell’s paradox, logical types, neologicism, predicativity.
Keywords: Fregean arithmetic, Russell’s paradox, logical types, neologicism, predicativity.
Conteúdo
1. A lógica de Frege e o operador de extensão
2. A dedução fregiana da aritmética
3. O paradoxo de Russell
4. A teoria dos tipos de Russell e Whitehead
5. Tensões do projeto logicista de Russell
6. O neologicismo
7. A via predicativa
8. Considerações finais
DOI: https://doi.org/10.51427/cfi.2021.0051
How to cite this article:
Fernando Ferreira. Logicismo. In Compêndio em Linha de Problemas de Filosofia Analítica (2014), João Branquinho e Ricardo Santos (eds.), Lisboa: Centro de Filosofia da Universidade de Lisboa.