LA RELACIN ENTRE LAS CIENCIAS FORMALES Y LAS CIENCIAS NATURALES

POR PEDRO M. ROSARIO BARBOSA*

I. Introduccin
Uno de los escritos que ms influy en l filosof! n l!tic fue el ens yo de "uine #Dos do$m s del em%irismo&' en donde firm que no e(iste un distincin re l entre l s cienci s form les y l s cienci s n tur les. ) su%uest diferenci entre m* s r dic en el $r do de *str ccin' %ero no en su s%ecto cu lit ti+o. En % l *r s de "uine' #t,ey re different in de$ree' *ut not in -ind&.. /l lle$ est conclusin l critic r su m estro 0 rn % %or * s r su conce%cin de n liticid d en el criterio de si$nific do. En este escrito *usco demonstr r dos cos s desde un %unto de +ist %l tonist ,usserli no. En %rimer lu$ r' quisier demonstr r que s! , y un diferenci cu lit ti+ entre l s cienci s form les y l s n tur les' y' en se$undo lu$ r' demonstr r que est form % rticul r de %l tonismo es l me1or m ner de com%render l rel cin entre m* s.

II. El Argumento de o! ogm"! del Em#iri!mo$

"uine 2.345 6 distin$ue entre dos ti%os de %ro%osiciones n l!tic s' qu7ll s que son l$ic mente +erd der s t les como #8in$9n ,om*re no c s do es c s do&' y qu7ll s que se definen en t7rminos de su si$nific do' %or e1em%lo' #8in$9n soltero es c s do&.: De cuerdo con "uine' est 9ltim m ner de c r cteri; r los 1uicios n l!ticos est conden d l fr c so. Un #soltero& se define como #no c s do&' lo que constituye un con+encin soci l. Presumi*lemente #soltero& y #no c s do& se %ueden sustituir salva veritate.5 <e mos el e1em%lo de un or cin como #Soltero tiene menos de oc,o letr s&. E+identemente' en este c so no se %uede sustituir #soltero& con #no c s do& salva veritate. Se %odr! o*1et r est sercin firm ndo que en este c so #soltero& no si$nific #no c s do&' sino que se refiere l palabra #soltero&.=
* /ste escrito se deri+ de un conferenci con el mismo t!tulo que se lle+ c *o el :> de no+iem*re de :>>?' en el Semin rio de @ilosof! de l Uni+ersid d de Puerto Rico' Recinto de R!o Piedr s. A :>>?' Pedro M. Ros rio B r*os . Se %ermite l re%roduccin de est o*r ' siem%re y cu ndo se cum%l con l licenci ,tt%BCCcre ti+ecommons.or$ClicensesC*yDndC5.>C%rC. El %9*lico es li*re de co%i r' distri*uir y comunic r %9*lic mente comerci lmente o noDcomerci lmente est o*r * 1o l s si$uientes condicionesB se de*e reconocer los cr7ditos de l o*r de l m ner es%ecific d %or el utor o licenci nte 2%ero no de un m ner que su$ier que tiene su %oyo o %oy n el uso que , ce de su o*r 6' y no se %uede lter r' tr nsform r o $ener r un o*r deri+ d % rtir de est o*r . 8o se %odr im%oner medid s tecnol$ic s que controlen el cceso o uso de es o*r de m ner que restrin1 los t7rminos de est licenci o limite l c % cid d de un reci%iente de est o*r e1ercer sus derec,os * 1o los t7rminos de est licenci . . "uine' .345 ' %. ==. : "uine' .345 ' %%. ::D:=. 5 "uine' .345 ' %%. :ED:?. = "uine' .345 ' %. :?.

)A RE)A0IF8 E8GRE )AS 0IE80IAS @ORMA)ES H )AS 0IE80IAS 8AGURA)ES

Si esto es s!' l sinonimi de #soltero& y #no c s do& de*er! ser un sinonimi co$niti+ . Un +e; nos se$ur mos de esto' %odr! mos r$ument r que #Godos y sol mente los solteros son no c s dos&' es decir #necesariamente todos y slo los solteros son no c s dos&. Sustituy mos en este c so #no c s do& %or #soltero& y o*tendremosB #8eces ri mente todos y solo los solteros son solteros&. ) diferenci entre est %ro%osicin y l nterior y ce en el contenido co$niti+o que ofrecen' 7stos son m rc d mente distintos.4 Pues %odr! mos s l+ r el r$umento firm ndo que #)os solteros son no c s dos& %orque #soltero& y #no c s do& tienen l mism e(tensin y %ueden interc m*i rse salva veritate. Sin em* r$o' t m*i7n los conce%tos #cri tur con cor ;n& y #cri tur con riIones& %resumi*lemente tienen l mism e(tensin' %ero no son interc m*i *les salva veritate.J P recer! ' entonces' que l 9nic m ner de firm r que , y sinonimi de si$nific dos es su%oner que los t7rminos #soltero& y #no c s do& estn n l!tic mente rel cion dos. A,! c emos en un es%ecie de c!rculo +icioso' unque "uine dice' en un es%!ritu noDeuclide no' que c emos en un es%ecie de un cur+ cerr d en el es% cioBE P r distin$uir entre n l!tico y sint7tico tenemos que %el r l conce%to de sinonimi . A l mism +e;' de*emos entender sinonimi como l$o rel cion do l interc m*io salva veritate. Pero l sinonimi no es sufici nte' s! que r$ument mos que son interc m*i *les %orque es neces rio que se s!. H % r e(%lic r l necesid d l$ic de*emos %el r denue+o l n liticid d. G l +e;' % r e+it r ciert s + $ued des del len$u 1e %odr! mos utili; r l$un s re$l s semntic s % r diferenci r entre %ro%osiciones n l!tic s y sint7tic s' t l como lo intent 0 rn %. Sin em* r$o' , *r! que %re$unt rse % r qu7 se utili; n est s re$l s. ) contest cin ine+it *le es que son % r distin$uir entre %ro%osiciones n l!tic s y sint7tic s. De t l m ner c emos' otr +e;' en un r ;on miento circul r. Al *usc r l definicin de n liticid d' y %resu%onemos l nocin que queremos definir.? De ,!' "uine firm que l distincin entre 1uicios n l!ticos y sint7ticos es un do$m de fe de los em%irist s l$icos. P r 7l' l s %ro%osiciones que son l$ic mente +erd der s y qu7ll s que %ro+ienen de l e(%erienci no son diferentes e%istemol$ic mente los dioses $rie$os de l nti$Ked d' y que 7stos se in+ent ron % r e(%lic r t m*i7n lo que l $ente de quell 7%oc %erci*! .3

III. Re!#ue!t"! " %uine en Torno " l" An"liticid"d & Sinteticid"d de l"! 'ro#o!icione!
Aunque muc,os , n querido %resent r los r$umentos de "uine como un refut cin definiti+ cu lquier intento de distin$uir los 1uicios n l!ticos de los sint7ticos' , y que seI l r que 7stos no %lic n otr s m ner s de distin$uir %ro%osiciones n l!tic s y sint7tic s. Por e1em%lo' en un de l s definiciones que L nt ofrece de dic, distincin' 7l se * s en l
4 "uine' .345 ' %%. :ED5.. J "uine' .345 ' %%. 5>D5.. E "uine' .345 ' %. 5>. ) r ;n de %or qu7 % r "uine esto no es estrict mente un circul rid d se de*e quem' desde el %unto de +ist ,olist de "uine' los conce%tos de conser+ cin de +erd d' necesid d l$ic ' sinonimi ' entre otros' son conce%tos que estn entrel ; dos entre s! 2L t;' :>>=' %. .36. ? "uine' .345 ' %%. 5:D53. 3 "uine' .345 ' %%. =:D=JM "uine' .345*' %%. .ED.3.

)A RE)A0IF8 E8GRE )AS 0IE80IAS @ORMA)ES H )AS 0IE80IAS 8AGURA)ES

estructur su1etoD%redic do de un 1uicio' s *er' que un 1uicio es n l!tico si el conce%to del %redic do y est incluido en el conce%to del su1eto' y sint7tico si no es s!..> G m%oco %lic r! l definicin fre$ue n de n liticid d' y que % r Nottlo* @re$e' un %ro%osicin es n l!tic si lle$ mos ell e(clusi+ mente utili; ndo l s leyes de l l$ic form l' y es sint7tic si necesit de l$un %ro%osicin de otr cienci que no se l l$ic . Aqu!' @re$e incluir! los 1uicios de l ritm7tic ' y que' desde su %unto de +ist lo$icist ' l ritm7tic er l % rte de l m temtic deri+ *le de l l$ic . 8o es 7se el c so de l $eometr! ... @in lmente' t m%oco %lic r! l conce%cin de n liticid d de Ousserl. P r 7l' un 1uicio es n l!tico e(clusi+ mente en +irtud de sus com%onentes form les sin contenido em%!rico o sensi*le l$uno' es sint7tico si su +erd d desc ns en sus com%onentes m teri les. P r com%render est distincin que se * s ms en l filosof! de Bern rd Bol; no que en l de L nt' de*emos record r que Ousserl distin$ue entre c te$or! s form les y c te$or! s m teri les. ) s c te$or! s m teri les incluyen conce%tos cuyos referentes son o*1etos m teri les t les como el conce%to de #c s &' #color&' #sonido&' y #es% cio&. Sin em* r$o' t m*i7n , y c te$or! s form les cuyos referentes son form s c te$ori les t les como los conce%tos de # l$o&' #uno&' #o*1eto&' #%ro%ied d&' #rel cin&' #%lur lid d&' #todo y % rtes&' #m $nitud&' y #n9mero&. P r 7l' un 1uicio que es +erd dero %ero que se * s en cu lquier de est s c te$or! s form les tiene que ser un 1uicio n l!tico a priori..: Un +e; definidos los 1uicios n l!ticos y sint7ticos' 7l distin$ue l s leyes n l!tic s de l s necesid des n l!tic s y' en el c so de los 1uicios sint7ticos a priori' l s leyes sint7tic s a priori y necesid des sint7tic s a priori. ) s necesid des n l!tic s son % rticul ri; ciones o c sos es%eci les de 1uicios cuy necesid d se * s en l forma del 1uicio' no en su contenido m teri l. Sin em* r$o' un +e; form li; mos estos 1uicios' es decir' los %urific mos de todo contenido m teri l' entonces e(%res un ley n l!tic . A,or *ien' si l necesid d del 1uicio se * s en c te$or! s m teri les o esenci s m teri les' entonces el 1uicio es sint7tico a priori. ) s necesid des sint7tic s a priori son t m*i7n % rticul ri; ciones de leyes sint7tic s a priori..5 En +erd d' este criterio ,usserli no' unque no es %erfecto' nos %uede ser+ir' %or lo menos' de un %unto de % rtid % r est *lecer l diferenci cu lit ti+ entre l s cienci s form les y l s cienci s n tur les..= En %rimer lu$ r' l definicin ,usserli n es distint l de 0 rn %' no se * s en el conce%to de si$nific do. En se$undo lu$ r' nos yud distin$uir cu lit ti+ mente unos 1uicios que % recen %oy rse en su necesid d l$ic ' t les como l s frmul s l$ic s o l s e(%resiones m temtic s %or un l do' y l s frmul s de l s cienci s n tur les %or el otro. Por e1em%lo' frmul s de l m temtic como l si$uiente' no contienen nin$9n conce%to m teri lB
.> .. .: .5 .= L nt' :>>5' %%. 5:D55 2LR<. AED.>CB..D.=6. @re$e' .???C.333' %. =. Ousserl' .3.5C.333' %%. =>=D=>4 2)U. <ol. II. In+. III. P..6. Ousserl' .3.5C.333' %%. =>4D=>E 2)U. <ol. II. In+. III. PP ..D.:6. Ros do 2:>>? 6 seI l que % rte de l dificult d r dic en que no todos los 1uicios m temticos que se intuiti+ mente su%onemos que son n l!ticos' * 1o l definicin ,usserli n no lo ser! n. Por e1em%lo' si form li; mos el 1uicio #.5Q:5Q55Q=5R.>>& y sustituimos los n9meros %or + ri *les +er! mos que el 1uicio result nte no ser! +erd dero salva veritateB #x5Qy5Qz5Qw5R.>>&. G m%oco teorem s l$icoDm temticos t les como el Georemde l 0om%letud de l )$ic de Primer Orden' y los Georem s de Incom%letud de NSdel ser! n 1uicios n l!ticos 2%%. .5=D.546. Ros do utili; un s definiciones modeloDteor7tic s de %ro%osiciones n l!tic s y sint7tic s 2Ros do' :>>? ' %. .536. P r nuestros %ro%sitos slo utili; remos l s definiciones ,usserli n s como un %unto de % rtid % r discutir el tem %rinci% l.

)A RE)A0IF8 E8GRE )AS 0IE80IAS @ORMA)ES H )AS 0IE80IAS 8AGURA)ES x y x y = x : y :

Por otro l do' l s frmul s de l f!sic incluyen en s! mism s conce%tos m teri les' t les como #fuer; &' #m s &' #dist nci &' y #const nte $r +it cion l&. ) frmul de $r +it cin de l f!sic neTtoni n es un e1em%lo de ello. F g=G m. m : d:

I(. Filo!o)*" de l"! M"tem+tic"! de ,u!!erl

1. Qu son las Ciencias Formales para usserl! A,or *ien' Ousserl mismo %ro%one un filosof! de l s m temtic s que , sido i$nor d en los m*itos de l filosof! n l!tic y de l continent l' y que merece nuestr tencin. De cuerdo con 7l' l cienci ' en su sentido ms m%lio' es de ori$en ntro%ol$ico. Es decir' se ori$in en los ctos ment les de l s concienci s. Est unid d de ctos tiene como correl to un unid d o*1eti+ de %ro%osiciones y de o*1etos. De cuerdo con Ousserl tod %ro%osicin +erd der es siem%re so*re un est doDdeDcos s o un o*1etu lid d..4 P r Ousserl un cto o*1etu l consiste en un cto del entendimiento medi nte el cu l se %uede constituir un est doDdeDcos s 2"ac#ver#alt6 o un o*1etu lid d 2Gegenstandlic#$eit6. 8o sol mente %erci*imos o*1etos sensi*les medi nte l intuicin sensi*le' sino que los %erci*imos de una manera espec%fica. 8o slo %erci*imos un li*ro y un mes ' sino t m*i7n que el li*ro se encuentr sobre l mes . Puedo %erci*ir que este + so se encuentr al lado de l *otell de $u . )os o*1etos sensi*les constituir! n % r Ousserl lo que 7l ll m r! #situ cinDdeDcos s& 2"ac#lage6. Sin em* r$o' un situ cinDdeDcos s' constituid de m ner % si+ nte l concienci ' %uede ser fund mento sensi*le de + rios est dosDdeDcos s. Por e1em%lo' en un mism situ cinDdeDcos s' medi nte ctos o*1etu les' se constituye el est doDdeDcos s en el que se nos %resent Uu n como menor que M r! ' o el otro est doDdeDcos s en que se muestr M r! como mayor que Uu n. Aunque l situ cinDdeDcos s no c m*i ' lo 9nico que c m*i es cmo Uu n y M r! estn formalmente rel cion dos' es decir' c m*i n l s form s c te$ori les que se , ll n fund ment d s en los o*1etos sensi*les M r! y Uu n. En otr s % l *r s' o*tenemos dos est dosDdeDcos s u o*1etu lid des como correl tos de dos ctos o*1etu les distintos..J Sin em* r$o' es medi nte actos significativos que %odemos constituir %ro%osiciones cerc de estos est dosDdeDcos s. Si se nos %resent Uu n como menor que M r! ' medi nte un cto si$nific ti+o %odemos decir que Uu n es menor que M r! en un estructur su1etoD%redic do. I$u lmente' si constituimos M r! como m yor que Uu n' %odemos decir que M r! es m yor que Uu n. H medi nte ctos si$nific ti+o %odemos com%lic r est s %ro%osiciones element les y decir que Uu n es menor que M r! y M r! es m yor que Uu n' o medi nte otro cto si$nific ti+o %odemos decir que Uu n es menor que M r! o M r! es m yor que Uu n. H s!' %odr! mos se$uir com%lic ndo l s %ro%osiciones cuy verdad r dic en su cum%limiento en est dosDdeD cos s..E
.4 Ousserl' .3.5C.333' %. .3>M 2)U. <ol. I. PJ:6. .J Ousserl' .353C.3E5' %%. :5ED:== 2EU. PP4?DJ>6. .E Ousserl' .3.5C.333' %%. J3?DE>: 2)U. <ol. II. In+. <I. PP=:D==6.

)A RE)A0IF8 E8GRE )AS 0IE80IAS @ORMA)ES H )AS 0IE80IAS 8AGURA)ES

0 d +erd d consiste en un %ro%osicin que se cum%le en un est doDdeDcos s. En otr s % l *r s' un verdad nos dice lo que es. Medi nte un cto si$nific ti+o' % rtir de un est doDdeD cos s se %uede e(%res r un verdad que nos dice que ese est doDdeDcos s es el c so. Un o*1etu lid d' un est doDdeDcos s' es un form de ser' y l verdad nos dice que es form de ser es. Por lo t nto' % r Ousserl' l +erd dDenDs! es correl to neces rio del serDenDs!..? P r que l unid d de l cienci se %osi*le' en su sentido ms m%lio e ide l' tiene que formul r un serie de +erd des que son consistentes entre s!' y est s +erd des de*en referirse unos est dosDdeDcos s. Por lo t nto' est s +erd des estn deducti+ mente interconect d s form lmente entre s!' mientr s que se refieren un intercone(in form l de o*1etos. Encontr mos' en este c so' dos unid des' un unid d de intercone(in form l entre %ro%osiciones consistentes que se cum%len en otr unid d' l o*1etu l. Si form li; mos l s +erd des y l s o*1etu lid des' es decir' sustituimos los com%onentes em%!ricos o sensi*les %or + ri *les' descu*rimos en l cienci los com%onentes form les l$icos y los m temticos res%ecti+ mente. De ,! descu*rimos que la l&gica y las matem'ticas se implican mutuamente' son disci%lin s cerc n s..3 ) m temtic %ur ' es decir' lo que ll m * Ousserl #teor! de l s multi%licid des&' es correl to ontol$ico de l l$ic %ur como #teor! de sistem s deducti+os&.:> )e corres%onde l l$ic ' como %ofntic form l o teor! form l del 1uicio' descu*rir l s leyes a priori de l +erd d de los 1uicios y de l s rel ciones deducti+ s entre ellos. Por otro l do' le corres%onde l m temtic %ur ' como ontolo$! form l o teor! form l de o*1eto' descu*rir a priori l s leyes de l unid d ide l de los o*1etos y de los est dosDdeDcos s. (. )pistemolog%a de las *atem'ticas Descu*rimos est s leyes $r ci s l ,ec,o de que medi nte los ctos o*1etu les se nos %resent n efecti+ mente est dosDdeDcos s $r ci s l intuici&n sensible y l intuici&n categorial. Por l intuicin sensi*le se nos d n o*1etos sensi*les. Por l intuicin c te$ori l se nos d n form s c te$ori les que se * s n en los o*1etos sensi*les' %ero que no se reducen lo :. sensi*lemente d do. Un o*1etu lid d se constituye medi nte un cto c te$ori l mi(to' es decir' un cto en que l s form s c te$ori les se nos d n fund d s en los o*1etos sensi*les. :: Al lle+ r c *o un abstracci&n categorial 2form li; cin6' se sustituyen los o*1etos sensi*les %or indetermin dos 2+ ri *les6' y nuestr tencin ,or se centr en l s form s c te$ori les mism s. Esto es un cto c te$ori l %uro %or el que se constituyen form s c te$ori les %ur s.:5 As! como los ctos o*1etu les constituyen o*1etu lid des o est dosDdeDcos s' es tr +7s de ctos si$nific ti+os que se constituyen c te$or! s si$nific ti+ s' es decir' com*in ciones co%ul ti+ s' disyunti+ s' e ,i%ot7tic s de %ro%osiciones. G m*i7n %odemos incluir form s de com*in cin de conce%tos % r que se %ued n form r %ro%osiciones. En otr s % l *r s' , *l mos de un morfolog%a pura de los significados' un gram'tica pura' o un gram'tica universal. Nr ci s est $r mtic %odemos construir un infinid d de form s %osi*les de %ro%osiciones o 1uicios. ) s leyes para evitar el sin+sentido' son l s leyes ide les que %ermiten

.? .3 :> :. :: :5

Ousserl' .3.5C.333' %. .3> 2)U. <ol. I. PJ:6. Ousserl' .3.5C.333' %%. .3>D.35 2)U. <ol. I. PJ:6. Ousserl' .3.5C.333' %. .=3 2)U. <ol. I. P=J6. Ousserl' .3.5C.333' %%. E>:DE>J 2)U. <ol. II. In+. <I. PP=4D=J6. Ousserl' .3.5C.333' %%. E>3DE.:' E5:DE55 2)U. <ol. II. In+. <I. PP=?' J>6. Ousserl' .3.5C.333' %. E55 2)U. <ol. II. In+. <I. PJ>6.

)A RE)A0IF8 E8GRE )AS 0IE80IAS @ORMA)ES H )AS 0IE80IAS 8AGURA)ES l form cin de %ro%osiciones si$nific ti+ s y l %ro%osiciones de m ner si$nific ti+ .:=

com*in cin de %ro%osiciones en otr s

Ousserl t m*i7n firm que 1unto est s leyes t m*i7n e(isten leyes para evitar el contra+ sentido o l contr diccin' que son l s que %ermiten l intercone(in deducti+ de %ro%osiciones de t l m ner que 7st s se n consistentes entre ell s. A est l&gica de la consecuencia le conciene l s teor! s deducti+ s %ur s % r %reser+ r +erd d' t les como l s teor! s de inferenci .:4 Adems de l l$ic de l consecuenci ' , *r! t m*i7n un l&gica de la verdad' que incluye l conce%to de +erd d y otros conce%tos rel cion dos. Esto si$nific que cu lquier intercone(in entre %ro%osiciones %uede con+ertirse en un intercone(in de verdades si dic, s %ro%osiciones se cum%len en sus est dosDdeDcos s corres%ondientes. Si estos 1uicios se contr dicen form lmente' esto los e(cluye a priori de ser +erd d.:J @in lmente' l l$ic %ur ' en su m(im e(%resin es un teor%a de los sistemas deductivos' un estr to fruct!fero que in+esti$ tod s l s form s de tod s l s posibles teor! s l$ic s de m ner a priori.:E En el c so de l s m temtic s tenemos t m*i7n tres estr tos correl cion dos con los ni+eles l$icos. ) s c te$or! s l$ic s que se constituyen en todo cto o*1etu l son categor%as formales+ ob,etuales' o ms %ro%i mente' categor%as formales+ontol&gicas' que incluyen los conce%tos de unid d' %lur lid d' con1unto' n9mero c rdin l' n9mero ordin l' rel cin' todo y % rte' entre otros.:? 0on ell s' los o*1etos estn interconect dos de un m ner es%ec!fic ' %odemos , *l r t m*i7n de un morfolog%a de las intuiciones posibles o un morfolog%a de categor%as formales+ ontol&gicas.:3 B sndonos en est s c te$or! s form lesDontol$ic s %odemos formul r teor! s de ser y noD ser de o*1etos en $ener l y est dosDdeDcos s en $ener l. En este ni+el' se formul un teor! de %lur lid d' * sndonos en el conce%to de %lur lid d' un teor! de con1untos * sndonos en el conce%to de con1untos' un teor! ritm7tic * s d en el conce%to de n9mero' y s! %or el estilo.5> H ms 9n' l s m temtic s en su m(im e(%resin' son un teor! de l s multi%licid des' un estr to fruct!fero que utili; los nteriores ni+eles' y l mism +e; formul nue+os conce%tos m temticos' o se si$n n nue+os si$nific dos s!m*olos' y se e(%lor a priori tod s l s consecuenci s de 7stos siem%re y cu ndo se conser+e su consistenci . Aunque se ins%ir en Bern rd Riem nn' Ousserl incluye como inst nci s de su teor! de l s multi%licid desB l s teor! s euclide n s y noDeuclide n s de nDdimensiones' l s teor! s de V. RoT nDO milton' l teor! de los $ru%os de tr nsform cin de )ie' l teor! de con1untos de 0 ntor' entre otros.5.

:= Ousserl' .3.5C.333' %%. :>.D:>:' =4:D=J?' E5.DE5: 2)U. <ol. I. PJEM <ol. II. In+. I<. PP.>D.=M <ol. II. In+. <I. P436M Ousserl' .3:3C.3J:' 4.D4J 2@G). P.:D.56. :4 Ousserl' .3.5C.333' %%. :>5' =43D=J>' =J=D=J? 2)U. <ol. I. PJ?M <ol. II. In+. I<. PP.:' .=6M Ousserl' .3:3C.3J:' %%. 4JD4? 2@G). PP.=D.46. :J Ousserl' .3:3C.3J:' %%. 4?' JEDJ? 2@G). PP.4' .36. :E Ousserl' .3.5C.333' %%. :>=D:>4 2)U. <ol. I. PJ36M Ousserl' .3:3C.3J:' %%. 35D34 2@G). P:?6. :? Ousserl' .3.5C.333' %%. :>.D:>5 2)U. <ol. I. PJE6. :3 Ousserl' .3.5C.333' %%. E5.DE5: 2)U. <ol. II. In+. <I. P436. 5> Ousserl' .3.5C.333' %%. :>5D:>= 2)U. <ol. I. PJ?6M Ousserl' .3:3C.3J:' %%.E3D?> 2@G). P:=6 5. Ousserl' .3.5C.333' %%. :>4D:>E 2)U. <ol. I. PE>6M Ousserl' .3:3C.3J:' %%. 35D.>= 2@G). PP:?D5=6.

)A RE)A0IF8 E8GRE )AS 0IE80IAS @ORMA)ES H )AS 0IE80IAS 8AGURA)ES

De est m ner ' l l$ic %ur como teor! de sistem s deducti+os' y l s m temtic s %ur s como teor! de l s multi%licid des form n 1unt s un mat#esis universalis.5: Est +isin de l s cienci s form les se 1ust muy *ien l %rctic de l l$ic y de l s m temtic s ,oy d! ' y l mism +e; %uede ser * se % r un e%istemolo$! %l tonist decu d de l s m temtic s. Ros do 2en Oill W Ros do :>>>6 firm que Ousserl del nt lo que ,oy %odr! n consider rse re li; ciones % rci les de dic, teor! de l s multi%licid des o mat#esis universalis t les como teor! de c te$or! ' el l$e*r uni+ers l' l to%olo$! $ener l' entre otr s.55 8o nos ol+idemos que Ousserl se del nt + rios + nces t les como l teor! del todo y de l s % rtes' y que %osi*lemente 7l , y ins%ir do St nisl T )7snieTs-i l des rrollo de l mereolo$! .5= Adems que l m ner que 7l %resent su teor! del todo y de l s % rtes % rece del nt r l estructur de un l$e*r de cl usur rel ti+ y l de un es% cio to%ol$ico rel ti+o.54 Reconocemos l s rel ciones esenci les' es decir' neces ri s y %osi*les' entre form s c te$ori les y %ro%osiciones. Entr en este %roceso l intuici&n de esencias o l intuici&n eidtica.5J ) inter ccin entre est s entid des ide les y el mundo se e(%lic %recis mente en que l s m temtic s se refieren l s estructur s form les que rel cion n o*1etos cu lquier . ) s +erd des l$ic s' %or otro l do' rel cion n %ro%osiciones % r %reser+ r +erd des que se refieren estos est dosDdeDcos s. Esto t m*i7n d cuent de cmo %odemos intuir y %erci*ir est s form s c te$ori les' y que se nos d n fund d s en los o*1etos sensi*les.

(. 'rimer" Re!#ue!t" " %uine

Es con l filosof! de l s m temtic s de Ousserl que %odemos demonstr r que l s cienci s form les son esenci lmente distint s l s cienci s n tur les. ) s %rue* s mism s de que *odus -onens %reser+ +erd d y l %rue* de que l r !; cu dr d de dos es un n9mero irr cion l muestr n que l s +erd des mism s que no tienen com%onentes em%!ricos o sensi*les' es decir' quellos 1uicios que %odr! mos consider r n l!ticos y que son e+identemente neces rios' son slo demonstr *les r cion lmente. Sin em* r$o' % r mostr r l + lide; de l s frmul s de l f!sic teric ' 9n cu ndo muc, s de ell s %ued n descu*rirse form lmente' requieren en 9ltim inst nci que se confirmen o se cum%l n de l$un m ner en l e(%erienci . Est el com%onente e%istemol$ico del cu l "uine t m%oco d cuent . Encontr mos' %or e1em%lo' que un e%istemolo$! como l ,usserli n %uede d r cuent %erfect mente de lo que los cient!ficos co$niti+os , n ll m do #el sentido de n9mero& que es un nocin menos sofistic d % r desi$n r lo que 7l ll m * #intuicin c te$ori l&. Por e1em%lo' Vynn 2.33:6 , demonstr do que los *e*7s de cinco meses de n cidos %ueden lle+ r c *o ctos element les de ritm7tic ' medi nte los cu les se %uede determin r cmo ellos %ueden se$uir el r stro de cu'ntos muIecos de Mic-ey Mouse se le %resent n nte ellos. G m*i7n se , %odido determin r en e(%erimentos seme1 ntes que 9n *e*7s de cinco d! s de n cido lle+ n c *o est o%er cin.5E En t7rminos ,usserli nos' esto si$nific ' en %rimer lu$ r' que el *e*7 de*er! lle+ r
5: 55 5= 54 5J Ousserl' .3.5C.333' %%. .?4D.?E 2)U. <ol. I. PJ>6M Ousserl' .3:3C.3J:' %% .>5D.>E 2@G). PP5=D546. %. :>4. Ros do' .33E' %. 5?=. @ine' .334' %. =E4M Ros do' .33E' %. 5?4. Ousserl' .3.5C.333' %%. E.4DE.E' E5:DE55 2)U. <ol. II. In+. <I. PP4:' J>6M Ousserl .3.5C.334' %%. :>D:5' 5>D 54 2Ide s. PP5' 3D.>6. 5E Pin-er' :>>E' %. 43.

)A RE)A0IF8 E8GRE )AS 0IE80IAS @ORMA)ES H )AS 0IE80IAS 8AGURA)ES

c *o ctos c te$ori les mi(tos que constituir! n % r ellos est dosDdeDcos s. En se$undo lu$ r' medi nte intuicin de esenci s se d r! n cuent de rel ciones form les element les neces ri s entre o*1etos % r determin r que se , I dido o quit do un o*1eto. )o mismo ocurre en el c so de nim les' que %ueden lle+ r c *o ctos ment les % r distin$uir entre c ntid des concret s' con1untos %equeIos y $r ndes' e incluso %oder est *lecer cul c ntid d es m yor o menor que cul.5? En el c so de l$un s ci+ili; ciones isl d s lrededor del mundo' t les como los , *it ntes de l s isl s Murr y' y l s Gorres Str its' ellos %ueden cont r , st tres o cu tro' y ms ll de eso desi$n rlo medi nte conce%tos simil res #un montn de ...&. Esto no es e(tr Io' y que desde un %unto del m*ito +isu l' nosotros no %odemos reconocer cuntos o*1etos , y cu ndo l c ntid d de ellos es su%erior l de cu tro' menos que se or$ nicen dic,os o*1etos de cuerdo con l$9n % trn es%ec!fico' t l como encontr mos' %or e1em%lo' en el c so de los d dos.53 A l mism +e;' %odemos d r cuent de cmo %odemos , cer sum s de n9meros $r ndes' t les como #33'333 Q . R .>>'>>>&' sin , *er tenido e(%erienci l$un de ello.

(I. L"! Te!i! %uine-'utn"m

A,or *ien' f +or de l %osicin ,olist de "uine' 7ste es$rime unos r$umentos 2en l$un s medid s com% rtidos %or Oil ry Putn m6 en contr de un %osicin %l tonist de l s m temtic s. Ellos firm n que l s +erd des form les %ueden ser re+is d s l lu; de l e(%erienci . P r "uine' todas l s %ro%osiciones form les de un sistem l$icoDm temtico son en %rinci%io re+is *les l lu; de l e(%erienci rec lcitr nte' unque usu lmente se %referi*le no , cerlo. El cerc miento de Putn m l s +erd des form les es ms cuid doso' y que 7l no cuestion +erd des t les como #: Q : R =&. Sin em* r$o' s! firm que l l$ic y l s m temtic s , n sido re+is d s l lu; de l e(%erienci .=> Pues' si$uiendo l l!ne de L t; 2.33?6' ll m r7 tesis Quine+-utnam l s si$uientes firm cionesB %rimero' que l s m temtic s y l l$ic %ueden ser re+is d s l lu; de l e(%erienci rec lcitr nte o c m*ios en l s teor! s cient!fic sM se$undo' que l s m temtic s e(isten %or el ,ec,o de que son indis%ens *les % r l cienci .=. 1. .a "egunda /esis Quine+-utnam0 )l 1rgumento de la 2ndispensabilidad 0omencemos %or l se$und tesis "uineDPutn m l que %odremos res%onder' unque no refut r decisi+ mente. Est tesis' conocid t m*i7n como el # r$umento de l indis%ens *ilid d&' , ce un le$ to e(tr Io. 8tese que' l i$u l que , *! n not do )ei*ni; y Oume en su 7%oc ' l s cienci s form les % recen tener + lide; l$ic mente neces ri y uni+ers l. Por #uni+ers l&' enti7nd se que % recer! ser +erd dero en todo mundo %osi*le. /ste % rece no ser el c so de l s leyes de l f!sic . 0omo *ien dir! Oume' tod firm cin de l f!sic ' se
5? Ifr ,' :>>>' %%. 5D=. 53 Ifr ,' :>>>' %. J. => "uine' .345' %%. =5D=4M Putn m' .3E4' %%. .:=D.:J. <er los coment rios de O le 2.3?E6 so*re el %unto de +ist de Putn m so*re l re+is *ility de disci%lin s a priori 2%. .=56. A l tesis r dic l de "uine se le , ll m do equi+oc d mente #Gesis Du,emD"uine&. Pierre Du,em nunc sostu+o el ,olismo t n * rc dor de "uine' sino que sostu+o que slo en el c so de l f!sic 2y s&lo en el c so de l f!sic 6 un e(%erimento %uede refut r decisi+ mente un ,i%tesis' sino todo un $ru%o teor7tico 2Du,em' .33.' %%..?>D.??6. <er l s cr!tic s de Nillies 2.3356 en torno l m lDll m d #Gesis Du,emD"uine& 2%%. 3?D336. =. %. 4>.

)A RE)A0IF8 E8GRE )AS 0IE80IAS @ORMA)ES H )AS 0IE80IAS 8AGURA)ES

teor! ' ,i%tesis o ley' siem%re %odr! ser de otr m ner en cu lquier otro mundo. Ser! e(tr Io' %ues' le$ r que l s + lide; de un s disci%lin s cuy s firm ciones y %rue* s ser! n +lid s en todo mundo %osi*le' de%end de disci%lin s cuy s firm ciones se n' como dir! L rl Po%%er' con1etur s tent ti+ mente do%t d s y su1et s ser f ls d s en cu lquier momento %or l e(%erienci .=: A fin de cuent s' t n firmes son est s leyes l$icoDm temtic s' que en l %rctic cient!fic qued inmedi t mente desc rt d l %osi*ilid d de ser f ls d s. Un e1em%lo de Oem%el 2:>>.6 ilustr esto de m ner *ien sencill . X0mo %odremos im $in r un c so en que se %ued refut r un +erd d m temtic Y Gomemos l firm cin ritm7tic #5 Q : R 4& y conced mos que %ued ser re+is *le %or l e(%erienci . Si +emos unos micro*ios * 1o un microsco%io y los cont mos' %rimero tres y des%u7s dos' y des%u7s de un tiem%o cu ndo los cont mos todos nos d seis' X%odemos decir que se , refut do %or %rimer +e; l firm cin #5 Q : R 4&Y Se$uro que no. Ms *ien su%ondr! mos que l$9n micro*io se re%rodu1o' o que l %rinci%io cont mos m l' %ero ciert mente no concluiremos l f lsed d de dic, +erd d m temtic .=5

2. La Primera Tesis Quine-Putnam

Esto nos lle+ l %rimer tesis "uineDPutn m' l %osi*ilid d de re+is r l s +erd des l$ic s y m temtic s % rtir de l e(%erienci rec lcitr nte. De cuerdo con Oil ry Putn m' y con el "uine de #Dos do$m s del em%irismo&' l cre cin de l l$ic cuntic re%resent un re+isin de l l$ic .== Es ms' de cuerdo con Putn m y otros' l teor! $ener l de l rel ti+id d re+is l $eometr! .=4 <e mos cuid dos mente c d uno de estos c sos. Un de l s leyes de l l$ic clsic % rece no cum%lirse en el mundo de l mecnic cuntic t les como un de l s leyes distri*uti+ sB 2Z 2[ \66 22Z [6 2Z \66

Ilustr cin Si tom mos el f moso e(%erimento de l s dos r nur s 2+7 se ilustr cin6' %odemos o*ser+ r l c r cter!stic ondul tori que tiene l lu;' y que se form un % trn de interferenci en l % nt ll . Sin em* r$o' cu ndo %ens mos en l lu; como result do de l emisin de %equeIos % quetes de ener$! 2fotones6' no se e(%lic cmo se form el % trn de interferenci en l % nt ll . Al menos' de cuerdo con nuestr e(%erienci de lo que son % rt!cul s' no de*er! % recer este % trn. Si cu*rimos un de l s r nur s' des % rece este % trn en l % nt ll ' si se
=: =5 == =4 <7 se un cr!tic ms det ll d en Oill W Ros do' :>>>' %. :J3. %. =. "uine' .345' %. =5M Putn m' .3E4' %. :=?. Putn m' .3E4' %. .E=.

)A RE)A0IF8 E8GRE )AS 0IE80IAS @ORMA)ES H )AS 0IE80IAS 8AGURA)ES

.>

*re denue+o' entonces +uel+e % recer. Dicen l$unos f!sicos cunticos que % recer! que uno y el mismo fotn % s %or m* s r nur s % r mostr r el % trn de interferenci . )le+emos esto ni+el l$ico. Su%on$ mos que p es l %ro%osicin #El fotn % s %or l re$in 3 de l % nt ll &' 4 l %ro%osicin #el fotn % s %or l r nur .& y 45 l %ro%osicin #el fotn % s %or l r nur :&. Si el fotn % s %or l r nur . y l r nur :' +eremos el % trn de interferenci . Esto si$nific que l si$uiente %ro%osicin que utili; l s leyes de distri*ucin tiene que ser f ls B 2p 24 4566 22p 46 2p 4566 Por lo t nto' ,emos +isto un inst nci en que l e(%erienci rec lcitr nte , demonstr do l f lsed d de l s ley clsic de distri*ucin. En %rimer lu$ r' , y que seI l r que uno de los r$umentos en contr de est l!ne de %ens miento l %ro%uso el mismo "uine' y que desde un %unto de +ist %ur mente %r $mtico' est s l$ic s ltern ti+ s t les como l cuntic y l s l$ic s %oli+ lentes' com%lic n ms que lo que sim%lific n l s teor! s cient!fic s. G m*i7n seI l que l redefinicin de l s conecti+ s l$ic s de cuerdo l fenmeno cuntico ser! #c m*i r el tem &. En l l$ic clsic ' el si$nific do de l s conecti+ s se * s n en los + lores +erit ti+os #+erd dero& y #f lso&. ) l$ic cuntic no se * s en + lores +erit ti+os. Por lo t nto' dif!cilmente se %odr! consider r un refut cin de l l$ic clsic . Si c so ser! sol mente un l$ic ltern ti+ ' %ero no un refut cin de l clsic .=J Al m r$en de est cr!tic de "uine' %odr! mos I dir que en el c so de l l$ic cuntic se , ce un e1ercicio cuestion *leB tom mos l s teor! s cient!fic s cuntic s cuyo contenido es conocido a posteriori' y l s con+ertimos en un es%ecie de leyes a priori de l mecnic cuntic . O *r! que mencion r t m*i7n el ,ec,o de que todo esto % rte de un %remis que es en el fondo teric ' y %or ende' tentativa y su,eta a ser refutada por la experiencia' s *er' que l r ;n de %or qu7 un fotn no si$ue l s leyes distri*uti+ s se de*e que un slo fotn % s %or dos r nur s. Est %remis no tiene en consider cin l %osi*ilid d de que %osteriormente se formule l$un teor! cient!fic que resuel+ lo que es ,oy d! un misterio cuntico. Adems' 9n su%oniendo que est %remis % rticul r se correct ' y 9n su%oniendo que l disyuncin en cuestin tiene el mismo sentido que l de l l$ic clsic ' no de*emos ol+id r que l disyuncin en l s leyes distri*uti+ s es inclusiva. Por lo t nto' el ,ec,o de que un fotn % s %or dos r nur s es consistente con est s leyes. @in lmente' de*emos seI l r que l l$ic cuntic ' est s ltur s' tod +! no , yud do cl r r los fenmenos cunticos. Godo lo que 7st , ,ec,o es tr nsferir los misterios de l f!sic cuntic l m*ito l$ico.=E Desde un %unto de +ist e%istemol$ico' l l$ic cuntic es in9til. 8o %odemos ol+id r el le$ to de que l s m temtic s , n sido re+is d s %or l #e(%erienci rec lcitr nte& en el c so de l $eometr! noDeuclide n y l teor! $ener l de l rel ti+id d. "uiero demonstr r que est creenci que no %ocos filsofos sostienen es sencill mente incorrect .=? De cuerdo con est creenci ' l demonstr cin de l + lide; de l $eometr! noD
=J "uine' .3E>' ?5D?J. =E <7 se est cr!tic en 0urd W 0o+er' .33?' %. 5?>. =? <7 se Nillies' .335' ..4.

)A RE)A0IF8 E8GRE )AS 0IE80IAS @ORMA)ES H )AS 0IE80IAS 8AGURA)ES

..

euclide n se sostiene en $r n medid como result do de que Einstein descu*rier que el es% cioDtiem%o no es euclide no' sino ms *ien noDeuclide no. Sin em* r$o' cu ndo estudi mos l s r !ces de l $eometr! noDeuclide n ' esto dist muc,o de ser l +erd d. Primero' fue dur nte el si$lo diecioc,o que el s cerdote 1esuit Nerol mo S cc,eri descu*ri ccident lmente que si se ne$ * el ll m do # (iom de l s % r lel s&' un $eometr! noDeuclide n er l$ic mente %osi*le. 0ontr rio lo que 7l es%er * ' no %uede utili; rse l re$l de reduccin l *surdo % r mostr r que el (iom de l s % r lel s er un (iom *solut mente neces rio % r l $eometr! . Ms t rde' 0 rl @riedric, N uss descu*re que es le$!timo %l nte r l e(istenci di+ersos es% cios m temticos' y di+ers s $eometr! s noD euclide n s. Dur nte el si$lo diecinue+e le toc Unos Boly i' 8i-ol i )o* c,e+s-y y Bern rd Riem nn el *or r est s di+ers s $eometr! s t les como l $eometr! ,i%er*lic y l $eometr! el!%tic . O *r! que seI l r t m*i7n que % r .?3:' y Edmund Ousserl , *! reconocido l + lide; a priori de l $eometr! noDeuclide n . Su nocin de teor! de l s multi%licid des se ins%ir en $r n % rte %or l teor! de l multi%licid d riem ni n .=3 ) filosof! ,usserli n de l teor! de l s multi%licid des se formul % r d r cuent de l + lide; a priori de l $eometr! noD euclide n entre otros des rrollos m temticos de l 7%oc . En todo este %roceso' X,u*o l$9n descu*rimiento cient!ficoDn tur l que re+is o c m*i l $eometr! clsic euclide n % r #f ls rl &Y E+identemente no. God est re+isin de l m temtic fue moti+ d %or %ro*lem s dentro de es disci%lin ' sin inter+encin l$un de l s cienci s n tur les. Al*ert Einstein' l descu*rir' medi nte l teor! es%eci l de l rel ti+id d' que n d %uede +i 1 r ms r%ido que l r %ide; de l lu;' necesit * d r cuent de l m ner en que l fuer; $r +it cion l se com%ort . B 1o l mecnic neTtoni n se dec! que l fuer; $r +it cion l entre o*1etos er inst ntne ' lo cu l ser! im%osi*le si el l!mite de influenci $r +it cion l de un m s so*re otr es l r %ide; de l lu;. /l est * f mili ri; do con l s firm ciones filosfic s de Oenri Poinc r7 de que es l$ic mente %osi*le esco$er un $eometr! noDeuclide n como m ner de sim%lific r un teor! cient!fic ' unque desde su %unto de +ist est %osi*ilid d er remot d do el ,ec,o de que l $eometr! del mundo es euclide n .4> Einstein 2.3?56' contr rio l conse1o de Poinc r7' do%t l $eometr! noDeuclide n % r %oder e(%lic r de un m ner ms sim%le cmo el es% cioDtiem%o c m*i de cuerdo con l %resenci de l m s y l ener$! ' y cmo l fuer; %roducid %or este c m*io tiene como l!mite l r %ide; de l lu;. )o 9nico que ,i;o Einstein fue utili; r l $eometr! noDeuclide n como un modelo m temtico % r %oder sim%lific r su teor! $ener l de l rel ti+id d' cos que no ,u*ier ocurrido si se ,u*ier m ntenido con l $eometr! euclide n .4. De % so' t m*i7n es neces rio cl r r que l $eometr! noDeuclide n no f ls l $eometr! euclide n . ) $eometr! euclide n m ntiene su + lide; en un es% cio euclide no. Sin em* r$o' 7ste se consider en l m temtic contem%orne uno de un infinid d de es% cios m temticos %osi*les.

(II. Conclu!in
Oemos +isto' %ues' que el le$ to de que , , *ido inst nci s en l s que se , re+is do l l$ic y l m temtic % rtir de l e(%erienci es f lso. Si c so' , , *ido re+isin en l
=3 Ros do' :>>J' %%. :>3D:..M Ros do' :>>?*' %. 5.. 4> Poinc r7' .34:' %%. 4>' J=DE.. 4. %%. 55D54' 53.

)A RE)A0IF8 E8GRE )AS 0IE80IAS @ORMA)ES H )AS 0IE80IAS 8AGURA)ES

.:

l$ic en el sentido de que %uede consider rse l %osi*ilid d de des rroll r l$ic s %oli+ lentes' o conecti+ s l$ic s ms ll de l s tr dicion les' l$ic de %rimer orden' y l l$ic de se$undo orden. En el c so de l s m temtic s' , , *ido re+isiones t les como l introduccin de n9meros im $in rios' n9meros irr cion les' con1untos' es% cios de nDdimensiones' es% cios noD euclide nos' y s! sucesi+ mente. Sin em* r$o' no , , *ido en nin$uno de estos c sos re+isiones c us d s de l$un m ner %or l e(%erienci rec lcitr nte. Es ms' l s %rue* s y descu*rimientos m temticos ,ec,os ntes de introducir estos conce%tos' %erm necieron en $r n medid +lidos. )o que s! se re+is ron fueron l s con+icciones de que o un $eometr! noD euclide n no er %osi*le' o que l s r !ces de n9meros ne$ ti+os no ten! sentido' o que slo l l$ic *i+ lente clsic es +lid . As! que %odemos +er que c recen de fund mento l s tesis "uineDPutn m y el %unto de +ist ,olist de "uine' que elimin l distincin entre 1uicios n l!ticos y sint7ticos. Por otro l do' un +isin %l tonist de l s m temtic s' en este c so de l mod lid d ,usserli n ' es lo suficientemente ric como % r ser un * se filosfic % r com%render me1or l rel cin entre l s cienci s form les y l s cienci s n tur les' y %oder estudi r con ms detenimiento y %recisin el tem de l su*determin cin de l s cienci s.

)A RE)A0IF8 E8GRE )AS 0IE80IAS @ORMA)ES H )AS 0IE80IAS 8AGURA)ES

.5

Re)erenci"!
0urd' M. W 0o+er' U. A. 2Eds6. 2.33?6. -#ilosop#y of science0 t#e central issues. 8HB V. V. 8orton W 0om% ny. Du,em' P. 2.33.6. /#e aim and structure of p#ysical t#eory. 2P. P. Viener' Gr d.6. Princeton' 8UB Princeton Uni+ersity Press. Einstein' A. 2.3?56. "idelig#ts on relativity. Do+er Pu*lis,ers. @ine' L. 2.3346. P rtDT,ole. En B. Smit, W D. V. Smit, 2Eds.6 /#e Cambridge companion to usserl. 2%%. =J5D=?J6. USB 0 m*rid$e Uni+ersity Press. @re$e' N. 2.3336. /#e foundations of arit#metic. E+ nston' I)B 8ort,Testern Uni+ersity Press. 2O*r ori$in l %u*lic d en .???6. Nillies' D. 2.3356. -#ilosop#y of science in t#e twentiet# century0 four central t#emes . O(ford nd 0 m*rid$eB Bl c-Tell. Oem%el' 0 rl N. 2:>>.6. On t,e n ture of m t,em tic l trut,. En U. O. @et;er 2Ed.6' /#e p#ilosop#y of Carl G. empel. 2%%. 5D.E6. O(ford Uni+ersity Press. Oill' 0. O. W Ros do' N. E. 2:>>>6. 0ourt. usserl or Frege! *eaning6 ob,ectivity6 and mat#ematics. USB O%en

Ousserl' E. 2.3J:6. .&gica formal y l&gica trascendental. 2). <illorio' Gr d.6 M7(icoB 0entro de Estudios @ilosficos' Uni+ersid d 8 cion l Autnom de M7(ico. 2Ori$in l Tor- %u*lis,ed in .3:36. Ousserl' E. 2.3E56. )xperience and ,udgment. 2U. S. 0,urc,ill W L. Ameri-s' Gr ds.6. )ondonB Routled$e nd Le$ n P ul. 2Ori$in l Tor- %u*lis,ed in .3536. Ousserl' E. 2.3346. 2deas relativas a una fenomenolog%a pura y una filosof%a fenomenol&gica. 2U. N os' Gr d.6 M7(icoB @ondo de 0ultur Econmic . Ousserl' E. 2.3336. 2nvestigaciones l&gicas. <ols. .D:. M dridB Ali n; Editori l. 2O*r ori$in l %u*lic d en .3.56. Ifr ,' N. 2:>>>6. /#e universal #istory of numbers0 from pre#istory to t#e invention of t#e computer . Uo,n Viley W Sons. L nt' I. 2:>>56. Cr%tica de la raz&n pura. 2M. N rc! y M. @ernnde;' Gr d.6 M7(icoB Editori l Porr9 . 2O*r s ori$in les %u*lic d s en .E?. y .E?E6. L t;' U. 2.33?6. 3ealistic rationalism. 0 m*rid$e' MAB G,e MIG Press. L t;' U. 2:>>=6. "ense6 reference6 and p#ilosop#y. USB O(ford Uni+ersity Press. Pin-er' S. 2:>>E6. /#e language instinct0 #ow t#e mind creates language. 8eT Hor-B O r%er Perenni l. Poinc r7' O. 2.34:6. "cience and #ypot#esis. USB Do+er Pu*lic tions. Putn m' O. 2.3E46. *at#ematics6 matter and met#od0 0 m*rid$e Uni+ersity Press. Ros do' N. E. 2.33E6. Edmund OusserlB p#ilosop#ical papers. 2<ol. I6. 0 m*rid$eB

%,iloso%,y for ll se sonsY *odern .ogic. 7. 5C=' 5?>D534. usserl "tudies. ((.

Ros do' N. E. 2:>>J6. Ousserl]s %,iloso%,y of m t,em ticsB its ori$in nd rele+ nce. .35D:::. Ros do' N. E. 2:>>? 6. Ousserl on n lyticity nd *eyond. usserl "tudies. (8' .5.D.=>. Ros do' N. E. 2:>>?*6. /#e young Carnap5s un$nown master0 )o$isc,e Auf* u der Velt. En$l ndB As,$ te.

usserl5s influence on Der R um and Der

)A RE)A0IF8 E8GRE )AS 0IE80IAS @ORMA)ES H )AS 0IE80IAS 8AGURA)ES

.=

"uine' V. <. O. 2.345 6. GTo do$m s of em%iricism. From a logical point of view. 2%%. :>D=J6. 0 m*rid$e' MAB O r+ rd Uni+ersity Press. "uine' V. <. O. 2.345*6. On T, t t,ere is. From a logical point of view. 2%%. .D.36. 0 m*rid$e' MAB O r+ rd Uni+ersity Press. "uine' V. <. O. 2.3E>6. -#ilosop#y of logic. 0 m*rid$eB O r+ rd Uni+ersity Press. Vynn' L. 2.33:6. Addition nd su*tr ction in ,um n inf nts. 9ature. :;<' E=3DE4>.