THE LOGICAL SYSTEM OF FREGE'S GRUNDGESTZE: A RATIONAL RECONSTRUCTION
| Data(s) |
01/06/2015
|
|---|---|
| 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. |
| Formato |
text/html |
| Identificador |
http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452015000100005 |
| Idioma(s) |
en |
| Publicador |
UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência |
| Fonte |
Manuscrito v.38 n.1 2015 |
| Palavras-Chave | #Frege #Second-Order Logic #Grundgesetze der Arithmetik #Begriffsschrift #Frege's notion of a Function. |
| Tipo |
journal article |
