20/11/2015

Anterior

28.6Posicionesfalibilistasenlafilosofiadelasmatematicas.htm

CaptuloXXVIII:Qusonlas
Matemticas?

Siguiente

28.6 Posiciones falibilistas en la filosofa de las

matemticas
Lanocinde"constructivismo''enEducacinMatemticacubreuna panoplia de posiciones
tericas. Se trata de un trmino "paraguas''. Y lo mismo sucede con trminos como
"Empirismo''o"falibilismo''. Lkatos,conartculospublicadosenladcadade1960,asuma
unfalibilismoque,dehecho,siguiendoeldiscursotericopopperiano,permitelaexistencia
defalsadoresnoempricosdeteorasmatemticas:
"Frente a lo que l llam un modelo 'eucldeo' de entender las matemticas, 'infalible',
ofreci una visin crtica falibilista de stas. Su visin se suele asociar con el vocablo
cuasiempirismo. Para Lkatos las matemticas son un resultado de una prctica social e
histrica.Estableceunadistincinentreloqueesesaprcticaindividualysubjetiva(cmo
construyematemticas el matemtico) y el cuerpo terico (el resultado final producido, lo
quesepodrallamarobjetivo)quesevalidaenunacomunidadmatemtica.Laexposiciny
comunicacindelosresultadosalgremiomatemticoysuvalidacindependenentoncesde
reglas aceptadas histrica y socialmente. Su preocupacin central se separa de las de los
intentos absolutistas, los asuntos son otros: cmo se hace la prctica matemtica: su
dimensinsubjetivaperosobretodolaobjetivaylainterrelacinentreellas?''[Ruiz,A.:El
desafodelasmatemticas,p.49]
Veamos esto con mayor detalle. Lkatos parte de la diferencia entre teoras eucldeas y
aquellasquellamacuasiempricas.Sealaesteautor,enprimerlugar:
"Laepistemologa clsica hamodeladodurantedosmil aos suidea de teora, cientfica o
matemtica, sobre la concepcin de la geometra eucldea. La teora ideal es un sistema
deductivo con una inyeccin de verdad indudable en la cspide (una conjuncin finita de
axiomas) de modo que esa verdad, fluyendo hacia abajo desde la cspide, a travs de
canalesdeinferenciasvlidassegurosypreservadoresdelaverdadinundetodoelsistema.
[Lkatos,Imre:Matemticas,cienciayepistemologa,p.47]
Vamosaladistincin:
"Tal vez la mejor manera de caracterizar las teoras cuasiempricas, como algo opuesto a
las teoras eucldeas, sea como sigue. Denominamos 'enunciados bsicos' a aquellas
sentenciasdeunsistemadeductivoenlasqueseinyectainicialmentevaloresdeverdad,y
'enunciadosbsicosverdaderos'alsubconjuntodeenunciadosbsicosque reciben el valor
particularverdadero.Entonces,unsistemaeseucldeosilaclausura[deductiva]deaquellos
desusenunciadosbsicosqueseasumencomoverdaderos.Deotromodo,esunsistema
cuasiemprico.[Lakatos,Imre:Matemticas,cienciayepistemologa,p.48]
Yaade:
"Elqueunsistemadeductivoseaeucldeoocuasiempricovienedeterminadoporelpatrn
del flujo o corriente del valor de verdad en el sistema. El sistema es eucldeo si el flujo
http://www.centroedumatematica.com/aruiz/libros/Historia%20y%20Filosofia/Parte8/Cap28/Parte06_28.htm

1/8

20/11/2015

28.6Posicionesfalibilistasenlafilosofiadelasmatematicas.htm

caractersticoeslatransmisindelaverdaddesdeelconjuntodeaxiomas'haciaabajo',al
restodelsistemaaqulalgicaesunorganondepruebaunsistemaescuasiempricosi
elflujocaractersticoeslaretransmisindelafalsedaddesdelosenunciadosbsicosfalsos
'hacia arriba', hasta 'las hiptesis' la lgica es ahora un organon de crtica. Pero esta
demarcacin entre patrones del flujo de los valores de verdad es independiente de las
convenciones particulares que regulan la inyeccin original de valores de verdad en los
enunciadosbsicos.Porejemplo,unateoraqueescuasiempricasegnmiinterpretacn
puede ser emprica o noemprica en el sentido usual: es emprica slo si sus teoremas
bsicossonenunciadosbsicosespaciotemporalmentesingularescuyosvaloresdeverdad
vienen determinados por el cdigo vigente, aunque no escrito, del cientfico experimental.
Podemos hablar, de modo an ms general, de teoras eucldeas versus, teoras cuasi
empricasindependientementedeloquefluyeporloscanaleslgicos:verdadciertaofalible
y falsedad, probabilidad e improbabilidad, lo moralmente deseable o indeseable, etc. Lo
decisivoeselcmodelflujo).(...).
El desarrollo de una teora cuasiemprica es muy diferente. Este desarrollo parte de
problemas, seguidos de soluciones arriesgadas luego vienen los tests severos, las
refutaciones.Elvehculodelprogresoseencuentraenlasespeculacionesaudaces,lacrtica,
la controversia entre teoras rivales, los cambios de problemas. La atencin se centra
siempre en los bordes oscuros. Los slogans son crecimiento y revolucin permanente, no
fundamentos y acumulacin de verdades eternas. [Lakatos, Imre: Matemticas, ciencia y
epistemologa,p.48,49,50]
Yllegaalaconclusinquesealamosenuncaptuloanterior:
"A la vuelta del presente siglo, la matemtica, 'el paradigma de certeza yverdad',pareca
constituir el ltimo refugio efectivo de la ortodoxia eucldea. Pero, en verdad, existan
algunasgrietasenlaorganizacineucldeainclusoenmatemticas,yesasgrietasproducan
undesasosiegoconsiderable.Hastatalpuntoqueelproblemacentraldetodaslasescuelas
fundacionalesera:'establecerdeunavezportodaslacertezadelosmtodosmatemticos'.
Sinembargo,losestudiosfundacionalescondujeroninesperadamentealaconclusindeque
tal vez fuera imposible una reorganizacin eucldea de la matemtica en su conjunto que
las teoras matemticas, al menos las ms ricas, eran cuasiempricas, al igual que las
teorascientficas.Eleuclideanismosufriunaderrotadentrodesupropiorefugio.[Lakatos,
Imre:Matemticas,cienciayepistemologa,p.50]
MorrisKline,otroejemplo,ensuMathematics.Thelossofcertainty,noasumetampocola
visinaprioristayserefierealamatemtica como una ciencia "cuasiemprica'' que no se
diferenciamucho de la Mecnica u otras ciencias tradicionalmente consideradas empricas
dicequeladiferenciaresideenla"longevidad''delosresultadosmatemticos.

Kitcher
Unadelasobrasmsdensasycompletasqueasumeunaposicin"empirista''enlosnuevos
tiemposesladePhilipKitcher:ThenatureofMathematicalKnowledgede1983.
Conviene,paracompletarestecaptuloyampliarnuestrospensamientos,mencionarunpar
desusideasynuestraposicinfrenteaellas.
Kitcher establece que los orgenes de las matemticas son empricos y pragmticos, y
propone una posicin constructivista que afirma que "... las matemticas son una ciencia
idealizada de operaciones que podemos realizar con relacin a cualesquiera objetos.''
http://www.centroedumatematica.com/aruiz/libros/Historia%20y%20Filosofia/Parte8/Cap28/Parte06_28.htm

2/8

20/11/2015

28.6Posicionesfalibilistasenlafilosofiadelasmatematicas.htm

[Kitcher, P.: The nature of Mathematical Knowledge, p. 12] Algo as como que el input
original es emprico y til y, luego, la capacidad humana de realizar acciones operatorias
hacen las matemticas al margen de una influencia emprica o pragmtica inmediata,
cotidiana.

Elpoetaysumusa,Rodin.

Para Kitcher, los nuevos resultados matemticos obedecen a la necesidad de resolver

problemasqueseplantealacomunidadmatemticadelcaso,perosiempreenestecontexto
separado de nuevos influjos empricos. En un artculo posterior "Mathematical Naturalism''
del libro del que es coeditor: History and Philosophy of Modern Mathematics , Kitcher
resumesuposicindemaneraanmsclara:
"La materia ltima de las matemticas es la forma en la cual los seres humanos
estructuramoselmundo,realizandomanipulacionesfsicascrudasoatravslasoperaciones
del pensamiento. (...) las matemticas (son) como una coleccin de historias sobre las
realizacionesdeunsujetoidealalcualleatribuimospoderesconlaesperanzadeiluminar
las habilidades que tenemos para estructurar el ambiente que nos rodea''. [Kitcher, P.:
"Mathematical Naturalism'' en el libro editado por William Aspray y Philip Kitcher: History
andPhilosophyofModernMathematics,pp.313ysgtes.]
LaesenciadelaposicindeKitcheresdoble:lamatemticaescienciadelasoperaciones
humanas, y su evolucin y racionalidad solo se pueden establecer de manera histrica a
travs de la evolucin misma de las comunidades matemticas al igual que en las otras
cienciasnaturales.
Ensntesis,enloqueserefierealanaturalezadelasmatemticasasumelainfluenciade
PiagetyenlaevolucindestasladeKuhnyelexternalismomoderno.
http://www.centroedumatematica.com/aruiz/libros/Historia%20y%20Filosofia/Parte8/Cap28/Parte06_28.htm

3/8

28.6Posicionesfalibilistasenlafilosofiadelasmatematicas.htm
PiagetyenlaevolucindestasladeKuhnyelexternalismomoderno.

20/11/2015

Esta visin filosfica no es aceptada por quienes consideran a las matemticas como
construccionesracionaleslibressiempredelainfluenciaempricaoprctica.ElprofesorMir
Quesada,porejemplo, critica a Kitcher de manera muy tajante: "No cabe duda de que la
exposicindeKitchersobreeldesarrollodelanlisisesbrillanteyqueconstituyeunaportea
lahistoriadelamatemtica.Sinembargo,noseencuentraenellaningunarelacinconsu
tesis fundamental de que toda la matemtica se funda sobre bases empricas''. [Mir
Quesada, F.: "La naturaleza del conocimiento matemtico: Crtica a un libro de Philip
Kitcher'', en Crtica, Rev. Hispanoamericana de Filosofa, Vol XIX, No. 57 (diciembre de
1987),p.131]
MirjuzgaaKitchercomounpragmatistayafirma:"...laracionalidadmatemticanopuede
reducirse al xito en la solucin de problemas. Este xito no es arbitrario sino que se
comienza a utilizar porque permite comprender racionalmente lo que debe hacerse para
resolverunproblemaqueantesnosepodasolucionar''.[MirQuesada,F.:"Lanaturaleza
del conocimiento matemtico: Crtica a un libro de Philip Kitcher'', en Crtica, Rev.
HispanoamericanadeFilosofa,VolXIX,No.57(diciembrede1987),p.132]
NoestoydeacuerdoconelprofesorMirQuesadaeneldistanciamientodelasmatemticas
queproponeconrelacinalmundoemprico,perosucrticanoesincorrecta:noesslola
solucindeproblemasplanteadossociohistricamenteloquedasostnodefineelcursoa
las matemticas, esto da pie a un relativismo histrico que puede negar la existencia de
progresocientfico(dentrodeunmarcotericonoaprioristaniabsolutistanilineal).
NuestraposicinsedistanciadeladeKitcherdevariasformas:Kitcheraceptaunempirismo
original y luego se libra de l cuando afirma que las matemticas son simplemente una
cienciadeoperacionesenelvaco(aloPiaget).Enestaaproximacin,lasmatemticasson
loquesonsinimportarloquelosmatemticoshagan.ltratadesuperarestoconlanocin
de "racionalidad'' lo que est bien es lo que brinda verdad y comprensin, entonces
establece restricciones. Pero, de cualquier manera, el argumento est basado en la
validacinqueestableceunmarcohistrico:laverdadenmatemticasesloqueestablece
laevolucinhistrica,seacualseaelcursoseguido.
La evolucin de las matemticas histricamente brinda una verdad. No importa si Kitcher
reconoceotrosinputsempricos,dealgunaformasesaledelaconsideracindeverdad:su
teora de verdad en matemticas no es logicista ni formalista ciertamente, es histrica,
historicista (algo similar mutatis mutandis a la de Spengler). De alguna manera da la
impresindequelconfundeel"uso''deoperacioneshumanas(quecreamatemticas)con
lasoperacioneshumanas.Lasmatemticasnodescribenestasoperaciones,lasusan.Estas
operacionespuedenserabstradas,iteradas,generalizadas,multiplicadas,transformadasen
varias dimensiones, pero siempre la base es el uso de ellas en la construccin del
conocimiento.
Laracionalidaddelasmatemticasnopuedeserestablecidasloporuncriteriohistricoo
si se hace el valor de este criterio se trivializa: si no creemos en absolutismos todo es
evidentementehistrico,yquimportanciatieneeso?
LaposicindeKitcheresslidafrentealapriorismo,correctaenelllamadoalahistoria,en
el establecimiento de la conexin con las ciencias naturales, en la vehiculizacin de la
prctica por comunidades sociales y afirmando la conexin emprica con esto se distancia
claramentedelafilosofadominantesobrelasmatemticas.
http://www.centroedumatematica.com/aruiz/libros/Historia%20y%20Filosofia/Parte8/Cap28/Parte06_28.htm

4/8

20/11/2015

28.6Posicionesfalibilistasenlafilosofiadelasmatematicas.htm

Nuestraopininesunpocodiferente:estamosdeacuerdoenelinput original de carcter

emprico y pragmtico (incluyendo la naturaleza de las operaciones humanas que
intervienenenlaprcticamatemtica)esteinputmantienesupapelatravsdelacreacin
dematemticasporquelasoperacionesmentalesqueseusanenlacreacinmatemticase
encuentran en conexin con la realidad emprica. Y, tambin, porque la realidad emprica
sigueproporcionandomsinputsempricosentodomomento.
Entonces,podemoshablardetresinputs:
ielempricooriginalalquetambinhacereferenciaKitcherycuyapresenciaestsiempre
presente,
iilaprcticamatemticaconsuconjuntodeaccionesyoperacionesmentales(queincluye
lalgica,derivadadelaexperiencia),y
iiiloselementosproporcionadosporlasotrasciencias,lastcnicasylasdemsdimensiones
sociales.
En trminos histricos, lasotras cienciasylasmatemticasenefectoestnbajoelmismo
marco, pero, epistemolgicamente, l establece una diferencia: los objetos de las ciencias
naturalesylosdelasmatemticassondediferentetipo,cualitativamentedistintos.

Ernestyelconstructivismosocial
En el mismo terreno, debemos hablar de las posiciones de Paul Ernest, quien afirma un
"constructivismosocial''enlafilosofadelasmatemticasque,enespecial,fundamentasu
visindelaeducacinmatemtica.
Para Ernest las matemticas son una construccin social, un producto cultural, igual de
faliblequeotraspartesdelconocimiento.Elorigendelasmatemticasessocialycultural,y
lajustificacindelconocimientomatemticodescansaensubasecuasiemprica.Estoltimo
en la onda de autores como Lakatos (1976, 1978), Davis y Hersh (1980), Kitcher (1983),
Tymoczko(1986)yWittgenstein(1956).
Su visin asume cosas que son bastante obvias para nosotros: la existencia de un mundo
fsico (realismo) y la existencia de la especie humana y el lenguaje. Cules son los
principios del constructivismo social que propone Ernest? El conocimiento no se recibe
pasivamentesinoactivamenteporelsujeto,ylafuncindelacognicinseadaptaysirvea
laorganizacindelmundodelaexperiencia.Ahorabienestasteoraspersonales,producto
delaorganizacindelmundo,seacomodanarestriccionesimpuestasporlarealidadfsicay
social.Cmo?Atravsdeciclosdeteoraprediccinpruebafracasoacomodacinynueva
teora.Estodaorigenateorasdelmundoaceptadassocialmenteyapatronessocialesya
reglasdelusodellenguaje.Lasmatemticassonlateoradelaformaylaestructuraque
surgeconellenguaje.

http://www.centroedumatematica.com/aruiz/libros/Historia%20y%20Filosofia/Parte8/Cap28/Parte06_28.htm

5/8

20/11/2015

28.6Posicionesfalibilistasenlafilosofiadelasmatematicas.htm

Elbeso,Rodin.

Ernest acepta las dos ideas centrales de Kitcher (origen emprico y evolucin social del
conocimientomatemtico,degeneracinengeneracin),peroseseparaunpocodeKitcher
segnlmismolosealaenlamedidaquenosubrayalasconexioneshistricasentrelas
comunidadesmatemticascomocriterioimportanteparalaaceptacinojustificacindelos
resultadosmatemticos.[Ernest,Paul:ThePhilosophyofMathematicsEducation,p.82]
Desde el punto de vista del gran filsofo del siglo XX Karl Popper, existen 3 mundos: el
mundo 1 es el de los objetos fsicos de la ciencia, los objetos matemticos estaran
subjetivamenteenelmundo2yobjetivamenteenelmundo3.
Segn Ernest la posicin constructivista social afirma que no tenemos acceso directo al
mundo1yquestossonaccesiblessoloatravsdelosmundos1y2elconocimientode
losobjetosmatemticosyfsicosestaranenelmismoplanosegnesta posicin. [Ernest,
P.:ThePhilosophyofMathematicsEducation...p.81]
Para Ernest, al igual que para todos los constructivistas, el sujeto edifica sus teoras con
baseensuexperienciayluegostasseajustanalsersometidasanuevasexperienciascon
el mundo y la sociedad. El conocimiento subjetivo es entonces objetivizado cuando es
sometido a las reglas y condiciones que establece la comunidad matemtica: lo que da
objetividadalosconceptosdelasmatemticaseselacuerdoconestasreglaslasociedad
dalaobjetividad.Laprcticamatemticadescansaeneseiryvenirentreelconocimiento
subjetivo y el objetivo, definido por ese sostn sociogremial no obstante, en las
matemticas, el otro criterio adicional por su naturaleza, inteligimos nosotros es la
http://www.centroedumatematica.com/aruiz/libros/Historia%20y%20Filosofia/Parte8/Cap28/Parte06_28.htm

6/8

20/11/2015

28.6Posicionesfalibilistasenlafilosofiadelasmatematicas.htm

consistencialgicadelosresultados.
Sibienestaposicindefinerestriccionesempricasysociales(incluyendolaslgicas)alos
resultadostericosmatemticos(delamismaformaquealasotrasciencias),elnfasislo
poneenlapartesocial.Losobjetosdelasmatemticasson,entonces,losquelacomunidad
acepte y legitime como tales, y no lo que la contrastacin con la experiencia emprica
demande.
Apesardequeloniegan,tantoestaposicincomoladeKitchercaenenciertorelativismo
yaseastesocialohistrico.

Eternodolo,Rodin.

Con estas visiones estamos de acuerdo en muchas cosas. Hay alguna diferencia con
nuestro enfoque? La principal diferencia frente a nuestro construccionismo socioemprico
estriba en que estas visiones no asumen consideraciones ontolgicas de fondo y exhiben
unafuertetendenciaaunaformadesubjetivismoquepodramosllamarlo,aunqueconpoca
precisin, social. Este tipo de posiciones tiene repercusiones obvias sobre las acciones
educativasquefundamenten.
Ahora bien, este nfasis en lo social hace que propongan una aproximacin que escapa
plenamentedelostrminosdelparadigmaracionalistadelasmatemticas,yabreelcursoa
investigaciones multidisciplinarias: historia, sociologa, psicologa y filosofa de las
matemticas.Enestecuadroterico,sinduda,laenseanzaaprendizajedelasmatemticas
encuentraunsentidomuchomsdinmicoycompleto.
http://www.centroedumatematica.com/aruiz/libros/Historia%20y%20Filosofia/Parte8/Cap28/Parte06_28.htm

7/8

20/11/2015

28.6Posicionesfalibilistasenlafilosofiadelasmatematicas.htm

Anterior

Subir

Siguiente

IndicePrincipal
Biografas
PginadeAngelRuiz

http://www.centroedumatematica.com/aruiz/libros/Historia%20y%20Filosofia/Parte8/Cap28/Parte06_28.htm

8/8