(Con autorizacién de Revue Internationale de Philosophie, 33 année, #130, 1979, p.
FREGE CRITICO DE KANT
739-760.)
Desde el punto de vista de FREGE, 1a expresién "teorfa formal de la aritmética”
puede designar dos concepciones muy diferentes, de las cuales 61 defendié una con tanto
ardor como combatié a la otra. La segunda es Ia concepcién formalista vulgar, seguin la
aritmética "los signos son vacios y constituyen ellos mismos Ios nimeros"l . La
es la que atribuye a la ariumética un caricter " formal", en el sentido de
xramente légico” que 1a distingue radicalmente de Ia geometrfa y Ia aproxima
cual, en
Jacques Bouveresse
(Traduccién de José O. Suérez M2)
16gica propiamente dicha.
1 "Ueber formal Theoren der Arithetik" (1883), in Keine Schriften, herangegeben von I. Angell, Georg
La primer dice que todas ls propoicionessruméiea pueden ver deducida nicamente
e definiciones de manera paramente gic y,en comecvencia, eben efectivamenie wr
educidas de elas. Por ello Ie mitmésica we encoenra puerta en oposciso con la
geomet que, come todo matemdtice debe estar vn duds convencido, ene necesided