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...

Descripción completa

Detalles Bibliográficos
Autor: Heck Junior, Richard G.
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2016
País:Brasil
Institución:Universidade Estadual de Campinas (UNICAMP)
Repositorio:Manuscrito (Online)
Idioma:portugués
OAI Identifier:oai:ojs.periodicos.sbu.unicamp.br:article/8644413
Acceso en línea:https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8644413
Access Level:acceso abierto
Palabra clave:Ancestral. Hume's Principle. Julius Caesar problem. Natural number
Descripción
Sumario: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'.