THE LOGICAL SYSTEM OF FREGE’S GRUNDGESETZE: A RATIONAL RECONSTRUCTION
Autor(a) principal: | |
---|---|
Data de Publicação: | 2015 |
Outros Autores: | |
Tipo de documento: | Artigo |
Idioma: | por |
Título da fonte: | Manuscrito (Online) |
Texto Completo: | https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8641949 |
Resumo: | 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. |
id |
UNICAMP-17_bee79ef95a6e9932cae5ef26862d3a4c |
---|---|
oai_identifier_str |
oai:ojs.periodicos.sbu.unicamp.br:article/8641949 |
network_acronym_str |
UNICAMP-17 |
network_name_str |
Manuscrito (Online) |
repository_id_str |
|
spelling |
THE LOGICAL SYSTEM OF FREGE’S GRUNDGESETZE: A RATIONAL RECONSTRUCTIONFrege. Second-Order Logic. Grundgesetze der Arithmetik. Begriffsschrift. Frege’s notion of a FunctionThis 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.Universidade Estadual de Campinas2015-11-26info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8641949Manuscrito: Revista Internacional de Filosofia; v. 38 n. 1 (2015): Jan./Jun.; 5-94Manuscrito: International Journal of Philosophy; Vol. 38 No. 1 (2015): Jan./Jun.; 5-94Manuscrito: Revista Internacional de Filosofía; Vol. 38 Núm. 1 (2015): Jan./Jun.; 5-942317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8641949/9447Copyright (c) 2015 Manuscritoinfo:eu-repo/semantics/openAccessCadet, MévenPanza, Marco2015-12-11T12:05:26Zoai:ojs.periodicos.sbu.unicamp.br:article/8641949Revistahttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscritoPUBhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/oaimwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2015-12-11T12:05:26Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)false |
dc.title.none.fl_str_mv |
THE LOGICAL SYSTEM OF FREGE’S GRUNDGESETZE: A RATIONAL RECONSTRUCTION |
title |
THE LOGICAL SYSTEM OF FREGE’S GRUNDGESETZE: A RATIONAL RECONSTRUCTION |
spellingShingle |
THE LOGICAL SYSTEM OF FREGE’S GRUNDGESETZE: A RATIONAL RECONSTRUCTION Cadet, Méven Frege. Second-Order Logic. Grundgesetze der Arithmetik. Begriffsschrift. Frege’s notion of a Function |
title_short |
THE LOGICAL SYSTEM OF FREGE’S GRUNDGESETZE: A RATIONAL RECONSTRUCTION |
title_full |
THE LOGICAL SYSTEM OF FREGE’S GRUNDGESETZE: A RATIONAL RECONSTRUCTION |
title_fullStr |
THE LOGICAL SYSTEM OF FREGE’S GRUNDGESETZE: A RATIONAL RECONSTRUCTION |
title_full_unstemmed |
THE LOGICAL SYSTEM OF FREGE’S GRUNDGESETZE: A RATIONAL RECONSTRUCTION |
title_sort |
THE LOGICAL SYSTEM OF FREGE’S GRUNDGESETZE: A RATIONAL RECONSTRUCTION |
author |
Cadet, Méven |
author_facet |
Cadet, Méven Panza, Marco |
author_role |
author |
author2 |
Panza, Marco |
author2_role |
author |
dc.contributor.author.fl_str_mv |
Cadet, Méven Panza, Marco |
dc.subject.por.fl_str_mv |
Frege. Second-Order Logic. Grundgesetze der Arithmetik. Begriffsschrift. Frege’s notion of a Function |
topic |
Frege. Second-Order Logic. Grundgesetze der Arithmetik. Begriffsschrift. Frege’s notion of a Function |
description |
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. |
publishDate |
2015 |
dc.date.none.fl_str_mv |
2015-11-26 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8641949 |
url |
https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8641949 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8641949/9447 |
dc.rights.driver.fl_str_mv |
Copyright (c) 2015 Manuscrito info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Copyright (c) 2015 Manuscrito |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidade Estadual de Campinas |
publisher.none.fl_str_mv |
Universidade Estadual de Campinas |
dc.source.none.fl_str_mv |
Manuscrito: Revista Internacional de Filosofia; v. 38 n. 1 (2015): Jan./Jun.; 5-94 Manuscrito: International Journal of Philosophy; Vol. 38 No. 1 (2015): Jan./Jun.; 5-94 Manuscrito: Revista Internacional de Filosofía; Vol. 38 Núm. 1 (2015): Jan./Jun.; 5-94 2317-630X reponame:Manuscrito (Online) instname:Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
instname_str |
Universidade Estadual de Campinas (UNICAMP) |
instacron_str |
UNICAMP |
institution |
UNICAMP |
reponame_str |
Manuscrito (Online) |
collection |
Manuscrito (Online) |
repository.name.fl_str_mv |
Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP) |
repository.mail.fl_str_mv |
mwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br |
_version_ |
1800216565213298688 |