Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Conocimiento e Imaginario Social
Conocimiento e Imaginario Social
2. Se han estudios que han trazado las conexiones entre el desarrollo econmico, tcnico e
industrial y el contenido de las teoras cientficas.
3. Hay muchas pruebas de qu caractersticas culturales, que usualmente se consideran no
cientficas, influyen en gran medida tanto en la creacin como en la evaluacin de teoras y
descubrimientos cientficos.
4.
La importancia que tienen los procesos de entrenamiento y socializacin en la prctica
cientfica se documenta de una manera creciente. Los modelos de continuidad y
discontinuidad, de aceptacin y rechazo parecen ser explicables recurriendo a estos procesos.
Lord Kelivin calcul la edad del sol considerndolo como un cuerpo incandescente en proceso
de enfriamiento y descubri que se habra consumido antes de que la evolucin alcanzara su
estado observable actual. El mundo no es lo suficientemente viejo como para permitir que la
evolucin termine si curso, luego la teora de la evolucin debe de estar equivocada. Los
argumentos de Kelvin causaron consternacin; su autoridad era enorme y en la dcada de
1860 eran irrefutables; se seguan con un rigor convincente de premisas fsicas convincentes.
Para la ltima dcada del siglo, los gelogos se haban armado de valor para decirle a Kelvin
que deba haber cometido un error. Lo que haba ocurrido en ese lapso de tiempo fue una
consolidacin general de la geologa en tanto que disciplina, con una cantidad creciente de
observaciones detalladas de registros fsiles. Slo mediante la comprensin de las fuentes
nucleares de la energa solar se hubiera podido refutar su argumento fsico. Este ejemplo
sirve, para llevar nuevamente la atencin sobre los procesos sociales internos de la ciencia,
de modo que no quepa confinar las consideraciones sociolgicas a la mera actuacin de
influencias externas.
Los enfoques que se han perfilado sugieren que la sociologa del conocimiento cientfico debe
observar los cuatro principios siguientes. De este modo, se asumirn los mismo valores que
se dan por supuestos en otras disciplinas cientficas:
1.
Debe ser causal; ocuparse de las condiciones que dan lugar a las creencias o a los
estados de conocimiento.
2.
3.
4. Debe ser reflexiva. Como el requisito de simetra, ste es una respuesta a la necesidad de
buscar explicaciones generales.
Estos cuatro principios, de causalidad, imparcialidad, simetra y reflexividad, definen lo que se
llamar el programa fuerte en sociologa del conocimiento.
La autonoma del conocimiento
Se deriva de la conviccin de que algunas creencias no requieren explicacin, o no necesitan
de una explicacin causal. Este sentimiento es particularmente fuerte cuando las creencias en
cuestin se toman como verdaderas, racionales, cientficas u objetivas.
Cuando alguien yerra en su razonamiento, entonces la misma lgica nos constituye una
explicacin. Tal vez el razonamiento sea demasiado difcil para la inteligencia limitada del que
razona, tal vez se haya despistado, o est demasiado involucrado emocionalmente en el tema
de discusin. As, Ryle dice dejemos que el psiclogo nos diga por qu nos engaamos; pero
nosotros podemos decirnos mismos y a l por qu no nos estamos engaando. No hay nada
que provoque que la gente haga cosas correctas, pero que hay algo que provoca o causa que
se equivoquen.
Cmo se relaciona este modelo de conocimiento con los principios del programa fuerte? Slo
se pueden localizar las causas del error. La sociologa del conocimiento queda reducida a una
sociologa del error. Si el modelo teleolgico es verdadero, entonces el programa fuerte es
falso. Los modelos causales y teleolgicos representan, por tanto, alternativas programticas
que se excluyen entre s; se trata de posiciones metafsicas opuestas. Todo lo que se puede
hacer es verificar la consistencia interna de las diferentes teoras y luego ver qu sucede
cuando la investigacin y la teorizacin prcticas se basan en ellas. Si es posible decidir su
verdad, slo se podr hacer despus de que se hayan adoptado y usado, no antes. La
sociologa del conocimiento no est obligada a eliminar una posicin rival; slo tiene que
tomar distancias, rechazarla y asegurarse de que su propia casa est en orden (lgico).
Estas objeciones al programa fuerte no se basan, pues, en la naturaleza intrnseca del
conocimiento visto desde la posicin del modelo teleolgico. Slo si el modelo reclama toda
nuestra atencin nos ataran sus correspondientes patrones de explicacin, pero su mera
existencia no le otorgan la fuerza de una prueba.
El modelo teleolgico es perfectamente consistente y tal vez no haya razones lgicas por las
cuales alguien deba preferir el enfoque causal a la posicin orientada conforme a fines. Los
procesos causales se presentarn de modo que los errores percibidos queden en un segundo
plano y, en cambio, resalten la forma de la verdad y de la racionalidad. La naturaleza
adoptar entonces una significacin moral, apoyando y encarnando lo verdadero y los
correcto. Aquellos que tienden a ofrecer explicaciones asimtricas tendrn as todas las
oportunidades de presentar como natural lo que dan por supuesto. Se trata de una receta
ideal para apartar a vista de nuestra propia sociedad, de nuestros valores y creencias y
atender slo a las desviaciones.
El programa fuerte hace exactamente lo mismo en ciertos aspectos. Se basa, asimismo en
valores. Insiste en otorgar a la naturaleza un cierto papel con respecto a la moralidad, aun
cuando sea un papel negativo, lo que quiere decir que tambin presenta como natural lo que
da por supuesto.
El programa fuerte posee cierto tipo de neutralidad moral; el mismo tipo de hemos aprendido
a asociar con las dems ciencias; se impone a s mismo la necesidad de mismo tipo de
generalidad que las dems ciencias. Sera una traicin a estos valores, al enfoque de la
ciencia emprica, elegir adoptar la posicin teleolgica. Se trata de que estos puntos pongan
en manifiesto las ramificaciones de nuestra eleccin y expongan aquellos valores que habrn
de informar nuestro modo de enfocar el conocimiento. La sociologa del conocimiento ya
puede actuar, si lo desea, sin estorbos ni obstculos.
La objecin empirista
La premisa que subyace en el modelo telelogico era que slo deben buscarse causas para el
error o la limitacin, lo cual representa una forma extrema de asimetra y, por tanto, ofrece la
alternativa ms radical al programa fuerte y a su insistencia en estilos simtricos de
explicacin. Puede suceder que se critique al programa fuerte desde un punto de vista menos
extremo. Ciertos tipos de causa estn correlacionados sistemticamente con creencias falsas
o con verdaderas, respectivamente, entonces tendramos otra razn para rechazar la postura
simtrica del programa fuerte.
Las influencias sociales distorsionan nuestras creencias, en tanto que el libre uso de nuestras
facultades de percepcin y de nuestro aparato sensoriomotriz produce creencias verdaderas..
Puede considerarse que este elogio de la experiencia como fuente de conocimiento alienta al
individuo a confiar en sus propios recursos fsicos y psicolgicos para llegar a conocer el
mundo; se trata de una afirmacin de fe en el poder de nuestras capacidades animales para
el conocimiento. Aprtese uno de este camino y confe en sus semejantes, y entonces ser
uno presa de historias supersticiosas, mitos y especulaciones. En el mejor de los casos, estas
historias sern creencias de segunda mano ms que conocimiento directo; en el peor de los
casos, los motivos que se oculten tras ellas sern corruptos, producto de mentirosos y tiranos.
Pese a que la moda actual entre los filsofos empiristas es evitar la versin psicolgica de su
teora, su visin bsica no es demasiado diferente de la que acabamos de bosquejar arriba. Si
el empirismo es correcto, entonces, una vez ms, la sociologa es una sociologa del error, la
creencia o la opinin, pero no del conocimiento en cuanto tal. Esta conclusin conlleva una
divisin del trabajo entre el psiclogo y el socilogo, donde el primero se ocupara del
conocimiento real y el segundo del error o de algo que no sera propiamente conocimiento. La
empresa en su conjunto sera naturalista y causal. Aqu la batalla se libra completamente
dentro del terreno de la ciencia. Esta concepcin empirista del conocimiento ha establecido
correctamente la frontera entre la verdad y el error? Hay dos limitaciones en el empirismo que
sugieren que no:
1.
Sera equivocado suponer que el funcionamiento natural de nuestros recursos animales
siempre produce conocimiento; produce una mezcla de conocimiento y error con igual
naturalidad, y mediante la actuacin de una causa del mismo tipo. Hay ejemplos (mirar
pgina 48) que sugieren que condiciones causales diferentes ciertamente se pueden asociar
con diferentes patrones de creencias verdaderas y falsas; sin embargo, no muestran qu
diferentes tipos de causas se correlacionan de una manera simple con creencias falsas o
verdaderas. Es incorrecto poner todas las causas psicolgicas de un lado de esa ecuacin,
como si naturalmente condujeran a la verdad. Tal vez los mecanismos psicolgicos de
aprendizaje tienen una disposicin ptima de funcionamiento y que producen errores cuando
se salen de foco. Cuando nuestro aparato perceptivo acta bajo condiciones normales y lleva
a cabo sus funciones como es debido, aporta creencias verdaderas.
2.
El punto crucial sobre el empirismo es su carcter individualista. Aquellos aspectos del
conocimiento que cada uno puede y debe darse a s mismo acaso puedan explicarse
adecuadamente mediante ese tipo de modelo. El enfoque psicolgico deja sin explicar el
componente social del conocimiento. La sociedad proporciona estas cosas a la mente del
individuo y aporta, asimismo, las condiciones mediante las cuales pueden sostenerse y
reforzarse. Si su comprensin por el individuo vacila, siempre hay instancias dispuestas a
recordrselo; si su visin del mundo empieza a desviarse, existen mecanismos que alentarn
su realineacin. Las necesidades de comunicacin ayudan a que los patrones colectivos de
pensamiento se mantengan en la psique individual.
El conocimiento de una sociedad no proyecta tanto la experiencia sensorial de sus miembros
individuales, o la suma de los que pudiera llamarse su conocimiento animal, sino ms bien su
visin o visiones de la realidad. Nuestras teoras mejor contrastadas y nuestros pensamientos
ms elaborados nos dicen, pese a lo que puedan decir las apariencias. Se trata de un relato
tejido a partir de las sugerencias y vislumbres que creemos nos ofrecen nuestros
experimentos. En conocimiento, pues, se equipara mejor con la cultura que con la
experiencia.
Si se acepta esta acepcin de la palabra conocimiento, entonces la distincin entre la
verdad y el error no es la misma que la distincin entre la experiencia individual (ptima) y la
influencia social; se convierte en una distincin dentro de la amalgama de experiencias y
creencias socialmente mediadas que constituyen el contenido de una cultura Se trata de una
discriminacin entre mezclas de experiencias y creencia que rivalizan entre s.
Lo que para nosotros cuenta como conocimiento cientfico es, en gran medida, terico. Es
una visin muy terica del mundo la que, en cada momento dado, puede decirse que conocen
los cientficos; sus teoras adonde deben acudir cuando se les pregunta qu nos pueden decir
acerca del mundo. Pero las teoras y el conocimiento terico no son cosas que se den en
nuestra experiencia, sino que son lo que da sentido a la experiencia al ofrecer un relato de lo
que la subyace, la cohesiona y da cuenta de ella. La teora no se da junto con la experiencia
que ella explica, no tampoco se apoya nicamente en ella. Se requiere otro agente, aparte del
mundo fsico, que oriente y apoye este componente del conocimiento. El componente terico
del conocimiento es un componente social, y es una parte necesaria de la verdad, no un signo
de un mero error.
El modelo teleolgico era ciertamente una alternativa radical al programa fuerte, pero no
existe la menor obligacin de aceptarlo.
La premisa de que la causalidad implica error, sobre la cual descansa estor argumentos, ya ha
sido expuesta y rechazada. El que una creencia sea juzgada como verdadera o falsa no tiene
nada que ver con que tenga o no causa.
La objecin del conocimiento futuro
El determinismo social y el determinismo histrico son dos ideas estrechamente relacionadas.
Quienes creen que hay leyes que rigen los procesos sociales y las sociedades se preguntarn
si tambin hay que leyes rijan su sucesin y desarrollo histricos. La sociologa del
conocimiento haya sido criticada por quienes creen que la propia idea de ley histrica est
basada en el error y la confusin, uno de esos crticos es Karl Popper.
Una sociologa que suministrara leyes permitira la prediccin de futuras creencias. En
principio parece que habra de ser posible saber qu aspecto tendr la fsica del futuro, igual
que es posible predecir los estados futuros de un sistema mecnico: si se conocen sus leyes y
su posicin inicial, as como las masas y las fuerzas que los componen, se deben poder
determinar su posiciones futuras.
La objecin de Popper a esta ambicin es, en parte, informal y, en parte, formal. De manera
informal, observa que el comportamiento y la sociedad humanos no ofrecen el mismo
espectculo de ciclos repetidos de acontecimientos que ciertas partes limitadas del mundo
natural As que las predicciones a largo plazo son muy poco realistas; y hasta aqu no
podemos dejar de estar de acuerdo con l.
Es imposible, segn Popper, predecir el conocimiento futuro, y la razn est que cualquier
prediccin de este tipo debera dar cuenta del descubrimiento de ese conocimiento. El modo
en que nos comportamos depende de lo que sabemos, as que el comportamiento futuro
depender de ese conocimiento impredecible y, por tanto, tambin ser impredecible. Este
argumento conduce a crear un abismo entre las ciencias naturales y las sociales en la medida
en que stas se atrevan a afectar a los humanos en tanto que poseedores de conocimiento.
Sugiere que las aspiraciones del programa fuerte est mal encaminada y que debera
proponerse algo ms modestamente emprico. La observacin de Popper es correcta, aunque
trivial, probara que es imposible hacer previsiones en el mundo fsico. El razonamiento es
ste: es imposible hacer previsiones en fsica que utilicen o se refieran a procesos fsicos de
los que no sabemos nada. Ahora bien, la evolucin del mundo fsico depende, en parte, de la
accin de estos factores desconocidos: el mundo fsico es impredecible.
Se objetar que todo lo que se prueba con esto es que nuestras predicciones sern con
frecuencia errneas, no que la naturaleza sea impredecible. Lo que Popper est ofreciendo es
un razonamiento inductivo basado en el cmulo de nuestras ignorancias y omisiones. La
razn que da es que las acciones futuras de la gente a menudo dependern de cosas que se
sabrn entonces pero que no sabemos ahora, por lo que nos podemos tenerlas en cuenta
cuando hacemos la prediccin. La conclusin correcta que debe de sacarse para las ciencias
sociales es que apenas podremos avanzar a no ser que sepamos al menos tanto como ellos
sobre su situacin.
El conocimiento limitado y el amplio campo de error aseguran que estas previsiones sern
falsas en su mayor parte, El hecho de que la vida social dependa de la regularidad y el orden
nos permite esperar la posibilidad de un progreso. Popper considera la ciencia como una
perspectiva incesante de conjeturas refutadas.
La superficie emprica del mundo natural est dominada por tendencias. Esas tendencias se
refuerzan o debilitan esa funcin de una lucha subyacente entre leyes, condiciones y
contingencias. Nuestra comprensin cientfica trata de entresacar aquellas leyes que, como
estamos tentados de decir, estn detrs del estado de las cosas. Al oponer los mundos
natural y social, la objecin omite compararlos al mismo nivel, pues compara las leyes
subyacentes a las tendencias fsicas con la superficie puramente emprica de las tendencias
sociales.
El estudio histrico de Kuhn sobre la astronoma es un inventario precisamente de lo difcil
que es encontrar regularidades bajo las tendencias. El que haya o no leyes sociales
subyacentes es una cuestin de investigacin emprica y no de debate filosfico. Las leyes
que surjan podrn no regir tendencias histricas globales, pues stas son probablemente
mezclas complejas, como el resto de la naturaleza. Los aspectos del mundo social que se
ajusten a leyes se referirn a factores y procesos que se combinan para producir efectos
empricamente observables.
Para concretar la discusin sobre leyes y predicciones, puede ser til finalizar con un ejemplo
que muestre qu tipo de ley es el que busca realmente el socilogo de la ciencia.
La bsqueda de leyes y de teoras en la sociologa de la ciencia es, en sus procedimientos,
absolutamente idntica a la de cualquier otra ciencia, lo que significa que deben seguirse los
pasos siguientes:
Debe inventarse una teora que explique esas regularidades empricas, para lo cual
formular un principio general o recurrir a un modelo que d cuenta de los hechos, Al
hacerlo, la teora proporcionar un lenguaje con el que poder hablar de ellos, a la vez que
afinar la percepcin de esos mismo hechos. El alcance de la regularidad se ver con mayor
claridad cuando se logre dar una explicacin de la vaga formulacin inicial. La teora o el
modelo pueden explicar no slo por qu se da la regularidad emprica sino tambin por qu
no se da en ciertas ocasiones.
La teora puede sugerir investigaciones empricas ms refinadas que, a su vez, pueden
reclamar ms trabajo terico, como puede ser la refutacin de la teora original o la exigencia
de su modificacin y reelaboracin.
Un planteamiento ms naturalista se limitar a tomar los hechos tal y como son a inventar
una teora para explicarlos. Una de las que se han propuesto para explicar las disputas sobre
la prioridad considera el funcionamiento de la ciencia como un sistema de intercambio. Las
contribuciones se intercambian por reconocimiento y status. Como el reconocimiento es
importante y un bien escaso, se lucha por conseguirlo, lo que origina las disputas sobre la
prioridad. La ciencia depende en buena medida de la publicacin y comunicacin de los
conocimientos, por lo que cierto nmero de cientficos a menudo se encuentran en situacin
de realizar avances similares. Se trata de una carrera reida entre corredores muy igualados.
Los descubrimientos implican algo ms que hallazgos empricos: implican cuestiones de
interpretacin tericas. Los descubrimientos que tiene lugar en momentos de cambio terico
desencadenan disputas; aquellos que se hacen en momentos de estabilidad terica no lo
hacen.
Evidentemente, la cosa no se queda aqu:
1. Habr que contrastar la versin refinada de la ley para ver si es plausible empricamente.
Contratar une prediccin sobre las creencias y comportamientos de los cientficos.
2.
De lo que se trata es del modo general en que los hallazgos empricos y los modelos tericos
se relacionan entre s, de cmo interactan y se desarrollan. Lo importante es que en las
ciencias sociales lo hacen exactamente del mismo modo que en cualquier otra ciencia.
Experiencia sensorial, materialismo y verdad
Se discutir la relacin entre las componentes empricas y sociales del conocimiento. Se
destacar las aportaciones que el empirismo ha hecho a la sociologa del conocimiento; sus
insuficiencias como sus virtudes. Para el socilogo de la ciencia la cuestin se centra en la
fiabilidad de las percepciones sensoriales y a la manera de analizar correctamente los casos
de percepcin errnea en la ciencia. Y lo hace porque ofrece un tentador camino de
acercamiento al modo en que actan los factores sociales en la ciencia. Se arriesgan a no dar
cuenta del carcter fiable y reproducible de los fundamentos empricos de la ciencia. Cumplen
un papel de proteccin frente las percepciones errneas, las identifican, las exponen y las
corrigen. Su investigacin se ver confinada en una sociologa del error y no atender al
conocimiento en general.
La fiabilidad de la experiencia sensorial
Los psiclogos, los historiadores y los socilogos han suministrado ejemplos fascinantes de
interaccin entre procesos sociales y percepciones, o entre percepciones y recuerdos. Donde
algunos observadores no ven nada, o no detectan el menor orden ni concierto, otros perciben
algo que se ajustaba a lo que esperaban.
Como muchos de estos casos (mirar pgina 62) se refieren a cientficos que no ven cosas que
contradicen sus teoras, uno de los enfoques que se han ensayado consiste en asimilarlos al
fenmeno de resistencia al descubrimiento cientfico. Estos casos incluyen resistencias a
ideas, teoras y enfoques nuevos; resistencia a tcnicas no habituales, como el uso de las
matemticas en biologa, as como resistencia a ciertas interpretaciones que pudieran darse
de la experiencia sensorial.
Como dice Barber, que el cientfico haba sido cegado por sus ideas cientficas
preconcebidas. Es la interpretacin terica general de Barber que aduce que las violaciones
de la norma de apertura mental son muy frecuentes en la ciencia y que se deben a causas
bien precisas, como los requisitos tericos y metodolgicos, la alta posicin profesional, la
especializacin, etc. Hay aspectos de la ciencia que son valiosos y eficaces para ciertas cosas
pero que se muestran muy perjudiciales para otras.
Esto sugiere que son los propios procesos que favorecen la investigacin los que provocan,
como consecuencia directa, cierta cantidad de percepciones errneas. El anlisis de Barber
dice que las percepciones errneas son un fenmeno patolgico y que hay que entenderlo
ene trminos de enfermedad para poder tratarlo y suprimirlo. es posible que la percepcin
errnea sea una consecuencia natural de un rasgo eficaz y saludable de la ciencia y, a la vez,
se quiera erradicar? Seguramente no, Barber debe haber razonado con la misma lgica que
emple Durkheim en su libro Las reglas del mtodo sociolgico para analizar el crimen.
Intentar suprimir el crimen supondra sofocar aquellas valiosas fuerzas que dan origen a la
diversidad y a la individualidad en la sociedad. La cuestin no es si debe haber crmenes o no,
sino cules. Los crmenes son inevitables, caso constantes y necesarios. Podr ser deplorable,
pero aspirar a reducirlos sin lmite es no entender nada de cmo funciona la sociedad. Otro
tanto puede decirse de las percepciones errneas.
Esta concepcin es del todo consistente con la literatura psicolgica sobre las que se llaman
tareas de deteccin de seales, consistentes en detectar na seal sobre un fondo de ruido,
por ejemplo, un leve punto sobre una pantalla de radar borrosa. El que los sujetos perciban
realmente una seal depende de si saben que es importante no ignorar ninguna o si ms bien
piensan que lo que es vital es no dar nunca una falsa alarma. La variacin de estos
parmetros produce distintos patrones de percepcin y de percepcin errnea. Lo interesante
es que los intentos de hacer disminuir las falsas alarmas conducen inevitablemente a que se
ignoren seales, y que los intentos de que no se omita ninguna seal dan lugar a falsas
alarmas. Los distintos modos de percepcin errnea que estn en funcin de la matriz social
de consecuencias y significados en cuyo contexto tienen lugar la percepcin.
Las percepciones errneas son, pues, inevitables, caso constantes, y no pueden ser reducidas
ilimitadamente. Estn en profunda conexin con la organizacin socio-psicolgica de la
actividad cientfica y proporcionan un precioso indicador sobre ella, as como una herramienta
de investigacin muy til, pues pueden usarse para detectar la influencia de factores como
los compromisos, la orientacin del inters o las diferencias en los enfoques tericos.
Aunque Barber habla en ocasiones de cientficos cegados por sus ideas preconcebidas, en
otras lo hace en trminos de fallos de memoria. Algunas precisiones (ver pgina 66) no son
tan pedantes como pudiera parecer. Significan que toda crtica de la percepcin que descanse
en ejemplos de esto tipo es equvoca y simplista. La percepcin sensorial es fiable sin dejar de
reconocer que la memoria puede fallarnos. Cualquier procedimiento experimental que
descanse en los frgiles registros de la memoria, cuando haya evidencia directa disponible es
dudoso.
Todo el inters de los protocolos experimentales correctos del uso de instrumentos y grupos
de control, se centra en evitar poner al observador en situacin de tener que hacer
discriminaciones difciles o juicios instantneos. Todos estos registros deben efectuarse en el
mismo momento en que se hacen y no retrospectivamente; una muestra debe someterse a
control de manera que no intervenga la memoria; y otras precauciones por el estilo. Dadas
unas condiciones de observacin normalizadas y si se respetan las consabidas precauciones
que forman parte del saber acumulado por la tcnica cientfica, entonces es seguro que el
testimonio de los sentidos ser el mismo para todos y no depender de teoras no de
compromisos. Cuando un procedimiento experimental no produce resultados uniformes, o
parece producir resultados diferentes para diferentes observadores, es que el protocolo o
diseo no era bueno o que el experimento estaba mal concebido o no era fiable.
El proceso de deteccin se encontraba en el lmite de la sensacin y cuando la relacin
seal/ruido es tan desfavorable ocurre que la experiencia subjetiva est a merced de las
expectativas y esperanzas.
Los socilogos pueden meterse en un callejn sin salida si se dedican a acumular casos como
el de Blondlot (pgina 87 y 68) y centran en ellos su visin de la ciencia. Podran estar
menospreciando la fiabilidad y replicabilidad de su base emprica; sera como limitarse a
considerar el principio de la historia de Blondlot y olvidar cmo y porqu termin. Un poco de
sentido comn empirista nos hizo recordar entonces que la ciencia tiene sus normas de
procedimiento para llevar a cabo buenos experimentos y que muchos casos de supuesta falta
de fiabilidad de la percepcin sensorial no se deban sino a apresurados atajos y ligerezas a la
hora de tomar las debidas precauciones. Es imposible evitar que se d toda una corriente
permanente de percepciones errneas en los mrgenes de la actividad cientfica. La ciencia
tiene unas fronteras, y a lo largo de ellas siempre habr acontecimientos y procesos que
reciban una atencin parcial y fluctuante. Acontecimientos que ms tarde lleguen a verse
como significativos, hayan pasado antes desapercibidos o se hayan descartado.
Lo que ensean estos estudios de caso (pgina 69) no es que la percepcin sea poco digna de
confianza o que est en funcin de nuestros deseos, sino cun apremiante es la ciencia en su
exigencia de que se sigan sus procedimientos normalizados, Estos procedimientos declaran
que una experiencia slo es admisible en la medida en que sea reproductible, pblica e
impersonal. La ciencia no ha sido siempre hostil a esas formas de conocimiento.
Experiencia y creencia
La aportacin ms relevante del empirismo est en decir que nuestra psicologa garantiza que
hay respuestas a nuestro entorno material que son comunes y constantes; estas respuestas
son nuestras percepciones. Las variaciones culturales se imponen sobre un estrato de
capacidades sensoriales biolgicamente estables, apoyarse en la hiptesis de que la facultad
perceptiva es relativamente estable no impide decir que sus aportaciones son constituyen
conocimiento, lo cual se debe a que la experiencia siempre tiene lugar sobre un estado
anterior de creencias.
Esta fuerza influir en la fuerza resultantes, pero no ser la nica en hacerlo. La experiencia
vara en la misma medida que la creencia resultante. Cualquier valor de la componente
experiencial no se corresponde con un nico valor de la creencia resultante si antes no se ha
fijado el estado previo de creencias. Ningn patrn o secuencia de experiencias cambiantes
determinar por s mismo un patrn nico de cambio en las creencias. No hay nada extrao
en que el simple hecho de observar el mundo no nos conduzca a ponernos de acuerdo cul
debe ser la verdadera descripcin que debamos dar de l.
La misma experiencia conlleva reacciones diferentes al enfrentarse con diferentes sistemas
de creencias. Y esto aplica tanto al nivel superficial de lo que podamos decir casualmente
sobre el acontecimiento como al nivel ms profundo de lo que podamos creer que significa y
de cmo actuemos en consecuencia. La componente social que hay en todo esto es evidente
e irreductible. Para entender cmo se sostienen las creencias resultantes y para dar cuenta de
las pautas que ligan especialmente una experiencia con cierta creencia y no otras. Ninguna
creencia cae fuera de la perspectiva puramente sociolgica. En todo conocimiento hay una
componente social.
No estar fuera de lugar incorporar a la sociologa del conocimiento una componente tan
descaradamente empirista? No debera evitar el socilogo concepciones que han sufrido tan
amplias crticas por parte de los filsofos? Pero si significa que debe desechar ciertas ideas
tan slo porque no cuentan con el favor de los filsofos, entonces es una incitacin a la
cobarda. Socilogos y psiclogos deberan explotar cuantas ideas puedan serles tiles y
valerse de ellas para alcanzar los objetivos que se hayan marcado.
La versin del empirismo que aqu se incorpora a la sociologa del conocimiento es
ciertamente una teora psicolgica, teora que dice que nuestras facultades de percepcin son
diferentes de nuestras facultades de pensamiento y que nuestras percepciones influyen sobre
nuestro pensamientos ms de lo que stos influyen en nuestras percepciones. Esta forma de
empirismo tiene un sentido biolgico y evolucionista, pero est tan desapreciado por los
empiristas modernos como por sus adversarios. Existiran dos lenguajes de naturaleza
diferente: el lenguaje de los datos y el de la teora. De lo que hablan de nuevo es del distinto
rango de dos tipos diferentes de creencias; aquellas que vienen dadas inmediatamente por la
experiencia, que son incuestionablemente verdaderas, y aquellas que se conectan slo
indirectamente con la experiencia, cuya verdad es problemtica. sas son las tesis que
actualmente debaten los filsofos.
Dejemos que los filsofos negocien a su gusto cuestiones de justificacin, de lgica y de
lenguaje. Lo importante para un estudio naturalista del conocimiento es que puede ofrecer
una representacin slida y plausible del papel que juegan la experiencia sensorial.
Materialismo y explicacin sociolgica
A fin de comprender las fuerzas que han producido este extrao rasgo distintivo de nuestras
actitudes culturales ser necesario desarrollar una teora sobre el origen y la naturaleza de
nuestros sentimientos en torno a la ciencia. Para hacer esto recurrir a Las formas
elementales de la vida religiosa de Durkheim (1915). La teora que propondr se basa en una
analoga entre ciencia y religin.
Una aproximacin durkheimiana a la ciencia
La razn para resistirse a la investigacin cientfica de la ciencia puede alumbrarse
recurriendo a la distincin entre lo sagrado y lo profano. Para Durkheim, esa distincin est en
le corazn mismo del fenmeno religioso.
La extraa actitud hacia la ciencia sera explicable si se la tratara como algo sagrado, y, por
tanto, como algo que se mantiene a una distancia respetuosa. El trabajo de la ciencia procede
de principios que no se fundamentan en aquellos que operan en el mundo profano de la
poltica y del poder.
Es poco probable que quienes encuentran en la ciencia el mismo eptome del conocimiento
otorguen a la religin igual validez, y por ello puede esperarse cierta aversin hacia la
comparacin. La conducta religiosa se construye en torno a la distincin entre lo sagrado y lo
profano y las manifestaciones de esta distincin son parecidas a la postura que con frecuencia
se toma hacia la ciencia. Y el que exista este punto de contacto permite que puedan aplicarse
a la ciencia otros anlisis existentes sobre la religin.
Si la ciencia se trata como si fuera sagrada, se explica con ello por qu no debe aplicarse a s
misma? Muchos filsofos y cientficos no consideran que la sociologa forme parte de la
ciencia, as pues, la sociologa del conocimiento pertenece a la esfera de lo profano y
concederle el derecho a referirse ala ciencia propiamente dicha sera poner en contacto a lo
profano con lo sagrado. Nada hay en los mtodos de la sociologa que deba excluirla de la
ciencia. La tendencia a negarle la condicin privilegiada de ser una ciencia no sea algo
fortuito. No es que la sociologa del conocimiento est simplemente al margen de la ciencia y,
por tanto, suponga una amenaza para sta, sino ms bien que debe mantenerse fuera de la
ciencia porque el objeto de estudio que ha elegido la convierte en algo amenazador: es su
propia naturaleza la que la convierte en una amenaza. La sociologa del conocimiento no es
considerada como una ciencia porque es muy joven y est an poco desarrollada. La
sociologa del conocimiento no plantea una amenaza porque se encuentre poco desarrollada,
sino que est poco desarrollada porque plantea una amenaza.
La religin es esencialmente una fuente de fuerza. Cuando la gente se comunica con sus
dioses, se siente fortalecida, encumbrada y protegida. La fuerza se irradia a partir de los
objetos y ritos religiosos, y esta fuerza no afecta simplemente a las prcticas ms sagradas
sino que se prolonga en las prcticas profanas de todos los das. La religin nos concibe como
criaturas constituidas por dos partes, un espritu y un cuerpo: el espritu est dentro de
nosotros y participa de lo sagrado.
La ciencia no es toda ella de una sola pieza. Est sujeta a una dualidad de naturaleza que se
indica mediante toda una gama de distinciones. El conocimiento tiene sus aspectos sagrados
y su cara profana, como la propia naturaleza humana. Sus aspectos sagrados representan
todo aquello que juzgamos que est en lo ms alto.
De igual modo que la fuerza derivada del contacto con lo sagrado se traslada al mundo,
puede plantearse tambin que los aspectos sagrados de la ciencia informan u orientan sus
aspectos ms mundanos, los menos inspirados y vitales: sus rutinas, su meras aplicaciones,
sus formas consolidadas y externas que afectan a las tcnicas y los mtodos. La fuente de la
fuerza religiosa que opera en el mundo profano nunca debe dar a los creyentes tal grado de
confianza que les haga olvidar la distincin crucial entre ambos; nunca deben olvidar su
dependencia ltima de lo sagrado, nunca debe ponerse tanta confianza en las rutinas de la
ciencia como para dotarlas de una autosuficiencia que pase por alto la necesidad de derivar
su fuerza de una fuente de naturaleza diferente y ms poderosa. Siempre debe haber una
fuente de poder de la que fluya la energa hacia fuera y con la que se pueda y deba renovar el
contacto.
La amenaza planteada por la sociologa del conocimiento es precisamente sta: parece
trastocar o interferir en el flujo externo de energa e inspiracin que deriva del contacto con
las verdades bsicas y los principios de la ciencia y la metodologa. Hacer que una actividad
conformada por estos principios se vuelva sobre los principios mismos es una profanacin y
una contaminacin, Slo puede sobrevenir la ruina.
sta es la respuesta a aquella paradoja de que quienes defienden la ciencia con mayor
entusiasmo sean precisamente los que ven con ms desagrado que la ciencia se aplique a
estudiarse a s misma. La ciencia es sagrada y por ello debe ser mantenida aparte, queda
deificada o mistificada. Esto la protege de la contaminacin que destruira su eficacia, su
autoridad y su poder como fuente de conocimiento.
Los pensadores que se mueven en esta tradicin son perfectamente proclives a garantizar a
la ciencia un lugar propio en nuestro sistema de conocimiento, pero su concepcin de ese
lugar es diferente de la de los entusiastas. Los humanistas son sensibles a las limitaciones de
la ciencia, por lo que reivindican enrgicamente otras formas de conocimiento. Los filsofos
del sentido comn y del humanismo a menudo estn en completo acuerdo con los filsofos de
la ciencia en sus crticas a la sociologa del conocimiento. No se puede aplicar a estos
humanistas un anlisis como el anterior, en trminos de la sacralizad de la ciencia, pero su
posicin s puede analizarse an en trminos durkeimianos semejantes. Lo que para ellos es
sagrado es algo no cientfico, como el sentido comn o la forma dada de una cultura. Si la
ciencia intenta interesarse por estos temas, se oponen a ellos con argumentos filosfico,
argumentos que el filsofo humanista esgrimir ante cualquier ciencia usurpadora, ya se
trate de la fsica, la fisiologa, la economa o la sociologa. Se argumenta que stos expresan
las verdades realmente significativas que debemos aprender en la vida y gracias a las cuales
podemos sustentarnos. Los exponentes del anlisis lingstico en filosofa aportan muchos
ejemplos de este enfoque humanista.
Sociedad y conocimiento
Hemos avanzado la hiptesis de que a la ciencia y al conocimiento puede drseles el mismo
tratamiento que los creyentes dan a lo sagrado. La nica justificacin de esta hiptesis ha
sido que permite comprender un aspecto paradjico o singular de nuestros valores
intelectuales. Quiz la singularidad del fenmeno sera suficiente para justificar la de la propia
hiptesis.
Por qu debera otorgarse al conocimiento un rango tan notable? Empelar la tesis general
de Durkheim, la religin es esencialmente una manera de percibir y de hacer inteligible la
experiencia que tenemos de la sociedad en que vivimos. Durkheim sugiere que la religin es,
antes que nada, un sistema de ideas con el cual son miembros, y las oscuras, aunque
ntimas, relaciones que mantienen con ella. La distincin entre lo sagrado y lo profano separa
aquellos objetos y prcticas que simbolizan los principios sobre los cuales se organiza la
sociedad. stos encaran el poder de su fuerza colectiva, una fuerza que puede dar vigor y
sustentar a sus miembros, pero que tambin puede imponerse sobre ellos con un
constreimiento de eficacia singular e impresionante.
Podemos suponer que, cuando pensamos en la naturaleza del conocimiento, lo que estamos
cabiendo es reflexionar indirectamente sobre los principios que organizan la sociedad.
Estamos manipulando tcitamente representaciones sociales. Lo que tenemos en nuestras
mentes, lo que estructura y gua nuestros pensamientos, son concepciones cuyo carcter
efectivo es el de un modelo social. La respuesta a la cuestin de por qu el conocimiento
debe ser visto como sagrado es que al pensar en el conocimiento, pensamos en la sociedad y,
si Durkheim est en lo cierto, la sociedad tiende a ser percibida como sagrada. Debemos
discutir algunas cuestiones preliminares:
1.
Decir que cuando pensamos en el conocimiento en trminos de manipulacin de
representaciones sociales no significa que hablemos de un proceso consciente o que se
manifieste necesariamente en toda investigacin epistemolgica o filosfica.
2.
Hay que subrayar la necesidad de un modelo y, en parte, sugiriendo que los modelos
sociales son especialmente apropiados, que existe una afinidad natural entre los dos grupos
de ideas.
Para poder encajar los datos en una historia coherente se necesitan principios organizadores.
La historia presupone una imagen de la ciencia en la misma medida en que la ofrece, y el
historiador parte habitualmente de alguna filosofa implcita o de alguna de las tradiciones
propias de las distintas escuelas de filosofa.
Quienes ofrecen pretensiones de conocimiento antagnicas son grupos sociales diferentes,
como los clrigos y los laicos, los eruditos y los profanos, los especialistas y los generalistas,
los poderosos y los dbiles, los bien situados y los contestatarios Adems, existen muchas
conexiones intuitivas entre conocimiento y sociedad. El conocimiento tiene que integrarse,
organizarse, sustentarse, transmitirse y distribuirse, y todos estos procesos estn
visiblemente conectados con instituciones establecidas: el laboratorio, el lugar de trabajo, la
universidad, la iglesia, la escuela As, la mente ha registrado en algn lugar que existe
cierta conexin entre el conocimiento y la autoridad o el poder. Hay un cierto sentido de la
analoga y de la proporcin que relaciona entre s nuestra idea del conocimiento y de la
sociedad.
Aqu se puede plantear la siguiente objecin: si el conocimiento es demasiado abstracto para
que podamos reflexionar sobre l directamente (y de ah la necesidad de recurrir a modelos
sociales) por qu, entonces, no nos parece la sociedad demasiado abrumadora como para
pensar en ella tambin directamente? Por qu no necesitamos tambin un modelo para la
sociedad? Esta cuestin nos va a permitir aadir un elemento importante al anlisis que
estamos iniciando, pues, seguramente, la objecin est justificada. Inmersos como estamos
en la sociedad no podemos reflexionar conscientemente sobre ella como un todo a no ser que
empleemos una representacin simplificada, una imagen o lo que se puede denominar una
ideologa. La religin en el sentido de Durkheim es una ideologa de este tipo. Lo cual
significa que esa vaga sensacin de identidad entre conocimiento y sociedad suministra, de
hecho, un canal a travs del cual nuestras ideologas sociales simplificadas entran en
contacto con nuestras teoras del conocimiento, Son esta ideologas, ms que la totalidad de
nuestra experiencia social real, las que presumiblemente controlan y estructuran nuestra
teoras del conocimiento.
Lo que acabamos de perfilar es una teora sobre cmo piensa la gente.
Conocimiento e imaginario social: un estudio de caso
Creo que no puede entenderse bien cul es la naturaleza del debate epistemolgico si no se
piensa como expresin de profundos intereses ideolgicos en el seno de nuestra cultura.
El debate Popper-Kuhn
Para Karl Popper el propsito de la ciencia es captar verdades significativas sobre el mundo, y
para hacerlo debe formular teoras potentes. Forma parte del proceso consciente de
construccin de teoras el que para ello utilicemos con toda libertad cualquier material: mitos,
costumbres, prejuicios o suposiciones; pero lo importante es lo que hacemos con esa teoras,
no su procedencia.
Una vez formulada una teora, debe ser criticada severamente tanto mediante su anlisis
lgico como por su contrastacin emprica. Si la teora es lo bastante precisa, ahora ya debe
poderse buscar sus puntos dbiles intentando falsar sus previsiones. En caso de que pase la
prueba, queda corroborada y puede mantenerse provisionalmente.
Pero los esfuerzos que consagremos a nuestras teoras deben ser crticos, dado que
protegerlas del mundo sera un dogmatismo que nos llevara a una sensacin ilusoria de
saber. Para la ciencia, los objetos y procesos del mundo no tienen una esencia fija que pueda
captarse de una vez por todas. La ciencia pierde su carcter emprico y se convierte en
metafsica en cuanto deja de sufrir cambios; la verdad es ciertamente su objetivo, pero est a
una distancia infinita.
Popper critica diferentes fuentes de autoridad. La ciencia no debe someterse a la autoridad de
la razn ni a la de la experiencia. Otro aspecto de este lado antiautoritario del trabajo de
Popper est en su representacin de la unidad racional del a humanidad: nadie habla con
ms autoridad que otro, nadie tiene acceso a una fuente privilegiada de verdad, toda
afirmacin debe someterse tanto a crtica como a contrastacin.
Para Popper puede haber progreso, resolverse los problemas, y aclarase y decidirse las
cuestiones si se realiza suficiente esfuerzo crtico. Su trabajo ha sacado a la luz las reglas del
juego cientfico y ha sealado los errores que pueden llevar al dogmatismo y al oscurantismo.
Popper establece varios criterios y fronteras importantes. El principal es el criterio de
contrastacin o falsabilidad, que separa los enunciados cientficos de las afirmaciones
pseudo-cientficas o metafsicas.
Las otras fronteras o demarcaciones que establece, como las que hay entre las distintas
especialidades, se ven tratadas de medo bastante diferente. Popper desprecia tambin las
barreras impuestas por los distintos lenguajes y jergas tericas: cualquier cosa importante
debe poder traducirse de un lenguaje terico a otro. La unidad racional de la humanidad no
tiene nada que ver con los lenguajes o jergas tericas.
La concepcin de la ciencia del profesor Kuhn tiene en comn con la de Popper la cualidad de
presentar una estructura general simple y convincente, en cuyo interior se pueden abordar
con gran finura cuestiones de detalle. Su anlisis gira en torno al concepto de paradigma, que
consiste en una parte representativa de trabajo cientfico que resulta ejemplar y genera una
tradicin dentro de cierto mbito especializado de investigacin. Ofrece un modelo prctico
de cmo hacer ciencia en ese mbito, suministrando orientaciones concretas sobre el mtodo
experimental, los aparatos y la interpretacin terica; posibilita el desarrollo de variaciones y
reelaboraciones que permiten nuevos descubrimientos.
Un conjunto de actividades relativamente autnomo al que Kuhn llama ciencia normal. La
ciencia normal encuentra su justificacin en el valor y eficacia del paradigma, por lo que no
tiene ningn inters en ponerlo en cuestin. Considerar algo como un rompecabezas supone
que existe una solucin y que sta puede encontrarse de modo parecido a cmo ya se
resolvieron con xito otras cuestiones en el marco del mismo paradigma. La ciencia normal es
esencialmente creadora, debe irse haciendo a s misma conforme va extendiendo aquella
investigacin original que tom como modelo.
Kuhn ve la ciencia normal como una sucesin de rompecabezas resueltos, de modo que esa
acumulacin de aciertos es la que da el investigador la confianza y la experiencia necesarias
para seguir realizando experimentos cada vez ms precisos y especializados.
El fracaso en resolver un rompecabezas se atribuye, en primera instancia, a la posible
incompetencia de un investigados concreto; tambin cabe que una anomala sin resolver
llegue a verse como un caso particularmente complicado que puede dejarse legtimamente a
un lado durante un tiempo. Pero si, pese a todo, la perspectiva propia del paradigma no
consigue dar cuenta de por qu causa tantos problemas esa anomala, entonces puede
sobrevenir una crisis de confianza. La anomala se convierte entonces en un foco especial de
atencin, se redoblarn los esfuerzos por estudiar empricamente el fenmeno rebelde y se
tendr que ir elaborando teorizaciones cada vez ms perifricas para poder entender su
significado. El modelo de crecimiento de la ciencia normal queda as truncado y se crea un
ambiente distinto, al que Kuhn llama ciencia extraordinaria.
La comunidad de especialistas pude llegar a aceptar un nuevo paradigma de investigacin si
ste consigue resolver la anomala crucial. Cuando esto ocurre, Kuhn habla de una revolucin.
Tiene lugar una revolucin en la ciencia ciando una comunidad de especialistas decide que el
nuevo paradigma ofrece un futuro ms prometedor para la investigacin que el antiguo. En la
propia comunidad donde se define lo que son conocimientos y experiencias relevantes; es el
ltimo tribunal de apelacin.
Los cientficos forman una comunidad de profesionales, y ese trmino de comunidad es muy
impregnante, con sus connotaciones de solidaridad social y de una forma de vida hecha de
costumbres y estilos compartidos. En Kuhn no hay ninguna animadversin hacia la nocin de
autoridad, de hecho, en una de sus formulaciones subraya la utilidad de los dogmas en la
ciencia. Y presenta la educacin cientfica como un proceso autoritario que no trata de ofrecer
a los estudiantes un panorama imparcial de las visiones enfrentadas del mundo asociadas a
cada uno de los paradigmas anteriores sino que intenta, ms bien, ponerles en condiciones de
trabajar en el interior del paradigma existente.
El enfoque de Kuhn no sugiere que todo cuanto ocurre alrededor de la ciencia pueda ser
explicitado y explicado. Un cambio de paradigma viene acompaado, por tanto, por cambios
en el lenguaje y en las significaciones, por lo que los problemas de traduccin entre
paradigmas distintos son profundos y no siempre totalmente superables.
Tenemos as dos interpretaciones muy diferentes de la ciencia pero que, aunque sus
diferencias sean innegables, comparten un amplio trasfondo. Popper dirige su atencin hacia
las conjeturas decisivas y las comprobaciones cruciales , como la prediccin por Einstein de
que la luz debe curvarse en las proximidades de cuerpos pesados. Kuhn no niega la existencia
ni la importancia de estos acontecimientos, pero se centra en el contexto que los hace
posibles y les da significado. Popper no niega la existencia de la ciencia normal, si bien
destaca que funciona a saltos. Para Popper se sitan en el centro mismo de la fsica y de la
qumica, mientras que para Kuhn representan estados de ciencia extraordinaria y son
situaciones ocasionales, que afectan ms a cuestiones metafsicas que a asuntos propios de
la ciencia misma, por lo que influyen poco en la prctica real de la ciencia. As, Kuhn acenta
sus tendencia a ver la ciencia como un conjunto de prcticas concretas y localizadas,
mientras que la interpretacin de Popper subraya su carcter crtico.
Dos interpretaciones importantes en las que ambos coinciden son las referentes a la verdad y
a la naturaleza de los hechos. Discutamos estos puntos brevemente porque pudiera creerse
que abren diferencias importantes entre ambos, cuando no es as en absoluto.
En primer lugar, para Kuhn no hay tribunal independiente y estable que pueda juzgar sobre
diferentes teoras. El sentido y la significacin de las experiencias y de los resultados
experimentales son consecuencia de nuestra manera de afrontar las cosas, y sta viene
marcada por el paradigma que suscribimos. Popper admite que los hechos no son simples
cosas que se dan sin mayor problema a travs de una experiencia directa del mundo. Las
teoras se contrastan mediante lo que llama hiptesis observacionales. Para Popper son slo
uno de los motivos por los que aceptamos una hiptesis (observacional). La experiencia no
aporta una razn, que determine la adopcin de un informe observacional, pues todo informe
desborda la experiencia que lo motiva y acta. En lo que a los hechos se refiere, tanto Popper
como Kuhn son, pues, bastante ms escpticos que el sentido comn, ambos piensan que los
hechos son de naturaleza terica.
En segundo lugar, fuera de la ciencia, no tenemos ningn modo de acceso al mundo que
pudiera permitirnos medir el progreso de los paradigmas: Pero sa es precisamente la
posicin de Popper. Ambos dan cuenta de los medios que permiten suprimir los errores que se
detecten; ambos son francamente escpticos sobre el hecho de que la ciencia pueda
aprehender algo que sea estable y definitivo.
La diferencia entre ellos es considerable:
1.
Popper emite sin ninguna duda prescripciones metodolgicas, pero como es de
procedimientos cientficos de lo que est hablando, debe mantenerse en contacto con las
prcticas cientficas. El anlisis de Kuhn tambin afecta al modo en que debe hacerse la
ciencia. Ambos son descriptivos y prescriptivos a la vez, si bien diferentes proporciones y con
acentos distintos.
2.
Popper destaca los debates, los desacuerdos y las crticas, mientras que Kuhn subraya
ms las zonas de acuerdo que no se ponen en cuestin. El debate pblico, para uno, y los
modos de vida compartidos, para el otro.
3.
Popper se centra en aquellos aspectos de la ciencia que son universales y abstractos,
como los cnones metodolgicos y los valores intelectuales de carcter general, Kuhn lo hace,
en cambio, en sus aspectos locales y concretos.
4.
Popper ve la ciencia como un proceso lineal y homogneo. El contenido de la ciencia se
desarrolla al tiempo que su potencial aumenta, viniendo cada paso a sumarse a esa
progresin hacia un objetivo infinitamente remoto. Kuhn tiene una concepcin cclica: en lugar
de una ajetreada actividad uniforme, presenta ciclos de procedimientos cualificativamente
diferentes. Mientras que los cientficos de Popper miran al futuro, los de Kuhn trabajan
normalmente en el cauce de una tradicin y tienen en el pasado su punto de referencia.
Ideologa ilustrada contra ideologa romntica
El enfrentamiento entre Kuhn y Popper representa un caso casi puro de la oposicin entre las
que pudieran llamarse ideologas ilustrada y romntica.
Lo que llamo pensamiento social ilustrado hace especial referencia a la nocin de contrato
social. El mito del contrato social se corresponde con el mito de un estado de naturaleza
anterior a lo social. A veces, ste se concibe como un estado ms o menos salvaje del que el
hombre es rescatado por la sociedad y, otras veces, se presenta, de forma algo ms
elaborada, como el estado en el que caeramos si la sociedad se derrumbara. La concrecin
de estos derechos y los modos de manejar la metfora del contrato varan
considerablemente, pero como tema general es tpico de los escritores del SXVIII.
Pero el estilo metodolgico del pensamiento ilustrado es ms importante y slido que sus
doctrinas sobre las leyes naturales. Podemos distinguir en l cuatro caractersticas:
1.
Es individualista y atomista: concibe lo global y colectivo como si fuera equivalente a
conjuntos de unidades individuales. Las sociedades son colecciones de individuos cuyas
naturaleza e individualidad esenciales no estn vinculadas con lo social.
2.
Este individualismo est estrechamente asociado con un enfoque esttico del
pensamiento. Las variaciones histricas son secundarias en relacin con lo intemporal y
universal.
3.
La tercera caracterstica del pensamiento de las Luces; su reductivismo abstracto: los
fenmenos sociales particulares o los casos concretos de comportamiento individual se
calaran al ponerlos en relacin con principios generales abstractos, ya sean principios
morales, de razonamiento, o leyes cientficas.
4. Se refiere al modo en que se utilizan las anteriores, como el pensamiento ilustrado tiende
a tener un tono fuertemente prescriptivo y moralista; es un pensamiento que no trata de ser
vehculo de descripciones neutras sino un modo de que el deber ser reformista pueda
enfrentarse al recalcitrante as es de la sociedad. El universalismo abstracto de las Luces
permite mantener principios generales y claros, cuya gran distancia de la realidad vale para
poder criticarla y para definir objetivos a conseguir.
En el que puede llamarse pensamiento romntico no considera ningn entramado de
derechos naturales, contratos sociales o estados de naturaleza. Es la sociedad lo que es
natural. Las calculadas armonas del contrato social son reemplazadas por las imgenes
orgnicas de la unidad familiar. Las relaciones familiares sugieren que los derechos, los
deberes, las obligaciones y la autoridad no deben distribuirse uniformemente, sino en funcin
de las generaciones, rangos y papeles. La justicia adopta con mayor naturalidad una forma
autocrtica que se ajusta gradualmente a las variaciones de edad, responsabilidad y
condicin de sus miembros.
El estilo metodolgico del pensamiento romntico puede contrastar punto por punto con el
del pensamiento ilustrado:
1.
No es atomista no individualista; las entidades sociales se tratan como algo dotado de
propiedades especiales. Las distintas entidades sociales reclaman estudios independientes.
Los individuos slo se entienden en su contexto.
2.
Lo concreto e histrico es ms importante que lo universal e intemporal. Las distintas
formas de reaccionar y adaptarse estn condicionadas por el lugar, as como por la creencia;
es algo influido por la historia y que encuentra en la historia su lugar de desarrollo.
3.
4.
Es la contrapartida de la tendencia normativa y moralizante del pensamiento ilustrado.
Se subrayan la globalidad, complejidad e interconexin de las prcticas sociales. Tienden a
considerar que los valores estn ntimamente ligados y mezclados con los hechos, que son
inmanentes a stos.
Popper pertenece a la categora de los pensadores ilustrados y Kuhn a la de los romnticos.
Popper es individualista y atomista al tratar la ciencia como una seleccin de teoras aisladas.
Su unidad de anlisis elemental son las hiptesis tericas individuales, y las caractersticas
lgicas y metodolgicas de estas unidades. Se interesa principalmente por los atributos
La idea central del romanticismo es de que una parte o elemento de un sistema est en
ntima unin con el todo. Las hiptesis cientficas no son unidades de pensamiento aisladas
sino una especie de micro-cosmos del paradigma del que forman parte. La intuicin de la que
surge una hiptesis no forma parte de la vida privada del cientfico no, por tanto, debe
tenerse como una cuestin psicolgica ms que propiamente cientfica, ni confinarse, en
consecuencia, en un artificioso contexto de descubrimiento ms que en el contexto de
justificacin. El proceso de creacin es parte integral de la empresa cientfica como un todo y
no debe separarse de ella mediante un principio abstracto de demarcacin. Mller contina
aplicando su enfoque unificador a la relacin del conocimiento con la sociedad o de la ciencia
con el Estado. Ambos no deben ser sino uno, como el cuerpo y el alma.
El pensamiento ilustrado est fuertemente representado en economa por los partidarios del
laissez-faire y los economistas clsicos de la escuela de Adam Smith y Ricardo. Smith matiza
su defensa general de la libertad de contratacin individual en cuestiones de mercado
aceptando que debe haber ciertas restricciones legales referentes a una tasa mxima de
inters en el prstamo de dinero. Smith cree que sin esa limitacin la mayor parte del dinero
que se prestara ira a parar a manos de despilfarradores y promotores. A lo que Bentham
replic: y qu? Sin promotores no habra progreso; y el riesgo que se corre forma parte de la
esencia misma de la actividad econmica y de la creacin de riqueza. El riesgo intelectual que
se corre pertenece a la esencia misma de la actividad cientfica y de la creacin de
conocimiento. Bentham plantea que la gente debe calcular por s misma las prdidas,
ganancias y riesgos que van asociados con las acciones que emprendan y afirma que el
medio ms seguro para alcanzar la mxima satisfaccin es dejar que cada individuo busque
su mxima satisfaccin. Este individualismo corre parejo de un modo natural con la tendencia
a considerar la totalidad social como una mera suma de sus partes atmicas.
La moralidad, para Betham, es anloga a los mecanismos del mercado. Es la naturaleza la
que nos ha situado bajo el placer y el sufrimiento. La razn, el clculo, la simplicidad y la
inteligibilidad son temas centrales en el pensamiento de las Luces. Bentham reconoce que
esa representacin racionalista es una abstraccin, pero una abstraccin que considera
necesaria.
Las teoras de los economistas clsicos desembocan de lleno en lo que suele llamarse
darwinismo social. Se fundamenta en la concurrencia econmica individual y la pone en
relacin con la necesidad natural de la lucha, del esfuerzo individual y de la supervivencia de
los ms aptos y la eliminacin de los dbiles e ineficientes. La teora de Popper sobre la
refutacin estricta es darwinismo social en el campo de la ciencia, una afinidad que
matizar en sus ltimos trabajos.
Las teoras econmicas abstractas y universales deban reemplazarse por un tipo de anlisis
que prestara la debida atencin a las diferentes condiciones econmicas de los distintos
momentos y lugares; y as naci la escuela histrica de economa. Cuyos principios
historicistas se adecuaban estrictamente al estereotipo romntico: la economa deba ser una
rama de la historia y de la sociologa, que situara la actividad econmica en su contexto social
y no la tratara de un modo abstracto y universal. Wihelm Roscher esboz el programa de la
escuela histrica segn las siguientes lneas:
1.
La economa poltica es una ciencia que slo puede explicarse en estrecha relacin con
otras ciencias sociales.
2. Un pueblo es algo ms que una masa de individuos, por lo que el estudio de su economa
no puede basarse en una mera observacin de las relaciones econmicas del momento.
3.
Para poder obtener leyes a partir de muchos fenmenos debe compararse el mayor
nmero posible de pueblos.
4.
La leccin a aprender
Si no enfocamos de un modo cientfico el estudio de la naturaleza del conocimiento, todo lo
que digamos sobre l no pasar de ser una proyeccin de nuestros supuestos ideolgicos.
Nuestras teoras del conocimiento experimentarn los mismos xitos y fracasos que sus
correspondientes ideologas, al faltarles cualquier autonoma y fundamento para mantenerse
por s mismas.
Consideremos, en primer lugar, el anlisis kuhniano de la ciencia, que es naturalista y
sociolgico; su objetivo es explicar un amplio abanico de materiales histricos. La historia
como cualquier otra disciplina emprica, tiene su propia dinmica.
Bien distinto es el caso de las concepciones del conocimiento que intentan desgajarlo del
mundo y rechazan un acercamiento naturalista. Una vez que el conocimiento ha sufrido ese
trato especial, se pierde cualquier posible control de las teoras que se elaboren sobre su
naturaleza, los anlisis mistificadores estn condenados a terminar su existencia bajo las
mismas cadenas con que la comenzaron.
La filosofa no sigue la misma dinmica que los estudios empricos e histricos, pues para ella
no hay incorporacin controlada de nuevos datos. Al reflexionar sobre los primeros principios,
nuestra razn pronto alcanza ese punto en el que ya no puede plantearse ms preguntas ni
encontrar ms justificaciones. Entonces la mente llega al nivel de lo que se le muestra como
evidente; de lo que depende es de los procesos de pensamiento que se dan por supuestos por
cierto grupo social.
Una ciencia dinmica puede ignorar perfectamente el origen de sus ideas, pero una disciplina
que se limita a atrincherarse en su punto de partida y a reelaborarlo permanentemente
debera ser mucho ms sensible a la cuestin de los orgenes. Cmo puede superarse el
miedo a violar la sacralizad del conocimiento? Ese miedo slo pueden superarlo aquellos cuya
confianza en la ciencia y en sus mtodos es casi total, aquellos que la dan completamente por
supuesta, aquellos que no cuestionan en absoluto su creencia explcita en ella. Una actitud
que podramos caracterizar como una forma natural e inconsciente de autoconciencia; esa
actitud puede conseguirse mediante la aplicacin de procedimientos contrastados y
acertados y de tcnicas de investigacin consolidadas. El escepticismo siempre encontrar
til la sociologa del conocimiento. El escptico intentar utilizar las explicaciones de una
creencia para establecer su falsedad, con lo que acabar destruyendo toda pretensin de
conocimiento. Slo una seguridad epistemolgica en nosotros mismos, que nos haga sentir
que podemos explicar sin destruir, aportar una base slida para la sociologa del
conocimiento.
Hay ciertamente algo de verdad en la conviccin de que el conocimiento y la ciencia
dependen de algo exterior a la mera creencia, pero esa fuerza exterior que los sostiene no es
1.
2.
La crtica de Frege abre dos frentes de ataque. Crtica la concepcin de los nmeros como
cosas mentales o subjetivas; y aquella que refiere los nmeros a objetos fsicos o a
propiedades de stos. Para Mill los fundamentos de las matemticas estn en su anclaje
psicolgico, en los procesos fundamentales mediante los que se genera y se transmite el
conocimiento.
Frege procede de un modo completamente diferente. l se enfrenta a una definicin de las
matemticas como pensamiento mecnico acumulativo, le parece una tosquedad tpica.
Frege se esfuerza especialmente en mantener una frontera entre las matemticas, por un
lado, y las ciencias psquicas y naturales, por el otro. Los conceptos matemticos, afirma,
tienen un refinamiento en su estructura y una pureza mayores quiz que los de ninguna otra
ciencia. Frege va a mistificar y deificar el concepto de nmero y los principales bsicos de las
matemticas, confirindoles un rango de objetos misteriosos investidos de un poder
excepcional.
Mary Douglas llama la atencin sobre lo que denomina la regla de pureza. Para ella todas
las culturas tienen de modo natural a simbolizar el status social elevado y el fuerte control
social mediante un rgido control de los cuerpos. El invocar la regla de pureza bien puede ser
una reaccin natural ante una amenaza.
Por qu nos interesa el estilo de pensamiento de Frege? Porque revela una visin de las
matemticas netamente diferente del enfoque naturalista que aqu proponemos.
Consideremos primero el rechazo por parte de Frege de que el nmero es algo de naturaleza
subjetiva, mental o psicolgica. Su argumentacin consiste en resaltar las diferencias entre
las propiedades de las entidades psicolgicas, como las ideas o las experiencias, y las
propiedades de las nociones matemticas.
Al tratar los nmeros como ideas que estn en la cabeza de la gente, se desprenden
consecuencias bien curiosas. Desde un punto de vista sociolgico, la gente no comparte
ideas; stas son estados propios de las mentes individuales, de manera que una idea debe
considerarse siempre como propia de alguien. En lugar de decir que el nmero dos es una
idea en s, el psiclogo hablar ms bien de tu idea de dos o mi idea de dos. Como si el
nmero dos no fuera del todo mental sino el contenido extramental de esos estados
mentales. Aunque habitualmente se hable del nmero dos, todo lo que realmente existe es
una multitud de ideas individuales cada una de las cuales puede reclamar, en paridad con las
otras, ser el nmero dos. Habr tantos doses como ideas hay sobre l, lo que se aparta
considerablemente del modo habitual de ver las cosas.
Puede decirse que la teora de Mill tiene un componente objetivo en el hecho de que la
aritmtica trata sobre las propiedades generales de los objetos, como esos guijarros tan
despreciados por Frege. Aqu, el argumento central es que el nmero no puede ser una
propiedad de las cosas porque el modo en que las cosas se numeran depende de nuestra
manera de verlas. Dice Frege: de un objeto al que puede adscribir legtimamente diferentes
nmeros no puede decirse que posea un cierto nmero. La importancia de nuestra manera
de ver muestra que ah interviene un proceso cognitivo que enlaza el objeto exterior con el
acto de atribuirle un nmero. Para Frege esto interpone una cua entre los objetos y el
autntico lugar del nmero, lo que significa que no podemos asignar simplemente el Nmero
al objeto como haramos con un predicado.
El nmero no es algo que encontremos ah en el mundo sin ms problemas. Hay algo en la
naturaleza de los conceptos de nmero que los hace diferentes de los objetos y de sus
propiedades tal y como los solemos pensar. El nmero no es algo psicolgico, ni es algo que
se d simplemente en los guijarros de Mill.
Frege ha expulsado al nmero tanto del mundo psquico como del mundo material. Entonces
el razonamiento de Frege hace del nmero un perfecto no-ser. Evidentemente, no es as como
l ve las cosas. Existe una tercera posibilidad. Parte de los objetos psquicos y fsicos, estn
los que Ferge llama objetos de Razn o Conceptos, los cuales poseen la ms importante de
todas las propiedades: la llamada objetividad. Frege entiende por objetivo aquello que es
independiente de nuestras sensaciones y de las representaciones mentales que descansan en
ellas, pero aquello que es independiente de nuestra razn.
Debo aceptar que Frege tiene toda la razn al afirmar que las matemticas son objetivas. As
como debo tambin aceptar su definicin (negativa y positiva) de objetividad. No nos dice, sin
embargo, qu es en realidad la objetividad.
Aceptada la definicin de objetividad de Frege, qu es lo que la satisface?
Qu hay que no sea no mental ni fsico, que sea real aunque no exista de hecho, y que
pueda ejemplificarse en una nocin como la del ecuador? (Ver ejemplo del ecuador pgina
155) Se admite que las fronteras tienen el rango de convenciones sociales, lo que no quiere
decir que sean meras o arbitrarias convenciones. Un individuo puede tener ideas acertadas o
equivocadas sobre ellas, y no desaparecen aunque nadie consiga hacerse una imagen mental
de ellas. Tampoco son objetos fsicos que puedan manipularse o percibirse, aunque utilizarse
objetos reales como signos visibles o indicaciones suyas. Por ltimo, podemos referirnos a
ellas aunque hagamos alusin a acontecimientos ocurridos mucho tiempo antes de que nadie
las hubiera definido.
Todo aquello que tiene el rango propio de las instituciones sociales acaso est ntimamente
logado a la objetividad. Incluso podemos conjeturar la hiptesis de que quiz ese tercer rango
tan especial que se sita entre lo fsico y lo psquico es de orden social, y solamente social.
El centro de gravedad del sistema solar y el eje de la Tierra. Podemos decir que estos objetos
son de naturaleza social? El eje de la Tierra no es de esas realidades de las que tenemos
manifiesta experiencia como la propia Tierra sobre la que caminamos. Tanta insistencia indica
que estas nociones juegan un papel central en nuestra concepcin de la realidad y, en
particular, en las teoras mecnicas que ocupan un lugar privilegiado en esa concepcin. Esta
realidad no es una realidad fsica sino una representacin del mundo sistemtica y altamente
elaborada. Sus lazos con la experiencia individual son bien tenues. Dos de los conceptos que
elige Frege como ejemplos de objetividad son nociones tericas; pero la componente terica
del conocimiento es precisamente la componente social.
La mejor manera de dar un significado sustancial a la definicin fregeana de objetividad es
asimilarla con los social. La creencia institucionalizada satisface por completo su definicin:
eso es la objetividad. Si las cosas fueran as, la sociologa sera una amenaza an mayor que
la psicologa para la pureza y dignidad de las matemticas. Los argumentos de Ferge estaban
concebidos para mantener inmaculadas las matemticas, y an as concibi una definicin de
objetividad que se presta a interpretacin sociolgica. Podemos as adoptar la definicin que
da Ferge de objetividad, sin dejar por ello de postular que las matemticas son de naturaleza
social ms que psicolgica o meras propiedades de los objetos fsicos. Esto nos llevar al
problema de cmo puede modificarse la teora de Mill de modo que pueda venir a alojar los
procesos sociales que entran en juego junto con los procesos psquicos.
La teora de Mill modificada por factores sociolgicos
De qu son nmeros los nmeros?, Mill dice: evidentemente, de alguna propiedad que
pertenece a los agregados de cosas, y esa propiedad es el modo caracterstico en que el
agregado est constituido por ellas y mediante el cual puede ser dividido en partes. Mill
debe estar reaccionando inconscientemente a las mismas presiones que llevaron a Frege a
insistir en que los nmeros no son inherentes a los objetos, sin ms, sino que dependen del
modo en que se mire a esos objetos. La idea que Mill presupone involuntariamente es, por
tanto, que no todas las distribuciones, ordenaciones o clasificaciones de objetos son
relevantes como experiencias paradigmticas en matemticas. Entre los innumerables juegos
a los que puede jugarse con guijarros, slo los que siguen ciertos modelos o pautas
alcanzarn esa categora especial que son los modos caractersticos de disponer y organizar
los guijarros. Exactamente igual, no todos los innumerables modelos o pautas posibles con los
que puede tejerse una alfombra sern igual de significativos para un grupo dado de tejedores
tradicionales.
El punto al que Frege dirige su ataque es precisamente se en el que la teora de Mill deja
atisbar que est necesitada de un componente sociolgico para poner orden en la multitud de
maneras de experimentar las propiedades de los objetos. El lenguaje de Mill pone de
manifiesto que, de hecho, est reaccionando ante esa componente social, pero la deja
escapar; y es justo esa laguna la que deja su teora expuesta a las objeciones de Frege. La
idea fundamental de Frege es que la teora de Mills slo se refiere a los aspectos meramente
fsicos de las situaciones que considera, que no acierta a captar lo que en cada situacin hay
de especficamente matemtico. Esa componente ausente podemos ahora detectarla en el
mbito de lo tpico, de los convencional, en todo aquello que hace que se les conceda a
ciertos modelos el rango de caractersticas.
Una teora que intente fundamentar las matemticas en los objetos como tales, y no capte
que hay ciertos modelos que resultan seleccionados y dotados de una categora especial,
ofrecera graves deficiencias pese a los prometedores que pudieran ser sus planteamientos.
De entre todos los comportamientos posibles, slo juegan el papel de modelos aquellos que
siguen pautas fijadas o ritualizadas socialmente.
Frege se pregunta qu experiencia o hecho fsico es el que puede corresponder a los nmeros
muy grandes o incluso a los nmeros 0 y 1. Y si los nmeros son propiedades de objetos
externos, Cmo podemos hablar razonablemente de tres ideas o de tres emociones, que son
evidentemente objetos externos?
Lo que Frege dice del nmero 1 es que tener la simple experiencia de una cosa no es lo
mismo que encontrar el nmero uno, y de ah que en un caso se use el artculo indefinido
mientras que en el otro se usa el artculo definido. Se trata de algo a lo que se mira de un
modo especial y con una propsito especial, el propsito ritualizado de contar. El nmero 1 no
corresponde a una cosa sino a todo lo que se contemple como elemento de un patrn o
modelo caracterstico. El nmero es el papel o la funcin, y no debe confundirse con uno u
otro objeto que venga indiferentes a jugar ese papel o cumplir esa funcin.
Y cul es la experiencia asociada al cero? Frege insiste triunfalmente en que nadie ha tenido
la experiencia de cero guijarros. Y todos los nmeros, incluido el cero, tienen el mismo rango
y del cero no tenemos ninguna experiencia, Frege concluye que tampoco la experiencia juega
el menor papel en nuestro conocimiento de cualesquiera otros nmeros.
La idea de que los nmeros tienen el mismo rango que los papeles y las instituciones sociales
acaso sea an ms sugerente en el caso del cero que en los de los dems nmeros. Por
exigencias de homogeneidad, si el cero es un artefacto convencional deben serlo tambin los
restantes nmeros.
Ahora viene la cuestin de los nmeros muy grandes. No podemos tener experiencia de cmo
repartir un milln de objetos del mismo modo que podemos hacerlo con cinco o diez. Hay dos
opciones generales para explicar el hecho de que la experiencia y la aritmtica se solapen
slo parcialmente. Puede interpretarse como Frege lo hace, en cuyo caso la dbil conexin y
correspondencia entre aritmtica y experiencia es meramente fortuita; o bien puede utilizarse
para dotar a esa dbil conexin de una importancia mxima e intentar mostrar entonces
cmo puede deducirse todo a partir de ella. Eso es lo que hace Mill.
El caso de la aritmtica de los grandes nmeros habr de poder derivarse de aquellos otros
que s estn directamente relacionados con situaciones empricas. Podemos dar cuenta de la
aritmtica basndonos en experiencias a pequea escala, puesto que esta experiencia aporta
modelos, procedimientos y tcnicas susceptibles de aplicarse y extenderse indefinidamente.
No hay ninguna incompatibilidad entre la teora de Mill y una aritmtica que funcione en
mbitos que no puedan ejemplificarse directamente en nuestra experiencia.
Frege se pregunta cmo, a partir de la teora de Mill, pueden numerarse cosas inmateriales,
como cuando decimos que los celos, la envidia y la codicia son tres emociones diferentes. Se
debe enfocar una vez ms el modo en que las situaciones empricas pueden actuar como
modelos. Estas situaciones deben ser tales que siempre se pueda asociarlas con todos los
casos en que se aplica la aritmtica. La razn de que puede hablarse de tres ideas debe
residir, segn esta teora, en nuestra capacidad y habilidad para hablar de ideas como si de
objetos se tratara. Nuestra aritmtica slo ser aplicable en la medida en que estemos
dispuestos a usar la metfora del objeto.
utilizamos realmente a los objetos como modelos o metforas cuando pensamos en
fenmenos psquicos? Como los fenmenos mentales son tan diferentes de los objetos fsicos,
slo una fuerte determinacin y una acusada tendencia a pensar en trminos metafricos
puede aproximarlos.
Poincar habla de sus ideas como si fueran molculas de la teora cintica de gases,
agitndose en todas direcciones, colisionando e incluso fundindose entre ellas. Al adoptar la
metfora del atomismo, Poincar est siguiendo una larga tradicin de atomismo psicolgico;
pero la cuestin no es si esa tradicin est o no equivocada sino que, equivocada o acertada,
esa tendencia a usar la metfora del objeto es algo asentado. Y puede valer para explicar lo
que Frege pens que nunca podr explicar la teora de Mill, a saber, la aplicacin del nmero
a las ideas, as como el mecanismo de su aplicabilidad en general.
Cmo pueden aplicarse los nmeros a los estados mentales? El gran logro de la psicofsica
del SXIX fue encontrar modos de comprender matemticamente ciertos procesos mentales y,
en particular, formular la ley de Weber-Fechner; la intensidad de una sensacin es
proporcional al logaritmo del estmulo. El paso crucial que permiti esa formulacin fue
encontrar un modo de segmentar los procesos mentales tal que los segmentos obtenidos
pudieran contarse, pues entonces poda ya recurrirse al formidable aparato de la aritmtica y
el clculo para obtener la formulacin matemtica de la ley. La estratagema utilizada para
obtener unidades segmentadas y numerables fue introducir la nocin de diferencia precisa
perceptible: se incrementaba gradualmente cierto tono o peso hasta que el sujeto poda
percibir el cambio. Se encontr que la medida de esta diferencia precisa perceptible era
proporcional a la medida del estmulo. Segn la teora aritmtica de Mill, este proceso de
segmentacin no es sino el medio de establecer la analoga entre la sensacin subjetiva y el
objeto, de manera que se puedan aplicar los procedimientos matemticos habituales; es un
modo de proyectar los estados psquicos sobre objetos numerables y extender as la metfora
del objeto discreto.
En lugar de ser algo coherente y compartido, podra ocurrir que fuera precisamente esa falta
de acuerdo lo que distinguiera esa matemtica de la nuestra. Para nosotros, el consenso o
acuerdo es la esencia de las matemticas, pero acaso las discusiones y desacuerdo fueran
precisamente lo caracterstico de otras matemticas. Esa ausencia de acuerdo sera entonces,
para quienes las practicaran. La autntica naturaleza de su actividad, as como en muchos
sitios la religin se considera un asunto privado.
Si algo las satisficiera tendramos buenas razones para considerarlo como otra matemtica.
No cabe duda de que los errores lgicos que han llegado a institucionalizarse no son menos
errneos que los errores individuales. puede haber morales alternativas? La nica manera de
responder a quienes practican una moral absolutista es decir que, en otra moral, la gente
admite sistemticamente ciertas cosas que para el absolutista, sin embrago, son pecado. Esa
otra moral no tendra por qu ser considerada como aberrante por la sociedad, puesto que
ella misma se habra convertido ahora en norma, pese a que se hubiera distinguido
precisamente por apartarse de la moral comn. El absolutista moral despachara el problema
diciendo que la moralidad no deja de serlo por darse a escala social o nacional, que el pecado
institucionalizado sigue siendo pecado pues la sociedades pueden ser tan perversas como los
individuos.
Por eso el antroplogo slo hablar de sistemas morales alternativos so estn inscritos y
establecidos en la vida de una cultura. Y esa ser la nota que tambin habremos de encontrar
en las matemticas si queremos hablar razonablemente de otras matemticas.
El mundo no consiste en culturas aisladas que desarrollan cada una una moral autnoma y un
estilo cognitivo independiente. Existen contactos y transferencias culturales, de modo que el
mestizaje social conlleva tambin mestizajes cognitivos y morales. Adems, las matemticas,
como la moral, se orientan a satisfacer exigencias de gentes con una fisiologa y un entorno
fsico bastante semejantes, lo que es un factor aadido de uniformidad. Las alternativas en
matemticas habrn, pues, de buscarse teniendo en cuenta estas restricciones naturales. Las
nicas realidades a las que necesitamos recurrir son las que asume la teora modificada de
Mill, esto es, los mundos natural y social. Para una ciencia social emprica, lo importante es
cmo explicar mediante causas naturales esas pautas de uniformidad y variacin o
discordancia en las creencias, sea cual sea si amplitud.
Ofrecer ejemplos de cuatro tipos de discordancias en el pensamiento matemtico, a cada
una de las cuales puede remitirse a causas sociales:
1.
2.
Una discordancia en la estructura de las asociaciones, relaciones, usos, analogas e
implicaciones metafsicas atribuidas a las matemticas.
3.
Discordancias en los significados asociados a los clculos y a las manipulaciones
simblicas.
4.
Una discordancia en el rigor y el tipo de razonamiento empleado para demostrar un
resultado.
Conocimiento e imaginario social - David Bloor Parte 16
El Uno, es un nmero?
En las matemticas griegas era un lugar comn decir que el uno no es un nmero, que no es
no par ni impar sino par-impar, o que dos no es un nmero par. Hoy todas estas afirmaciones
son falsas. Para nosotros el uno es tan nmero como cualquier otro, y Frege lo usa como tal
en sus argumentos sin pensrselo dos veces. El uno es nmero impar as como el dos es par,
y no hay una categora como sa de par-impar. En qu estaban pensando entonces los
griegos?
Decan que el uno no es un nmero porque en l vean el punto de arranque o de origen de
todos los nmeros. Aristteles deca uno es lo que mide una multiplicidad, y el nmero es
una multiplicidad medida i una multiplicidad de medidas. Por tanto, es evidente que el uno no
es un nmero; pues la unidad de medida no es una multiplicidad de medidas, sino que ambas
(unidad de medida y uno) son principios.
Caso lo que hoy rechazamos como un absurdo lgico sea maana una verdad evidente. Lo
que se percibe como absurdo parece depender de la clasificacin subyacente que se
presupone. La clasificacin griega de los nmeros es, en parte, similar a la nuestra, tambin
ellos los dividan entre pares e impares. Se debe a que el uno genera tanto a los pares como a
los impares, por lo que debe participar de la naturaleza de ambos: est situado aparte y por
encima de la dicotoma par/impar. En Grecia se le concede al uno un papel similar en cuanto a
su capacidad de transgredir las categoras.
A veces tambin al dos se le negaba la categora de nmero por ser el generador de los
nmeros pares. Estas diferencias en los modos de clasificar pueden ser sntomas de algo ms
profundo: una divergencia entre los estilos cognitivos propios de las matemticas griegas y de
las nuestras.
Jacob Klein opina que es un error situar la nocin de nmero en una nica tradicin
ininterrumpida de significaciones. Para l, la nocin de nmero no es algo que se va
ampliando, sin ms, para incluir primero los nmeros irracionales, despus los nmeros reales
y finalmente los nmeros complejos. Klein llama la intencin del nmero, de manera que
cuando, por ejemplo, los algebristas del renacimiento asimilan los trabajos del matemtico
alejandrino Diofanto lo que est haciendo es reinterpretndole. La continuidad que creemos
percibir en la tradicin matemtica es un artefacto, construido proyectando hacia atrs
nuestro propio estilo de pensamiento para encontrarlo as en trabajos anteriores.
La diferencia entre el antiguo concepto de nmero y el moderno est, para Klein, en que el
primero era siempre nmero de algo, siempre se trataba de una cantidad determinada u se
refera a una coleccin de entidades, ya fueran objetos perceptibles, como cabezas de
ganado, o unidades puras concebidas por el pensamiento mediante abstraccin de
cualesquiera objetos particulares. Klein aduce que esta nocin de nmero es radicalmente
diferente de la que hoy se utiliza en lgebra.
entre una aritmtica prctica y otra terica; se corresponde a su vez con una discriminacin
social. Para Platn, son los amantes de la sabidura, los filsofos, quienes deben gobernar en
una sociedad bien ordenada.
La contemplacin terica del nmero comprenda una de sus propiedades, llamada eidos.
Klein explica que este trmino hace referencia ala especie o el tipo del nmero, o ms
literalmente a su forma, figura o aspecto. Hay que recordar que el nmero griego es
nicamente nmero de cosas, y los nmeros de cosas siempre pueden representarse como
nmeros de puntos. Estos puntos pueden disponerse a menudo formando figuras
caractersticas, como cuadrados, tringulos o rectngulos, de modo que resulta natural hablar
de nmeros cuadrados, nmeros triangulares o nmeros rectangulares u oblongos (ver figuras
pgina 184).
Una vez que los nmeros se han clasificado as en categoras, pueden estudiarse las
propiedades en trminos de formas o eidos. Los griegos usaban un artificio llamado gnomon,
que era un nmero figurado que, al aadirse a alguna de las figuras anteriores, no alteraba su
configuracin general.
Lo primero que salta a la vista en este enfoque de la aritmtica es lo bien que encaja en el
anlisis de Mill. Se trata de un caso histrico en el que el conocimiento de los nmeros se
lleva a cabo observado objetos sometidos a operaciones simples de ordenamiento y
clasificacin.
La segunda observacin se refiere a lo que esta aritmtica tiene de particular, y no a lo que
en ella hay de universal. Resalta cmo cristaliza cierto elemento de la experiencia (el
gnomon) para convertirse en una herramienta especializada de investigacin. Las
matemticas modernas y la teora de nmeros tambin muestran cierto inters por los tipos
de nmeros, pero no se parecen en nada a ese enfoque clasificatorio de los pitagricos y los
platnicos posteriores, En ellos, la aritmtica a veces toma el aspecto de una historia natural
de los tipos y de las especies y subespecies de las formas de los nmeros.
Qu inters puede tener esta aritmtica terica?: los pensadores de la poca fundaban sobre
ella todo un sistema de clasificacin en el que se representaban simblicamente la sociedad,
la vida y la naturaleza: en el orden y la jerarqua que se manifiestan en esa aritmtica ven
ellos condensados tanto la unidad del cosmos como las aspiraciones y el papel que en l
juega el hombre. Los distintos tipos de nmeros significan instancias como la Justicia, La
Armona o lo Divino.
Los modos de correspondencia entre matemticas y mundo natural se manifiestan, en su
nivel ms simple, en la correlacin que establece los pitagricos y neoplatnicos entre
propiedades sociales, naturales y numricas. Su clebre Tabla de los Opuestos ilustra esa
distribucin de categoras:
Indefinido Definido
Mltiple Uno
Izquierdo Derecho
Femenino Masculino
Oscuro Claro
Malo Bueno
Par Impar
Mvil Esttico
Oblongo Cuadrado
Pero el nmero no slo simboliza las fuerzas csmicas sino que se supone que posee una
eficacia divina o que participa de ella en alguna manera, de modo que el conocimiento del
nmero era un medio de situarse mentalmente en ciertos estados superiores de fuerza moral
y de gracia.
Stevin era un representante de las autnticas matemticas mientras que sus adversarios eran
ms bien anti-matemticos; el suyo no era otro modo de hacer matemticas sino un modo de
no hacerlas en absoluto. Si no concedemos al misticismo numerolgico rango de
matemticas, ni siquiera puede plantearse la cuestin de si se trata o no de otra matemtica.
Y si lo que hacemos es dividir los casos histricos en dos categoras, una que incorpora los
componentes genuinamente matemticos y otra que no merece llamarse matemticas.
Lo que se opone a una sociologa de las matemticas es esa idea de que las matemticas
gozan de vida y significado propios, esto es, suponer que sus smbolos encierran en s mismos
unas significaciones intrnsecas que estn ah aguardando simplemente a ser percibidas o
comprendidas.
La metafsica de la raz de dos
Hoy se da por supuesto que la raz de dos es un nmero, a saber, el nmero que, al
multiplicarse por s mismo, da como producto el nmero 2. Habitualmente se dice que es un
nmero irracional, denominacin heredada de una poca en que haba un notable inters
sobre cul era si condicin. El problema est en que no hay ninguna fraccin p/q que sea igual
a la raz de dos. (Ver frmulas pgina 188).
Para nosotros, si no es racional es que es irracional, pero para los griegos no era as. Para
ellos, lo que se ha demostrado con lo anterior es que la raz de dos no es un nmero en
absoluto, Por ms que la raz de dos no fuera un nmero, s corresponda, sin embrago, a una
longitud geomtrica bien definida: por ejemplo, la de la hipotenusa de una tringulo
rectngulo cuyos lados tuvieran de longitud la unidad. Esto nos da una idea del abismo que
separaba la geometra de la aritmtica.
Demuestra que la raz de dos no es un nmero o que es un nmero irracional? Es evidente
que lo que demuestra depende del marco de presupuestos sobre el nmero en cuyo interior
se consideran los clculos. Si por nmero se entiende bsicamente el nmero destinado a
contar, una coleccin de puntos, entonces el clculo significa algo muy distinto que si el
nmero se asocia intuitivamente con la imagen de un segmento de una lnea continua.
Imaginemos una cultura donde la gente haya aprendido muchas cosas importantes sobre
aritmtica pero apenas haya concedido importancia a las categoras de lo par e impar, que las
utilicen en sus clculos pero que no supusieran para ellos un autntico criterio de
demarcacin; una cultura que nunca hubiera soado con erigir una Tabla de los Opuestos
como la de los pitagricos ni, mucho menos, con entrelazar lo par y lo impar con otras
dicotomas csmicas. Despus de todo, la noche se funde con el da, lo bueno con lo malo y
lo blanco con lo negro. Un clculo como el anterior podra all entenderse, del modo ms
rotundo y natural, como una demostracin de que los nmeros pueden ser simultneamente
pares e impares, lo que adems vendra a confirmar su creencia en que no es nada realista
trazar fronteras rgidas.
Estas condiciones son de orden social, en el sentido de que residen en el sistema de
clasificaciones y significaciones que una cultura sustenta de forma colectiva. Son condiciones
que pueden variar y, en la medida en que lo hagan, variar tambin el significado de los
objetos matemticos.
Si el sentido particular de una clculo depende del conjunto de presupuestos compartidos, su
influencia general es an ms contingente. Al descubrimiento de las magnitudes irracionales
se le llama habitualmente la crisi de los irracionales en la matemtica griega, y se trataba
efectivamente de una crisis porque la separacin entre magnitud y nmero que el
descubrimiento evocaba en los griegos se opona a su anterior hbito de imaginar las lneas y
las formas compuestas por puntos. Quiz un Roberval griego prematuro hubiera evitado la
crisis de los irracionales, pero lo que s es cierto es que el teorema sobre la raz cuadrada de
dos no impidi a Roberval desarrollar sus trabajos.
Los infinitsimos
A veces se dice que una curva se compone en realidad de muchos pequeos segmentos de
recta; y, evidentemente, esa analoga entre una curva regular y una coleccin de segmentos
enlazados entre s aumenta cuanto ms pequeos y numerosos son esos segmentos, Este
tipo de intuiciones son las que dieron origen a la idea de magnitudes infinitamente pequeas
o infinitsimos, as como a la nocin de lmite. La larga historia de estas ideas culmin en el
clculo infinitesimal.; ver las superficies y los slidos como si estuvieran compuestos de
segmentos
o
rebanadas,
respectivamente;
este
procedimiento
permite
captar
intelectualmente ciertas formas qie, de otro, modo no se comprenderan. (ver figura 8 pgina
192)
En los SXVI y XVII el uso de los infinitsimos lleg a hacerse habitual en el pensamiento
matemtico; Cavalieri recurri a establecer analogas entre la manera en que puede
constituirse un slido a partir de segmentos infinitesimales y la manera en que un libro se
compone de sus pginas. Sugiri que una superficie estaba hecha de lneas infinitesimales del
mismo modo que un tejido se hace con hilos finsimos. Un uso particularmente atrevido de los
infinitsimos fuel el que hizo Wallis para encontrar un tringulo compuesto de minsculos
paralelogramos cuyo grosos es apenas el de una lnea. El rea de cada paralelogramo es
prcticamente igual a su base por su altura (ver figura 9 pgina 193). El rea total es
evidentemente la suma de las reas de todos los paralelogramos. Wallis saba que la suma de
los trminos de una progresin aritmtica es el producto del nmero de trminos por su valor
medio, y no vio razn alguna por la que dejar de aplicar este modelo de inferencia a esa
sucesin infinita de segmentos infinitesimales (ver frmulas pgina 193). Algunos pensadores
como Cavalieri, eran escpticos sobre la realidad de los infinitsimos; otros, como Galileo,
desarrollaron largos argumentos filosficos en su favor.
Para los matemticos modernos los trminos en los que Wallis hace sus clculos no tienen
ningn significado preciso. Los historiadores no han dejado de reconocer lo valioso que fue
ese relajamiento del rigor, pues permiti por primera vez que ese tipo de expresiones figurara
en los clculos. El griego Arqumedes tambin vio la utilidad de imaginar que las figuras
planas se cotaran en rodajas, y us esta idea, junto con otras metforas ms mecnicas
todava, para facilitar la intuicin matemtica de algunas formas y figuras difciles de tratar.
Arqumedes esboza las lneas maestras de este mtodo de teoremas mecnicos en una
carta en la que subraya que l no prueba ni demuestra realmente los teoremas que propone.
Una verdadera demostracin es una demostracin geomtrica, y no una que se base en
metforas de formas que se cortan en rodajas o se equilibran entre s. Tales demostraciones
geomtricas satisfacan la exigencias de no utilizar infinitos actuales. Es interesante sealar
que los matemticos renacentistas no conocan el mtodo empleado por Arqumedes.
El gran nfasis en el rigor que marc las matemticas del SXIX reinstaur la prohibicin sobre
los infinitos actuales y los infinitsimos que ya haba dominado en Grecia pero que se haba
desvanecido en el SXVI.
Estas oscilaciones hacen pensar que en las matemticas podra haber dos factores o procesos
diferentes que se encuentran en tensin entre s o que, al menos, se mezclan en distintas
proporciones. Bajo las matemticas que hoy asociamos con el clculo infinitesimal ha habido
una constante intuicin de que las curvas regulares, las figuras planas o los slidos pueden
verse como si estuvieran realmente constituidos por cortes; se trata de un modelo o metfora
que a menudo atrae a la gente cuando piensa en estas cuestiones. Por supuesto, las
matemticas no son lo mismo que el pensamiento intuitivo; siempre se han impuesto normas
de demostracin y de lgica.
El inconveniente fue la confusin y la divergencia de opiniones; hubo ms espacio para las
creencias personales y las desviaciones creativas, pero la certeza qued amenazada ante la
proliferacin incontrolada de desacuerdos, anomalas y singularidades. Las operaciones
bsicas del clculo y la intuicin de similitudes, modelos y metforas pueden considerarse
como los aspectos empricos o experimentales de las matemticas, correspondindose con
los datos aportados por la experiencia y los experimentos en las ciencias naturales. No parece
haber razones, por tanto, para tratar a las matemticas de manera distinta a las ciencias
empricas.
Conclusin
Hemos presentado una serie de casos que pueden entenderse como modos diferentes de
pensamiento matemtico. Esas matemticas diferan de las nuestras en su estilo, sus
significaciones, sus analogas y sus criterios de fundamentacin. Estas discordancias son
significativas y reclaman una explicacin, que bien pudiera encontrarse en causas de tipo
social. Estos ejemplo muestran que las matemticas se fundan en la experiencia pero en una
experiencia que resulta de seleccionar ciertos hechos segn criterios mudables, una
experiencia a la que se dota de significados, conexiones y usos que tambin son variables.
Una parte de la experiencia sirve de modelo para tratar numerosos problemas; cmo esos
modelos se generalizan mediante analogas y metforas.
Estas variaciones y discordancias en el pensamiento matemtico suelen ocultarse. Una de las
teoras empleadas consiste en insistir en que un determinado estilo de pensamiento slo
merece el nombre de matemticas en la medida en que se asemeja al nuestro.
No puede escribirse historia sin llevar a cabo un proceso de interpretacin. Al establecer
comparaciones y contrastes, al discriminar lo valioso de lo descartable, al separar lo
significativo de lo insignificante, al tratar de encontrar un sistema o cierta coherencia, al
interpretar lo que parece oscuro o incongruente, al cubrir las lagunas o al descartar los
errores, al explicar lo que los pensadores habran podido o debido hacer si hubieran tenido
ms informacin, ms luces o ms suerte, al hacer un comentario detallada que reconstruya
los supuestos y las creencias subyacentes, nos es necesario para entender nuestra historia,
pero lo importante es que nos preguntemos qu normas vamos a imponer y qu
preocupaciones nos van a guiar en ese trabajo de construir nuestro sentido del pasado.
Si los historiadores quieren mostrar el carcter acumulativo de las matemticas, pueden
hacerlo gracias a ese dispositivo interpretativo. En lugar de mostrar la existencia de
matemticas alternativas, el trabajo se centrar ahora en separar el trigo de la paja. Cajori
subraya que las matemticas son la ciencia acumulativa por excelencia, que en ellas nada se
pierde y que las contribuciones del pasado ms remoto brillan con el mismo esplendor que las
aportaciones actuales.
Esas virtudes se ponen al servicio de una visin general progresista, y esa visin es la que
debe ponerse en entredicho. Hay discontinuidades y variaciones tanto en el interior de las
matemticas como entre lo que es matemtica y lo que no lo es. Debemos recurrir a otras
estimaciones como, por ejemplo, los mecanismos del pensamiento lgico y matemtico. De
ello trataba tambin la discusin entre Ferge y Mill.
La negociacin en el pensamiento lgico y matemtico
Retomamos el anlisis de la compulsin lgica; su intencin es aadir a las explicaciones
ofrecidas hasta ahora un proceso completamente nuevo que denominar negociacin. Las
convenciones, las normas o las instituciones sociales no siempre nos constrien a travs de la
internalizacin directa del sentido de lo correcto y de lo errneo, y adems, no pueden
hacerlo; y de igual manera que nuestros papeles y obligaciones sociales pueden entrar en
conflicto, puede ocurrir lo mismo con los resultados de nuestras instituciones lgicas. Para
una comprensin cabal de este fenmeno, necesitaremos, ms que nunca, una perspectiva
sociolgica. Mill debate con Whately si el silogismo contiene una petito principii
Todos los hombres son mortales
El Duque de Wellington es un hombre
Luego el Duque de Wellington es mortal
Mill cree que, efectivamente, aqu se da una circularidad.
El consejo de Lord Mansfield
La parte ms familiar de la teora de Mill es que el razonamiento procede de lo particular a lo
particular. La inferencia sobre la mortalidad del Duque se basaba en una generalizacin
inductiva y en una asociacin de ideas: la experiencia de los casos pasados permite hacer
generalizaciones seductivas fiables sobre la muerte y stas se extrapolan naturalmente para
respaldar casos que parecen muy similares a aquellos que acontecieron en el pasado. Mill
dice que el verdadero proceso de inferencia consiste en el trnsito de los casos particulares
pasados a los casos particulares del presente, por lo que el proceso de pensamiento
involucrado no depende de la generalizacin de que todos los hombres seamos mortales.
Mill deja caer las alusiones que mencionbamos. Las proposiciones generales son para Mill
simplemente registros de las inferencias que ya hemos realizado. El razonamiento consiste
en el acto especfico de asimilar los nuevos casos a los viejos. Mill se refiere a la
generalizacin de que todos los hombres son mortales como a un recordatorio. La inferencia
sobre la mortalidad de cualquier persona especfica, dice Mill, no resulta del propio
recordatorio sino ms bien de aquellos casos pasados que sirvieron para establecer dicho
recordatorio.
Para Mill, hablar en esos trminos de las premisas y los principios conlleva dos ideas:
1.
2.
Mientras indica que no son centrales para el acto del razonamiento en s, sugiere que
podran desempear alguna otra funcin positiva, aunque diferente de la que se le suele
atribuir. El modo en que Mill habla de esta otra funcin evoca un medio de documentar y
archivar lo que ha ocurrido.
Si las razones no llevan a conclusiones, sino que simplemente son ideas a posteriori, qu
relacin mantienen entonces con esas conclusiones? Mill considera que la conexin entre los
principios generales y los casos que caen bajo su mbito es algo que debe crearse: se tiene
que construir un puente interpretativo.
Mill trata el silogismo: sus estructuras formales se conectan con las inferencias reales a travs
de un proceso interpretativo. La lgica formal es un modo de exponer las cosas, una disciplina
impuesta, una estructura superficial construida y ms o menos artificial. La idea central es
que los principios formales de la razn son herramientas de los principios informales del
razonamiento. La lgica deductiva es el producto de una reflexin interpretativa a posteriori.
Cmo se expresa la prioridad de lo informal sobre lo formal?:
Parece as una inferencia lgica clara que basta con tener un nico caso de brujera, que fuera
decisivo e incontestable, para establecer que toda una rama de parientes ha estado integrada
con brujos. De igual manera, la decisin de que un hombre no es brujo debera bastar para
exonerar a todos sus parientes. Pues bien, los azande no actan de acuerdo con estas
inferencias.
En teora, todo el clan al que pertenece un brujo debera estar compuesto por brujos. En la
prctica, slo se consideran brujos a los parientes paternos prximos de un brujo conocido. A
qu se debe esto?
Evans-Piritchard lo explica sealando que los azande dan prioridad a los ejemplos especficos
y concretos de brujera sobre los principios abstractos y generales. stos nunca preguntan a
un orculo la cuestin general de si tal cual persona es un brujo. Lo que preguntan es si tal o
cual persona est embrujada aqu y ahora. As, los azande no perciben la contradiccin tal
como la percibimos nosotros porque no tienen ningn inters terico en el tema, y las
situaciones en las que expresan sus creencias en la brujera no les llevan a plantearse el
problema.
Este anlisis conlleva claramente dos ideas centrales:
1.
Existe realmente una contradiccin en la manera azande de ver las cosas, la perciban
ellos o no; los azande han institucionalizado un error lgico, o al menos un cierto grado de
ceguera lgica.
2.
En caso de que los azande percibieran el error, una de sus principales instituciones
sociales se volvera insostenible, pues quedara amenazada de ser contradictoria o
lgicamente defectuosa y, por tanto, su supervivencia estara en peligro.
Es vital para los azande mantenerse en su error lgico so pena de convulsiones sociales u de
implicar un cambio radical en sus modos de vida.
A veces Wittgenstein equipara la extraccin de una conclusin lgica con la conviccin de que
algo no puede ser de otra manera: los encadenamientos lgicos son aquellos que nos parecen
evidentes. Ahora son los azande quienes consideran evidente que todo el clan de un brujo no
puede estar integrado por brujos; para ellos esto no puede ser de otra manera. Es lgico, por
tanto, que no saquen esa conclusin. Pero como para nosotros sa es la conclusin que debe
sacarse, debe haber ms de una lgica: la de los azande y la de los occidentales.
Para subrayar la autosuficiencia de la visin azande, Winch dirige la atencin hacia ciertas
diferencias entre la analoga del juego y el caso en cuestin. El antiguo juego se volva
efectivamente obsoleto cuando apareca nueva informacin; una vez que se conoce el truco,
el juego se derrumba bajo el impacto del conocimiento. Pero los azande no se limitan a
descartar la brujera cuando se les llama la atencin sobre (las que consideramos que son)
todas sus implicaciones lgicas; no quedan sumidos en la confusin. Winch sugiere que esto
prueba que la brujera y la lgica azandes no se pueden comparar con la perspectiva
occidental, que no se relacionan entre s como partes de un todo. El suyo es un juego
diferente que no se prolonga en el nuestro de un modo natural.
La discusin de Winch atae slo a la unicidad de la lgica pero no discute su poder. De
hecho, parece compartir la creencia en ese poder. Pese a su crtica, parece dar por supuesto
que, si hubiera habido una contradiccin lgica en las creencias azande, la institucin de la
brujera se habra visto efectivamente amenazada.
Si Mill tiene razn, la lgica est en el extremo opuesto al poder, La aplicacin de los
esquemas lgicos es slo una manera de reordenar a posteriori nuestras reflexiones, y
siempre est sujeta a negociacin.
Lord Mansfield se hubiera sentido orgulloso de los azande, pues siguen fielmente su consejo:
expresan sus decisiones rotundamente sin preocuparse por aportar una elaborada estructura
que las justifique. Siguen los pronunciamientos de su orculo cuando ste decide quin es o
no un brujo y saben, con la misma confianza, que no todos los miembros del clan afectado
son brujos. Ambas creencias son estables y centrales en sus vidas. Si alguna vez llegara a
plantearse el problema de la inferencia, negociaran la amenaza con habilidad para rechazarla
sin mayor dificultad. Todo lo que necesitaran seran unas cuentas distinciones sutiles. Uno de
ellos puede haber sido acusado de brujera sin que por ello se le trate siempre como brujo; en
ese caso dicen que la sustancia brujesca se ha enfriado, y ya no es ms un brujo a ningn
efecto. La lgica no amenaza la institucin de la brujera porque in razonamiento lgico
siempre se puede sustituir por otro.
(Ver figura 11, pgina 213) Los factores realmente importante son los dos elementos de la
situacin que se dan socialmente por supuestos: el uso del orculo y la inocencia general del
clan en su conjunto, Ambos estn sancionados por la tradicin y son centrales en la forma de
vida azande, por lo que ninguna extrapolacin meramente lgica que pueda seguirse de uno
de ellos va a perturbar al otro. Si una estructura de justificacin no cumple su funcin,
siempre se puede inventar otra.
El que nosotros s podemos imaginar que la acusacin de brujera pueda generalizarse a todo
un clan se debe simplemente a que no experimentamos verdaderamente la presin que se
ejerce contra esa conclusin.
Las principales variables sociales de una situacin as son de dos tipos: las instituciones, que
se dan por supuestas, y el grado de elaboracin y desarrollo de las ideas que mantienen
unidas a estas instituciones entre s. En el caso de los azande esa elaboracin es mnima,
aunque en otras culturas puede estar muy desarrollada. (Ver ejemplo pgina 213-214). Las
instituciones son estables y nuestros razonamientos informales hacen los ajustes necesarios.
caras son polgonos. Euler pens que su frmula era vlida para todos los poliedros. Hoy no se
concedera el honor de llamar teoremas a una resultado as obtenido, todo lo ms se le
atribuira una certeza inductiva o moral. Un autntico teorema debe seguirse de una prueba o
demostracin.
Cualquier anlisis naturalista de las matemticas debe dar cuenta de la naturaleza de la
demostracin y del tipo de certeza que entraa. Cauchy propuso una idea ingeniosa que
pareca demostrar el teorema de Euler; se centraba en una experimento mental con los
poliedros. (Ver figura 13 pgina 220). La clave de la demostracin est en mostrar que la
propiedad sealada por Euler es una consecuencia natural del hecho que un tringulo tenga 3
vrtices, 3 aristas y, por supuesto, 1 cara. El experimento mental original no era sino una
manera de poder visualizar los poliedros como construidos por tringulos; visin que se
obtiene al extenderlos sobre un plano y someterlos al proceso de triangulacin.
Quiz no quepa duda de que algunos poliedros se ajustan a la frmula de Euler, pero s la hay
de que el razonamiento de Cauchy explique por qu es as. Como seala Lakatos, Cauchy no
se dio cuenta de que la supresin de tringulos que se tocan entre s deba hacerse con
mucho cuidado para que la frmula pudiera seguir mantenindose.
Lhuilier y Hessel encontraron cada uno una excepcin al teorema de Euler y a la demostracin
de Cauchy. En la figura 15 (pgina 223) se muestra un cubo encajado en otro, pudiendo
considerarse que el cubo interior perfila un hueco dentro del grande. Una inspeccin directa
del nmero de caras, aristas y vrtices muestra que no satisface el teorema; y tampoco se
presta al experimento mental de Cauchy, pues al suprimir una cara de cualquiera de ambos
cubos no se puede extender sobre el plano la figura resultante. Si se supone que las
demostraciones establecen de una vez por todas la verdad de una proposicin, entonces algo
debe de andar mal con el contraejemplo. Quiz esta definicin est mal hecha y lo que
hubiera debido entenderse por poliedro fuera una superficie, y no un slido, con caras
poligonales. (ver figura 16 pgina 223).
Mobius ya haba dado una definicin de poliedro que hubiera eliminado este contraejemplo:
un poliedro, defini, es un sistema de polgonos tal que dos polgonos comparten una arista y
en l siempre se puede pasar de una cara a otra sin pasar por un vrtice. Aunque la
reelaboracin que hace Mobius del significado de poliedro excluye los ejemplos de Hessel,
an quedan otros que burlan sus defensas, como el de la figura 17 (pgina 224), que
satisface la definicin de Moebius pero no se somete a la demostracin de Cauchy pues no
puede aplanarse.
(Ver figura 18, pgina 224) Todo este proceso se debe a que el teorema empez siendo una
generalizacin inductiva. Se propone una demostracin y es el mismo hecho de intentar
probar que es correcta el que expone la generalizacin a todo tipo de crticas. Los
contraejemplos revelan que nos estaba claro lo que era un poliedro y se tiene que decidir cul
es el significado del trmino poliedro, que haba quedado indeterminado en la zona de
sombra proyectada por los contraejemplos. Entonces la demostracin y el propio alcance del
teorema ya pueden consolidarse gracias a la creacin de una elaborada estructura de
definiciones, que tienen su origen en el conflicto que haba surgido entre la demostracin y
los contrajemplos.
Lakatos nos recuerda lo que el consejo de Lord Mansfield pasa por alto: que la idea que
orienta una demostracin es un recurso valioso. Cumple un papel parecido al de los modelos
fsicos de Mill: delimita el intento de comprensin de un asunto a la luz de cierto modelo, que
utiliza para establecer conexiones y analogas. Hay dos formas principales por las que la idea
que rige una demostracin funciona como un recurso:
1.
2.
Lo mismo si vale para demostrar el teorema como si no, la idea que se ensay en la
demostracin sigue existiendo y podr usarse como gua para trabajos posteriores.
Lakatos pretende mostrar con su ejemplo que las matemticas, como las dems ciencias,
proceden por conjeturas y refutaciones. Manifiesta que quiere, como tambin el socilogo,
disipar ese aura de perfeccin esttica e inexorable unidad que las rodea. Si hay un enfoque
popperiano de las matemticas, incorporar las crticas, los desacuerdos y el cambio; y
cuanto ms radicales, mejor. Desde esta perspectiva, en las matemticas no hay esencias
lgicas ltimas como tampoco hay ltimas esencias materiales.
Lakatos concentra su atencin en lo que llama matemticas informales, que son los
sectores de crecimiento que an no han sido organizados como sistemas deductivos
rigurosos. Formalizar un sector de las matemticas significa presentar sus resultados de
manera que se deriven de cierto conjunto de axiomas enunciados explcitamente. Si algo es
obvio slo se debe a que no se lo ha sometido a una crtica en profundidad. La crtica destrivializa lo trivial y pone de manifiesto precisamente cunto damos por supuesto en lo que
nos parece evidente por s mismo. Ninguna verdad lgica de apariencia sencilla y trivial
puede aportar, por tanto, fundamento ltimo alguno al conocimiento matemtico.
Al rechazar la idea de que la autntica naturaleza de las matemticas descanse en los
sistemas axiomticos y formalizados, Lakatos muestra que para l, como tambin para Mill, lo
informal tiene prioridad sobre lo formal.
Ofrecer una demostracin de una proposicin matemtica es ms bien, para Lakatos, como
ofrecer una explicacin terica de un resultado emprico en las ciencias de la naturaleza; las
demostraciones explican por qu una proposicin, o un resultado conjetural, es cierta. Una
demostracin puede refutarse con contraejemplos y recuperarse despus reajustados el
alcance y los contenidos de las definiciones y categorizaciones. La idea que rige una
demostracin y es eficaz en cierto mbito puede utilizarse otra vez de manera diferente en
otro mbito, tal como ocurre con los modelos y las metforas en la teorizacin fsica. Al igual
que las teoras, las demostraciones dotan de ciertos significados a lo que explican. Que toda
regla puede reinterpretarse y toda idea puede desarrollarse de maneras nuevas. En principio,
el pensamiento informal siempre puede burlar el pensamiento formal. Los periodos de
cambios rpidos en matemticas, en los que hay una crtica activa de los fundamentos, se
consideran favorables; aquellos otros periodos en los que las definiciones, axiomas,
resultados y demostraciones se dan por hecho aparecen como perodos de estancamiento.
Lakatos considera que los perodos de estancamiento se corresponden con las ciencia
Normal, donde ciertos desarrollos matemticos y ciertos estilos de razonamiento adquieren
la apariencia de verdades eternas. Lo que se considera lgico es lo que se da por supuesto,
En cada momento dado, las matemticas se desarrollan segn (y se basan en) lo que los
matemticos dan por supuesto: no tienen ms fundamento que el social.
El rechazo de los supuestos lineales y progresistas que caracterizaron a las anteriores
generaciones de historiadores de la ciencia se ha convertido hoy en un lugar comn.
Los historiadores son ahora ms proclives que antes a investigar la integridad de diferentes
estilos de trabajo, a relacionar los datos entre s de modo que se enmarquen en pocas ms o
menos delimitadas, cada una con sus propias preocupaciones, paradigmas. No deja de
construirse, igual que antes, una unidad subyacente; y se siguen haciendo conjeturas sobre
los pensamientos que se ocultan bajo los documentos que los matemticos dejan tras de s.
Las ideas del conocimiento se basan en representaciones sociales, que la necesidad lgica es
una especie de obligacin moral y que la objetividad es un fenmeno social.
Aunque que he acentuado el carcter materialista de la aproximacin sociolgica, el
materialismo tiende an a ser pasivo y no activo. Espero que no puede decirse que no sea
totalmente dialctico, pero sin duda representa al conocimiento como teora ms que como
prctica. Parecen tener, los crticos de la sociologa del conocimiento, menos recursos para
enfrentarse con el problema que quienes mantienen una aproximacin naturalista. La filosofa
de Popper hace de la ciencia un asunto de pura teora en vez de una tcnica en la cual
podemos confiar. Slo provee una ideologa para el cientfico ms puro y deja al ingeniero y al
artesano sin auxilio.
La topografa del intelectual no es moralmente neutra. La Racionalidad y la Causalidad luchan
entre s como si fueran las fuerzas del Bien y del Mal. Las respuestas prefabricadas y las
evaluaciones convencionales son tan inapropiadas para la sociologa del conocimiento como
predecibles por ella. El relativismo es simplemente lo opuesto al absolutismo, y seguramente
es preferible a l.
Es innegable que el programa fuerte en la sociologa del conocimiento descansa sobre una
forma de relativismo. ste adopta lo que se puede llamar relativismo metodolgico, una
posicin resumida en los requisitos de simetra y reflexividad que fueron definidos al principio.
Todas las creencias deben ser explicadas de la misma manera general, al margen de cmo se
evalen.
Una forma en la que la sociologa del conocimiento podra autojustificarse polmicamente en
su relativismo es insistir en que no es ms no menos culpable que otras concepciones del
conocimiento que normalmente escapan esta acusacin. La sociologa del conocimiento
puede formular fcilmente lo esencial de su propio punto de vista en los trminos de esa
filosofa. Todo conocimiento es relativo a la situacin local de los pensadores que lo producen:
las ideas y conjeturas que son capaces de producir, los problemas que les inquietan la
interaccin entre presupuestos y crtica en su medio social, sus objetivos y pretensiones, las
experiencias que tienen y los patrones y significados que aplican. Tampoco se altera la
situacin porque al explicar la conducta y la creencia algunas veces se establezcan
suposiciones sobre el mundo fsico que circunda a los actores. Si Popper est en lo cierto, este
conocimiento tambin es conjetural. La explicacin entera es una conjetura, aunque sea una
conjetura sobre otras conjeturas.
Un socilogo puede asumir la insistencia de Popper en que lo que establece el conocimiento
cientfico no es la verdad de sus conclusiones sino las reglas de procedimiento, los patrones y
las convenciones que los conforman.
Considerar todo conocimiento como algo conjetural y falible es realmente la forma ms
extrema de relativismo filosfico. Lo que constituye la misma existencia de la ciencia es su
condicin de actividad en proceso; es un modelo de pensamiento y conducta, un estilo de
abordar las cosas que tienen sus normas y valores caractersticos. Si podemos vivir con el
relativismo moral, podemos vivir con el relativismo cognitivo.
La ciencia puede ser capaz de funcionar sin verdad absoluta, aunque tal verdad podra
subsistir. Este sentimiento residual seguramente descansa sobre una confusin entre la
verdad y el mundo material. Pero creer en un mundo material no justifica la conclusin de que
exista un estado final o privilegiado de adaptacin a l que constituya el conocimiento o la
verdad absoluta. Como ha sostencito Kuhn con gran claridad, el progreso cientfico (que es
bastante real) es como la evolucin darwiniana. Hemos alcanzado la posicin actual en el