Elorigenseremontaalagreciaantigua

Enlaactualidadseconsideraunaestrecharelacinentrelalgicaylasmatemticas,peropara
lograrlosetienequedefinirelsignificadodecadaunaellasporseparado(expositivo
proposicionalyconceptual),relegandoelementosdedescubrimientoentreellasyalcurso
histricoseguidoporsusnexos.

Sinembargo,lasdoscienciasnosiemprehanmantenidounaestrecharelacin.
Sontresenfoquequedieronimportanciaalalgica:
SilogsticadeAristteles,Proposicionaldelosestoicosylalgicaimplcitaenlos
razonamientosmatemticosdelapoca(geometraeuclidiana),peroprimerosfueron
insuficientesparajustificaralaterceraylonicoqueacercalalgicaalasmatemticasenesa
pocafueronlasvariablescomoelementosexpresivos.Enesemomentonosesabaquela
fuerzadelasdemostracionesradicabaenlainferencialgica,esunalgicaprcticao
emprica,portantosepierdeenesemomentolavinculacinmuchotiempoinclusohasta
tiemposmodernoscuandoKantdijoquelalgicanohabaavanzadohastalaactualidad.

PeroelfilsofoLebnizfueelprimeroenargumentardiferente,intentadarexplicacinala
naturalezadelaverdadmatemticayenloesencialdelaactividadmatemticaunpapelmuy
importantealalgica.
Lafundamentacinlgicaaparecesobretodoenfilosofa,mientrasqueenlasciencias
particularessolosurgenentiemposmsmodernos,lailustracin.Enestapocasetiene
implcitounordendelascosasloquesuponequeelordendelasverdadescientficassonel
resultadodeesaformadepensar,portantounperiododeordenacindeideas,resolviendo
problemasmetodolgicamente,especficosygenerales,quehicieronposibleelavancedel
conocimiento,elpapeldellenguajeenlacienciaylanaturalezadelaverdadmatemtica,en
dondeseubicanlasteorasdeLeibnizylasimportantestesiskantianasdelaaritmticaylos
principiosdelasmatemticas.

ConLeibniz,lalgicaylasmatemticasseaproximanmucho,peroconKantsealejanhastael
puntodeprescindirdeellas,lvealalgicacomoalgosubjetivoyautnomodelas
matemticas.

Bolzanofuelprimeroenacercarseaunenfoquelgicomatemticomsformal,influidopor
Leibniz,lasideasdelailustracinylafsicadeNewton.lsostienelanecesidadde
fundamentarlasmatemticasenlalgicaydistinguirlascomodiferentesramasdel
conocimiento.Suposturabalancealasanteriores.Lasmatemticasseranunconjuntode
conocimientosmatemticossistemticos(teorasyresultados)obtenidosapartirdeprincipios
fundamentalessustentadosporlalgica.Introducelaconcepcindelasmatemticascomoun
lenguaje,cercanaaCarnap.

Frengedaunpasomsalconsideraralasmatemticascomounlenguajeespecial,formay
simblico,sintcticamentepreciso(conceptosyproposiciones),propuestasensulibro

Begriffsschriften1879.Lalgicaseconvierteenunaherramientaimprescindibleparala
investigacindelosfundamentosmatemticosymsqueesodaruncarcterestrictamente
lgicoalasmatemticasexceptolageometra,negandolaexistenciadelaverdadaritmtica
diferenciada,msbiencomouncasoespecialdelaanalticalgica.
Portantoeselprimerrepresentantedellogicismoenlafilosofadelasmatemticas.
EnlaprimeretapadeFregesostienelaTesisformalistadellogicismoqueconsisteenla
descripcinparageneralizarloqueseargumentalcitamenteenlasmatemticas.Ylasegunda
etapa,seplantealareduccindelatotalidaddelasmatemticasalalgica,staltima
implicaalaprimeraperoconmsambicin,yaquelaprimeraesneutralalatesislogicista.

BolzanoyFregeaunqueenperspectivasymomentoshistricosdiferentes,susideassurgen
delesfuerzoporfundamentarelanlisis,restringiendoalmximoelpapeldelaintuicinenlas
matemticas.Sedicequeeselcomienzodelaaritmetizacindelasmatemticasconellos
dos,queresultaenladefinicinprecisadelosnmerosreales,sinrecurriralaintuicin
principalmentegeomtrica,entrminosaritmticosyconjuntistas.*(Loqueliberapuede
suponerparamidarunpasoalaabstraccinperounavancealliberarsedelaconcepcin
geomtrica.)Estosedacomoconsecuenciadelfundamentopreviodelclculoinfinitesimal,la
aritmticadelosnmerosnaturales.