Beruflich Dokumente
Kultur Dokumente
;
: ',{
INTRODUCNAtA
FILOSOTADE
LA MATEh,TATICA
Por
STEPHAN KRNER
traduccin de
CARLOS GERHARD
t'
gG
::J-OSOFJA DE
LA
M"AT'AMAT"TCA
EN
LANBNTU
gT
:=::eiica modernas, la de Leibniz acpta la doctrina aristo=.::a de la forma sujeta-predicado de todas las propo$icio: i Lo que no le impide, cotl todo, anticipar rnovirnientos
:- : ::rnos y, en particular, el logieismo moCerno, juntanclo
. :r i naterntica. klediante una doble innovacin j$e"
: i : : s dc s disciplin as, que hasta allf habarr estado cCIrn- : -: :la I re separadas. Por una parte, presenta una tesis
: : : : . .:, acerca de la diferencia entre las verdades de ra:: . ", -as t"erdades de hecho, as corfio de su carcter nnu- i :. - :. : e erclusivc y con juntarne nte exhaustivo" Por otra
::::- ^r.iroduce la idea rnetodotrgiea e{e servirse del clcu*
: :-: -z:.ico como auxiliar del razcnamiento cled"uctivo, nCI
: : r. rquellas disciplinas que pertenecen tradicionabnen: .. . ,, :: airmtica, sino tambir mits all cle stas. Esto
; - : tr e n particular, ia introduccin del cleulo en la
"
-,: lo para mayor precisidln como e n gracia a la bre: :.,.: je ]a exposicin, lo rnejor consiste en citar a pardr
: - ", .'i[onado[oga, en la que Leibniz, en n714, o sfa dos
+^' de su muerte, cla una sinosis de su {ils}sofia.
": -) -r-iiLtrS
H .'. i ambin dos ciases cle uerdad, *elice:, la eXel r&2,rl&'
_
; *"'o
.::.
-:!:a
11egar
As,
pue$,
,''
i-ie
',
erdades
sB6.
22
la explicacin leibniziana
de
clescle
6z'
8 Principes de
Latta, p. 4r4,
r Nf LT MATE}ATICA EN LEIBNIZ
c no se ocupa solamente de la
la nature
et
23
matemtica
*mn
rlmh fu mrnbin de la aplicada. En efecto, una expo& l rnetemtica aplicada ha de poner de manifu
3r Eel"acin entre las proposiciones matemticas y
b
h {trryrrias" y podra verse perfectamente afectada por
lr& rfi.rin emnea o poco clara de estas ltimas, o inclu-
drc pm La atsencia total de todo punto de vista. Esta obrcrrorc-n se aplica no slo a Leibniz, siuo tambin a algut; de strs sucesores.
[,r concepcin de Leibniz del objeto de la matemtica
nmr cr rotalmente distinta de la platoniana o aristotlica.
gggglte iqposible. Pese a cualquier aparien cia prima f ar en contfaiio, la proposicin matem tica es tanto o
rcposiciones son necesariamente ciertas de todos los objmos o de todas las situaciones posibles o, sirvindonos de
3-1 clebre frase de Leibniz, en todos los mundos pasibles.
("t
24
ALGUNAS OPINTONES
TERIORES
.T
DE LT }ATEIUATICA EN LEIBNIZ
25
,rcE-nparticularensusestudiosdelasposibili.j:
rc & una natemtica de los "infinitesimales- que el'
fuMniento de un simbolismo para la representacin,
& cmrriados y demostraciones, por una parte, y Ia comwcesuestnrcturalgica,porIaotra,aunqe$epamcntalmente, tara vez lo eran de hecho.
&
L repre$entacin concreta en smbolos adecuados
de
roas
tr
?ft:rc$
o Citado por Becker, Die Grundla,gen d,er Mathertmtih, Frihrqgo, r gb4, p. Bbg,
io VIe btt*nto Characteristictte uniaersali,s, etlicin cle
I-eibniz por Couturat, Parfs, tg3o, pp. 4s $s.
11 Couturat", op, cit,, p. g3g.
26
r,^'
ffii*u
f ,
'
.,
priori
_s,o_l
concliciones
El sistema filosficc de Kant $e desarroll bajo la influencia de la filosofa racicnalista representada principaknente
por Leibniz y cle la filosofa mpirisra ,*pi*r*urrd" principalmente por Hurne y en oposicin consciente a una y
otra. Tanto F{ume como Leibniz dividen todas las propo-*u, -*r,
siciones en dos clases exclusivas y exhaustivas, esto
propcsiciones analticas y factuales, y arnlos filsofos consideran las proposiciones matemticas cotno analticas.l3
En carnbio, F{ume y Leibniz difieren radicalmente acerca
cle las proposiciones factuaXes.
- r
"':
4] KANT:
:: i aquellas proposiciones: semejante lista permane.:-:fectacla por ctralesquiera cambios en las matem- j as ciencias naturilles. Kant clivide luego las pror:. is sintticas & priori fln dos clases, e sto e s, en
- -: -",'as" y "discursivas". Las intuitivas se relae ionan
.
::,d.o con
. - - : :: i ir
o, y las
:'
-,
"- : o falta
"
"-:
tiirS
s
#
#
gB
.:,
,k
--:.r
@prenddas baj
*::*i,
1,.::
iiii'
na. La pregunra
s9
at
impresiones sensibles, o
pura
stas-ffi
gjgA,
_S.,o,{l...objeos
dades de stos
un ro.
i,1.!ti!frfr.+,Fr+ir!{tliiilllilit llli
'{ffiffiW*ii:i*ir'
m,
r;
i l
'"
-i
espacio
o*:s::ie, por supues,to- difcilmente podra haber ido mu::r ns all de la afirmacin de sus tres d,imensiones ni
i ;escripcin del tiernpo podra haber ido rnucho ms
e-e de afirmar que es unidimensional y dirigido" De he::c. tal parece que la influencia de Kant sobre lqs pensat res posteriores haya sido (en gran parte) a travs de su
:esarrollo ulterior slel punto de vista de que las prbposi;:nes matemticas son tlescripciones del espacio y etr tiem-
"es-
'l
t:..:
3r
-rr-dsas.
descripciones del espaclo y el
Girn
tiempo perceptibles.
Fodemos formular ahora a grandes rasgos las respues:n dc Xant a nueqtra$ preguntas a propsito de la natur' de la maremtica pura y aplicada. La!_Jr-opgqig_-ojles
esfera, digamos, de madera o de metal. Sin embargo, laposibilida de la consrruccin marerial se basa en t"'posibilidad de la construccin a priori -.la esfera de metai en
la posibilidad de una esfera en el espacio-, exactamente
,del rnismo modo que Ia irnposibilidad de Ia construccin
material de una esfera de quince dimensiones se basa en
la imposibilidad de la correspondiente construccin a prori.
'
el tiempo juntamente cn i ffitriii que lu ilena.'
La idea kantiana de la constrwcin como fuente de los
ejemplos de conceptos matemticos, cuya congruencia hrtema est acordada, es supuesta o no se discute, cuando
ble est descrito por Ia geometra euclidiu." tridimeniional. P-ero afirmar al propio tiempo que el espacio percePtual no est descrito ni por Ia $eometra errclidiur ni
por
_la no euclidiana. Et urg.rmento rnismo, sin embargo,
j!!trl{elsolg_ep_t9,dg_Lts.Ilitoli,lr
j_._tg:dg"ul*"i*flgS,n-=
la doctrina de
I
t
I
''t
-q-
..:
s-
'.
32
f
:
:i. '
ti_
E.
!
itk;
*
'
tr
Ft
tt
Fr
#i,
li*
!;
;.
rc
: I
"'*fu
h.
rffi.
br
ml&id4,",16
tm transicin de la idea del infinito potencial cons,rci.ft a Ia del infinito real no consruible $, eR opinin
& Lent, Ia ralz principal de confusin eR 'metaflsica. EL
w $a necesaria, deseable, obietable o indifereg*Sn"^gl
sw
de Ia matemritrca. e$ uRa cuestloR oue clvlce a las
Ga
ff
:._--4-___
-.-:-:**l:.--;l:--.r.*--*#
i-i i
;
t
podemos
i
I
EE
t
t
15 Crltica del iuicdo, S
sO.