Frege’s theorem: an introduction

Frege's work was largely devoted to an attempt to argue that the'basic laws of arithmetic' are truths of logic. That attempt had both philosophical and formal aspects. The present note offers an introduction to both of these, so that readers will be able to appreciate contemporary dis...

ver descrição completa

Detalhes bibliográficos
Autor: Heck Junior, Richard G.
Formato: artículo
Estado:Versión publicada
Fecha de publicación:2016
País:Brasil
Recursos:Universidade Estadual de Campinas (UNICAMP)
Repositorio:Manuscrito (Online)
Idioma:portugués
OAI Identifier:oai:ojs.periodicos.sbu.unicamp.br:article/8644413
Acesso em linha:https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8644413
Access Level:acceso abierto
Palavra-chave:Ancestral. Hume's Principle. Julius Caesar problem. Natural number
Descrição
Resumo:Frege's work was largely devoted to an attempt to argue that the'basic laws of arithmetic' are truths of logic. That attempt had both philosophical and formal aspects. The present note offers an introduction to both of these, so that readers will be able to appreciate contemporary discussions of the philosophical significance of 'Frege's Theorem'.