THE LOGICAL SYSTEM OF FREGE’S GRUNDGESETZE: A RATIONAL RECONSTRUCTION

This paper aims at clarifying the nature of Frege’s system of logic, as presented in the first volume of the Grundgesetze. We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities...

Descripción completa

Detalles Bibliográficos
Autores: Cadet, Méven, Panza, Marco
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2015
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/8641949
Acceso en línea:https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8641949
Access Level:acceso abierto
Palabra clave:Frege. Second-Order Logic. Grundgesetze der Arithmetik. Begriffsschrift. Frege’s notion of a Function
Descripción
Sumario:This paper aims at clarifying the nature of Frege’s system of logic, as presented in the first volume of the Grundgesetze. We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.