Professional Documents
Culture Documents
Aspectos generales
Etimologa
La palabra deriva del griego ,"contemplar" o ms bien se refiere a un
pensamiento especulativo. Al igual que la palabra especular, tiene relacin con "mirar",
"ver". Proviene de theoros (espectador), formada de thea (vista) y horar (ver). De
acuerdo con algunas fuentes, theorein era frecuentemente utilizado en el contexto de
observar una escena teatral, lo que quiz explica el porqu algunas veces la palabra
teora es utilizada para representar algo provisional o no completamente real.5
Teora y realidad
El trmino "terico" o "en teora" es utilizado para sealar la diferencia entre los datos
obtenidos del modelo respecto a los fenmenos observables en la experiencia o
experimento de la realidad. Frecuentemente indica que un resultado particular ha sido
predicho por la teora pero no ha sido an observado. Por ejemplo, hasta hace poco, los
agujeros negros fueron considerados tericos, lo mismo que en su momento la
prediccin de la existencia de Plutn.
Una buena teora ha de ser capaz de realizar predicciones confirmables mediante nuevos
experimentos u observaciones. Una teora corroborada ampla el campo explicativo y
permite actualizar el conocimiento de los hechos que se tienen del mundo.
Las teoras actan como hiptesis complejas sobre conjuntos de leyes establecidas por
las teoras anteriores. Las observaciones experimentales las convierten en teoras
cientficas aceptadas como epistemolgicamente vlidas por la comunidad cientfica.
Hoy da las teoras cientficas son producto de los programas de investigacin.6
experiencia a travs de las medidas cuantitativas en su relacin con las cualidades de las
formas aristotlicas, inicindose el camino de una nueva lgica emprica.13
Teora cientfica
Planteamiento de un sistema hipottico-deductivo que constituye una explicacin o
descripcin cientfica a un conjunto relacionado de observaciones o experimentos. As,
una teora cientfica est basada en hiptesis o supuestos verificados por grupos de
cientficos (en ocasiones un supuesto, no resulta directamente verificable pero s la
mayora de sus consecuencias). Abarca en general varias leyes cientficas verificadas y
en ocasiones deducibles de la propia teora. Estas leyes pasan a formar parte de los
supuestos e hiptesis bsicas de la teora que englobar los conocimientos aceptados por
la comunidad cientfica del campo de investigacin y est aceptada por la mayora de
especialistas.
En ciencia, se llama teora tambin a un modelo para el entendimiento de un conjunto
de hechos empricos. En fsica, el trmino teora generalmente significa una
infraestructura matemtica derivada de un pequeo conjunto de principios bsicos capaz
de producir predicciones experimentales para una categora dada de sistemas fsicos. Un
ejemplo sera la "teora electromagntica", que es habitualmente tomada como sinnimo
del electromagnetismo clsico, cuyos resultados especficos pueden derivarse de las
ecuaciones de Maxwell. Para que un cuerpo terico dado pase a ser considerado como
parte del conocimiento establecido, habitualmente se necesita que la teora produzca un
experimento crtico, esto es, un resultado experimental que no pueda ser predicho por
ninguna otra teora ya establecida. De acuerdo con Stephen Hawking en (Una breve
historia del tiempo), "una teora es buena si satisface dos requerimientos: debe describir
con precisin una extensa clase de observaciones sobre la base de un modelo que
contenga slo unos cuantos elementos arbitrarios, y debe realizar predicciones concretas
acerca de los resultados de futuras observaciones". Procede luego a afirmar: "Cualquier
teora fsica es siempre provisional, en el sentido que es slo una hiptesis; nunca puede
ser probada. No importa cuntas veces los resultados de los experimentos concuerden
con alguna teora, nunca se puede estar seguro de que la prxima vez el resultado no la
contradir. Por otro lado, se puede refutar una teora con encontrar slo una observacin
que est en desacuerdo con las predicciones de la misma."
Para Mario Bunge (1969), la construccin de una teora cientfica es siempre la
edificacin de un sistema ms o menos afinado y consistente de proposiciones que
unifica, analiza y profundiza ideas.
Ciencias sociales
Las teoras existen no slo en las ciencias naturales y las ciencias exactas, sino en todos
los campos del estudio acadmico, desde la filosofa hasta la literatura o la ciencia
social. Ejemplo en Sociologa: La Gran Teora, con la Teora de los sistemas de accin
de T. Parsons, en Antropologa cultural con la Cultura de B. Malinowski.
Teoras de rango medio de M. Weber con 'La tica protestante y el espritu del
capitalismo' con un aspecto de la sociedad. Teora de Micro nivel, El pluralismo
religioso actual en los Estados Unidos acotando ms el campo y la poca.
Tipos de teora
Hay dos categoras de ideas que pueden desembocar en teoras: si una suposicin no es
respaldada por observaciones se conoce como una conjetura, en cambio, si es as
respaldada, es una hiptesis. Una hiptesis puede resultar ser falsa. Cuando esto ocurre,
la hiptesis debe ser modificada para adaptarse a la observacin, o ser descartada.
Una teora es diferente de un teorema. La primera es un modelo de eventos fsicos y no
puede ser probado a partir de axiomas bsicos. El segundo es una proposicin de un
hecho matemtico que sigue lgicamente a un conjunto de axiomas. Una teora es
tambin diferente de una ley fsica modelo de la realidad mientras que la segunda es una
proposicin acerca de lo que ha sido observado.
Las teoras pueden llegar a ser aceptadas si son capaces de realizar predicciones
correctas (confirmadas por la observacin). Las teoras simples y elegantes
matemticamente tienden a ser aceptadas preferentemente sobre aquellas que son ms
complejas. El proceso de aceptar teoras, o de extender teoras existentes, es parte del
mtodo cientfico.
Teora en matemticas
Una teora T se dice que es recursivamente axiomatizable si existe ostra teora T'
recursiva tal que los teoremas de T' sean los mismos que los de T.
Una teora T se dice finitamente axiomatizable si existe una teora T' con una
cantidad finita de axiomas tal que los teoremas de T' y los de T sean los mismos.
O equivalentemente:
Modelos tericos
Los seres humanos construyen teoras para as explicar, predecir y dominar diferentes
fenmenos (cosas inanimadas, eventos, o el comportamiento de los animales). En
muchas circunstancias, la teora es vista como un modelo de la realidad. Una teora hace
generalizaciones acerca de observaciones y consiste en un conjunto coherente e
interrelacionado de ideas.
Una teora tiene que ser de alguna manera verificable; por ejemplo, uno puede teorizar
que una manzana caer cuando se le suelta, y entonces soltar una manzana para ver qu
pasa. Muchos cientficos, argumentan que las creencias religiosas no son verificables y,
por lo tanto, no son teoras sino materia de fe.
Referencias
1.
4.
5.
6.
Lakatos
7.
8.
9.
Entendimiento agente
10.
11.
12.
13.
El nominalismo
La Universidad de Oxford, Grosseteste y los llamados mertonianos,
Buridano, Nicols de Oresme, etc. hasta llegar a Ockham y la llegada del
Renacimiento
Teora cientfica
Una teora cientfica es un conjunto de conceptos, incluyendo abstracciones de
fenmenos observables y propiedades cuantificables, junto con reglas (leyes cientficas)
que expresan las relaciones entre las observaciones de dichos conceptos. Una teora
cientfica se construye para ajustarse a los datos empricos disponibles sobre dichas
Modelos cientficos
En ciencia, se llama tambin teora a un conjunto de proposiciones que permiten
construir un modelo aproximado de la realidad, para el entendimiento de un conjunto de
hechos empricos. Un modelo especfico es una descripcin que permite hacer
predicciones pero en general no permite hacer deducciones ms all de los supuestos del
modelo, y en ese sentido los modelos no son sistemas hipottico-deductivos tan amplios
como una teora. Es decir, los modelos no explican datos cualitativamente diferentes de
los que se usaron para formular el modelo, en cambio las teoras frecuentemente son
aplicables a problemas completamente nuevos. Una teora cientfica formal puede ser
interpretada formalmente en un modelo formal donde los axiomas de la teora as como
las deducciones a partir de esos axiomas se satisfacen. Informalmente podra decirse
que el modelo formal de una teora es un "mundo imaginario" donde se satisfacen todas
las predicciones de la teora. En ese sentido, una teora formal es adecuada para
describir la realidad, si cualquier modelo formal de la teora se asemeja al mundo real o
situacin emprica real que trata de explicar.
Una teora cientfica es un tipo de teora deductiva, ya que su contenido (es decir, los
datos empricos) puede expresarse dentro de un sistema formal de la lgica cuyas reglas
elementales (es decir, las leyes cientficas) se toman como axiomas. En una teora
deductiva, cualquier sentencia que es una consecuencia lgica de una o ms de los
axiomas es tambin una sentencia de la teora.
crtico, esto es, un resultado experimental que no pueda ser predicho por ninguna otra
teora ya establecida.
De acuerdo con Stephen Hawking en (Una breve historia del tiempo),
"una teora es buena si satisface dos requerimientos: debe describir con precisin una
extensa clase de observaciones sobre la base de un modelo que contenga slo unos
cuantos elementos arbitrarios, y debe realizar predicciones concretas acerca de los
resultados de futuras observaciones."
Procede luego a afirmar:
"Cualquier teora fsica es siempre provisional, en el sentido que es slo una hiptesis;
nunca puede ser probada. No importa cuntas veces los resultados de los experimentos
concuerden con alguna teora, nunca se puede estar seguro de que la prxima vez el
resultado no la contradir. Por otro lado, se puede refutar una teora con encontrar slo
una observacin que est en desacuerdo con las predicciones de la misma".
y entender cada punto constitucin y definicin.
Consenso cientfico
El consenso cientfico es el juicio colectivo que manifiesta la comunidad cientfica
respecto a una determinada posicin u opinin, en un campo particular de la ciencia y
en determinado momento de la historia. El consenso cientfico no es, en s mismo, un
argumento cientfico, y no forma parte del mtodo cientfico; sin embargo, el consenso
existe por el hecho de que est basado en una materia objeto de estudio que s presenta
argumentos cientficos o que s utiliza el mtodo cientfico. Segn Thomas Kuhn, para
una nueva idea cientfica reconocida, su capacidad de generar consenso es directamente
proporcional a su adecuacin al paradigma dominante o a su grado de innovacin (que
puede llegar hasta la ruptura del paradigma, denominado revolucin cientfica).
El consenso suele lograrse a travs del debate cientfico. La tica cientfica exige que
las nuevas ideas, los hechos observados, las hiptesis, los experimentos y los
descubrimientos se publiquen, justamente para garantizar la comunicacin a travs de
conferencias, publicaciones (libros, revistas) y su revisin entre pares y, dado el caso, la
controversia con los puntos de vista discrepantes. La reproducibilidad de los
experimentos y la falsacin de las teoras cientficas son un requisito indispensable para
la buena prctica cientfica.
As se llega a una situacin donde aquellos especialistas de una determina disciplina a
menudo pueden reconocer en qu temas hay tal consenso, aunque comunicarlo al
exterior puede llegar a ser difcil. En ocasiones, las instituciones cientficas emiten
declaraciones con las que tratan de comunicar al "exterior" una sntesis del estado de la
ciencia desde el "interior". En aquellos casos en los que se seala que existira una
"controversia" o un "nuevo paradigma" creado por un "muy minoritario grupo" de
cientficos alrededor de la materia objeto de estudio, definir cul es el consenso que
existe sobre ella puede resultar bastante simple, ya que en estos casos se seala que,
dentro de una comunidad cientfica, el consenso cientfico sobre el tema es la hiptesis
o teora que es aceptada por la gran mayora. La frmula que consiste en invocar al
consenso cientfico o rechazar su existencia es habitual en debates polticos y
mediticos que se forman alrededor de temas controvertidos dentro de la esfera pblica,
y que por otro lado pueden no ser nada controvertidos dentro de la comunidad
cientfica, como por ejemplo el tema de la evolucin biolgica1 2 o el cambio climtico.3
4
Aspectos filosficos
El asunto del consenso es un tema importante en la filosofa de la ciencia. El criterio de
que el objetivo de la ciencia es llegar a forjar un consenso lleva implcito el hecho de
que el cientfico es un escptico, que usa su pensamiento crtico y analtico para evaluar
toda evidencia presentada antes de empezar a deliberar y emitir una opinin. A
diferencia de otras formas de conocimiento, el conocimiento cientfico se articula con
premisas que admiten consenso, es decir, que pueden ser comprendidas universalmente,
con lo cual pueden ser evaluadas por cualquier especialista en la materia para poder
pronunciarse sobre ellas y eventualmente pasar a formar parte del consenso. As, el
trabajar con premisas que admitan consenso es un requisito para el consenso cientfico.5
Siempre hay, en los grupos, miembros excntricos, defensores remanentes de ideas
anteriores que han sido sobrepasadas, camarillas o individuos con puntos de vista
nicos, o con ideas nuevas que no han sido comprobadas concienzudamente, y con ellos
otros disidentes. Cada uno de esos grupos puede mostrarse muy enrgico al promover
sus puntos de vista, y lo hacen. Dado que la ciencia penetra la sociedad, determinados
grupos sociales se convierten en abogados de las teoras excntricas por motivos
polticos, no cientficos, actuando como amplificadores como si lo fueran.
Un ltimo problema a la hora de entender el valor del consenso es la tendencia a
exagerar el nmero de veces que en el pasado un consenso ha sido volcado por una
teora externa. Por su propia naturaleza, son mucho ms numerosas las ideas que
fracasan que las que consiguen asentarse. Puesto que el progreso es casi siempre
gradual, las ideas radicalmente nuevas que llegan a ser aceptadas son muy raras, y a
menudo hacen falta aos y un examen minucioso de su mrito para que lo logren. Hay
una tendencia natural a sobreestimar el valor de las ideas radicalmente nuevas. Por su
propia naturaleza, tienden a hacerlo la prensa popular y general, cuando buscan noticias
interesantes, y tambin lo hacen algunas de las mejores revistas cientficas, como
Nature o Science.
La teora del equilibrio puntuado, propuesta por Stephen Jay Gould y Niles
Eldredge, que da lugar an a debate pero que va siendo incorporada al cuerpo de
la teora evolutiva.
Sin embargo, muchos de los ejemplos anteriores representan vuelcos menos evidentes
de lo que parece o no lo son en absoluto. El propio Kuhn observaba que las ideas nuevas
son rechazadas frecuentemente con vehemencia por los sujetos dominantes que
formularon o desarrollaron las teoras vigentes, que se encuentran en sus ltimos aos
de produccin intelectual y a la vez en la cumbre de su poder acadmico, pero que son
consideradas y asimiladas, a menudo dentro del consenso, por los miembros
ascendentes de la comunidad cientfica. Existe adems una tendencia a exagerar a
posteriori el carcter revolucionario de la transicin, a menudo por los propios
protagonistas, y ms an por los divulgadores, que aspiran siempre a contar historias
apasionantes.
Debate cientfico
Un debate cientfico es un tipo de discusin cientfica en el que existen dos o ms
posiciones entre particulares o grupos de ellos en que se aducen hechos y deducciones
cientficas, pero los hechos son tales que el alcance y las consecuencias lgicas de
dichos hechos no estn claras o permiten extraer conclusiones excluyentes. El debate
cientfico se da slo cuando los hechos son insuficientes o ambiguos, en esas situaciones
a partir de los mismos hechos existen conclusiones excluyentes entre ellas pero a su vez
compatibles con los hechos cientficos probados o aceptados por las diferentes partes
que participan en el debate. El debate cientfico debe distinguirse de las polmicas
pseudocientficas en que un grupo de personas argumenta contra el consenso cientfico
establecido, aduciendo supuestas pruebas cientficas y afirma basarse en el mtodo
cientfico cuando realmente no es as. Por ejemplo los creacionistas afirman que existe
un debate cientfico sobre la validez o adecuacin de la teora de la evolucin de las
especies biolgicas y usan argumentos basados, supuestamente en pruebas y argumentos
cientficos, pero realmente no existe un autntico debate cientfico, ya que los hechos
conocidos son totalmente suficientes para aceptar la validez general de la teora de la
evolucin.
Notas
1. http://www.aaas.org/news/releases/2006/pdf/0219boardstatement.pdf
2. Teaching of Evolution in Schools - NSTA Position Statements
3. Climate Change 2001: The Scientific Basis
4. | Climate Change Science: An Analysis of Some Key Questions | Committee
on the Science of Climate Change | Division on Earth and Life Studies | National
Research Council
5. Yogesh Malhotra, Role of science in knowledge creation: A philosophy of
science perspective. 1994.
6. Oreskes, N. (2004). Beyond the ivory tower. The scientific consensus on
climate change. Science, 306(5702), 1686.[1]
7. Naomi Oreskes, "Undeniable Global Warming." Washington Post (26
December 2004): B07.
8. Richard S. Lindzen, "Don't Believe the Hype." Opinion Journal, Wall Street
Journal, July 2, 2006
9. Stephen Jay Gould, "Evolution as Fact and Theory," May 1981; in Hen's Teeth
and Horse's Toes. New York: W. W. Norton & Company, 1994: 253-262.
Mtodo cientfico
.
Historia
Da Vinci
Coprnico
Kepler
Galileo
Bacon
Pascal
Spinoza
Frente a los lmites del azar o la casualidad que en pocas ocasiones dan conocimiento o
sabidura, -ya sea conocimiento cientfico, del bien o, como indica Aristteles en la
tica a Nicmaco, del bien mximo que es la felicidad-, Platn y el mismo Aristteles
advertan de la necesidad de seguir un mtodo con un conjunto de reglas o axiomas que
deban conducir al fin propuesto de antemano. Scrates, Platn y Aristteles, entre otros
grandes filsofos griegos, propusieron los primeros mtodos de razonamiento filosfico,
matemtico, lgico y tcnico. Durante la poca medieval, sern los filsofos, fsicos,
matemticos, astrnomos y mdicos del mundo islmico quienes hagan suya,
desarrollen y difundan la herencia de la filosofa griega -entre otros Alhazen, Al-Biruni
y Avicena-. Tambin se debe reconocer a quienes contribuyeron a la difusin de dichos
conocimiento por Europa; figuras como Roberto Grosseteste y Roger Bacon junto con
Locke
Malebranche
Newton
Leibniz
Hume
Kant
Hegel
Tipologas
La sistematizacin de los mtodos cientficos es una materia compleja y difcil. No
existe una nica clasificacin, ni siquiera a la hora de considerar cuntos mtodos
distintos existen. A pesar de ello aqu se presenta una clasificacin que cuenta con cierto
consenso dentro de la comunidad cientfica. Adems es importante saber que ningn
mtodo es un camino infalible para el conocimiento, todos constituyen una propuesta
racional para llegar a su obtencin.
Mtodo lgico. Es otra gran rama del mtodo cientfico, aunque es ms clsica y
de menor fiabilidad. Su unin con el mtodo emprico dio lugar al mtodo
hipottico deductivo, uno de los ms fiables hoy en da.
ser humano y que adems parece estar extendido evolutivamente ya que cumple su
funcin en la asociacin y reconocimiento de objetos cotidianos, vase por ejemplo
pareidolia. Lo que es posible es compensar el sesgo o modificar las propias creencias
mediante el mtodo cientfico como mecanismo para descartar hiptesis que son falsas.
De esta forma, el sesgo se situara en direccin a hiptesis que son menos falsas hasta
nuevas revisiones en busca de factores desconocidos o nueva informacin.
La ciencia no pretende ser ni absoluta, ni autoritaria, ni dogmtica. Todas las ideas,
hiptesis, teoras; todo el conocimiento cientfico est sujeto a revisin, a estudio y a
modificacin. El conocimiento que tenemos representa las hiptesis cientficas y teoras
respaldadas por observaciones y experimentos (mtodo emprico).
Para no caer en el prejuicio cognitivo es necesario, por tanto, la experimentacin, el no
hacerlo llevara a la misma negligencia puesto que la verdad de una aseveracin segn
el mtodo cientfico recae en la fuerza de sus evidencias comprobadas por
experimentacin. Despus de llevar a cabo la experimentacin se analizan los resultados
y se llega a una conclusin. Si los resultados respaldan la hiptesis, sta adquiere
validez; si los resultados la refutan, sta se descarta o se modifica presentando nuevas
formas para refutarla.
El mtodo cientfico es tambin afectado naturalmente por los prejuicios cognitivos ya
que los efectos asociativos de nuestra mente son los que permiten, al mismo tiempo,
lanzar el mayor nmero de hiptesis. Sin embargo, el mtodo, si es bien ejecutado en
sus ltimos y ms importantes pasos, permite desecharlas.
El primer paso en el mtodo cientfico de tipo emprico es la observacin cuidadosa de
un fenmeno y la descripcin de los hechos, es aqu donde entran en juego los
prejuicios. Despus, el cientfico trata de explicarlo mediante hiptesis las cuales, ya
estn sesgadas por los prejuicios en la percepcin de los acontecimientos o en las
propias creencias. Sin embargo, solamente las ideas que puedan comprobarse
experimentalmente estn dentro del mbito de la ciencia lo que permite desechar
muchas teoras. Si las hiptesis enunciadas fueran invalidades deberan predecir las
consecuencias en el experimento y adems debera ser posible repetirlas. De esta forma,
mediante la experimentacin, la repeticin y supervisin del experimento por parte de
personas que pudieran tener otros sesgos cognitivos se minimizan los errores del
experimento, los errores en la interpretacin de los resultados o errores en estadsticas
que haran a la teora una falsa o imprecisa creencia. Por eso, en ciencia se usa la
revisin por pares, a mayor nmero de revisiones menor probabilidad de sesgo o de
falsa interpretacin de los datos experimentales, con lo que el trabajo es considerado
ms riguroso o estable. Un proceso as aunque mucho menos riguroso se puede observar
en el pensamiento crtico cuando ste requiere de investigacin activa propia para el
esclarecimiento de argumentos y comprobacin de las fuentes de informacin. En el
pensamiento crtico se toman decisiones en funcin de la carga de la prueba que se
hayan realizado sobre las fuentes y los argumentos y la informacin que se obtiene
puede llegar a ser indirecta (de ah la falta de rigurosidad). En el mtodo cientfico no
solo debe ser el hecho probado por la experimentacin directa sino que debe ser posible
repetirlo.
El problema con los prejuicios cognitivos es que normalmente se aplican a conceptos
que cambian con regularidad quizs a una velocidad mayor de lo que es posible medirlo
Notas y referencias
1.
4.
5.
Los factores que forman parte del problema, es decir, que lo describen.
Los factores que estn correlacionados con l.
De esta manera, un marco terico se puede elaborar en base a alguna de las siguientes
alternativas:
Una hiptesis es una conjetura, una respuesta posible a la pregunta que se formul como
problema de investigacin. Las hiptesis se expresan en la forma de una afirmacin que
describe una variable o relaciona dos o ms variables. En las ciencias descriptivas las
hiptesis deben ser susceptibles de ser sometidas a contrastacin. (Ver mtodo
hipottico deductivo).
Los resultados de una investigacin se expresan mediante ndices aritmticos tales como
frecuencias absolutas, porcentajes o tasas, ndices de correlacin, etc. y se muestran en
tablas de frecuencias, grficos, etc. de tal manera que se pueda extraer una conclusin...
MC-14
Las etapas se pueden dividir en once etapas principales y tres ingredientes de apoyo o
extra. Las etapas principales se agrupan en secciones o partes segn los objetivos que
deben alcanzarse en cada una de ellas. Aun as, aunque las etapas se listen en un orden
tpico, el mtodo no est limitado a un orden determinado o fijo, en realidad permiten
ser ser realizadas en distinto orden y de manera flexible. Es decir, en la prctica, al hacer
uso de las etapas habr vueltas hacia atrs, saltos, comienzos falsos, ciclos,
subproblemas y otras divergencias al seguimiento lineal presentado en funcin de la
complejidad del problema que se trate.
Los ingredientes de apoyo se aaden para ayudar a entender en qu consiste el mtodo a
las personas y para ayudar a ensearlo a estudiantes y otros. Presentar solo las etapas no
permite ver todo el cuadro o tener visin general del sistema. El mtodo cientfico es el
mtodo maestro de todos los mtodos.
Etapas principales
Seccin 1: Observacin
La frmula MC-14 abraza el sistema completo de ciencia, sus fases, tcnicas usadas,
principios procedimentales y teoras, atributos y habilidades requeridas y envo a
revisin por pares es vista en la etapa 11.
El planteamiento de un problema
No existe una respuesta para el origen particular de los problemas. Los orgenes ms
frecuentes son:
Cosas que se perciben como capaces de cubrir necesidades, o cosas que te irritan
o te dejan perplejo.
Brainstorming - Se puede realizar una tormenta de ideas para encontrar
problemas o campos de investigacin.
Para realizar una buena planificacin se deben tener en cuenta estos aspectos:
El plan debe ser flexible. No empezar con un plan muy detallado ya que los
problemas complejos cambian con frecuencia.
Razonamiento reflexivo
Disparadores de idea
Experimentacin y visualizacin
Tener discusiones o debates, opiniones
Entrevistas
Modelado de objetos
Visualizacin grfica
Simulacin
Solucin matemtica
Opinin de expertos
Medicin
Grficas
Una hiptesis debera ser una teora sobre la naturaleza en el campo cientfico.
En otros campos, puede llegar a ser simplemente una decisin, un plan, un
diagnstico de una enfermedad, ideas, invenciones, etc.
Las hiptesis falsas pueden ser tambin valiosas. Una hiptesis falsa puede
llegar a conducir a un nuevo descubrimiento o un nuevo campo de investigacin
o a la modificacin de la hiptesis. Es decir, las excepciones o diferencias
(diagnstico diferencial) pueden aportar informacin vital para la comprensin
del problema.
La falsacin: Karl Popper defenda que era mejor tratar de probar que una
hiptesis era falsa ms que probar que sta fuera correcta mediante los
experimentos. Esto podra ahorrar tiempo y al mismo tiempo evitar el sesgo de
confirmacin tpico del cientfico.
Verificacin: Muchos podrn no estar de acuerdo con el mtodo de falsificacin
o experimento realizado, por tanto, es necesario usar varios mtodos para
verificar la hiptesis desde diferentes aproximaciones.
Variables de control: Se recomienda variar solo una variable por cada prueba o
test y realizar anotacin de cada una de las modificaciones. As se podr
identificar que variable es la que provoca los cambios.
Se puede preparar una lista de posibles fallos para conocer las debilidades de las
hiptesis o del experimento realizado.
El mtodo cientfico tambin puede ser usado como mtodo de prevencin ya que por
medio del paso 1 o observacin curiosa se pueden descubrir futuros problemas que el
mtodo cientfico puede solucionar mediante el test de hiptesis.
Para alcanzar rigurosidad en las hiptesis, se debe emplear correctamente los mtodos
estadsticos. Para estar seguros de se han interpreato correctamente los datos y se ha
realizado bien las estadsticas es recomendable seguir ciertos estndares. A
continuacin, se muestran los parmetros ms importantes que deben ser controlados a
la hora de probar las hiptesis, suponga el anlisis de los resultados de un nuevo
frmaco:
datos sean procesados se ver que estos variarn en funcin del sexo (o de la
edad, o).
Enmascaramiento: simple, doble o triple ciego. Del mismo modo que a los
catadores no se les dice qu estn probando, en un ensayo no se debe decir si se
suministra el antiguo y poco eficaz tratamiento, o el nuevo frmaco con mayor
eficiencia en pruebas. Podra pasar que aunque l frmaco no funcionase, el
paciente afirmara lo contrario debido al efecto placebo. As es imprescindible
cegar al paciente (simple ciego), al paciente y al mdico que lo evala (doble),
o al paciente, al mdico, y al matemtico que procesa los datos (triple ciego). As
nadie puede tener la tentacin de inclinar o sesgar los resultados. Vase Lista de
prejuicios cognitivos.
Caractersticas de la conclusin
Las conclusiones desarrolladas a partir de las hiptesis que han pasado las pruebas
deben tener las siguientes caractersticas ms importantes:
Rara vez debe describir situaciones de las que no se tenga evidencia o no hayan
sido probadas
Debe ser posible realizar una descripcin de sta y debe quedar claro qu
problema se ha resuelto
Invencin, diseo tcnico, idea de nuevo producto: Para estos casos, la forma de
actuar es menos rigurosa aunque tambin pasa por asegurarse el reconocimiento
del invento. Aplicar por patentes, realizar un modelo, realizar una investigacin
de mercado y realizar un estudio de marketing para el nuevo diseo son algunos
de los pasos a seguir.
Mtodos no lgicos
Aunque no pueda llegar a ser cientfico, el uso de mtodos no lgicos es herramienta
habitual. Cientficos e interesados en resolver problemas los usan continuamente. El
tiempo es la principal razn por la que estos mtodos son usados. Algunos mtodos no
lgicos son el resultado de hbitos, emociones, prueba y error, frustracin,
experimentacin, intuitiva adivinacin (esta viene del prejuicio cognitivo), toma de
riesgos, etc. Este mtodo puede afectar los resultados positiva o negativamente.
Mtodos lgicos
Cualquier mtodo basado en el razonamiento slido es, en general, clasificado como
lgico. Algunos investigadores aceptan como mtodo lgico solo aquellos basados en
reglas de razonamiento estandarizadas por especialistas en lgica. Normalmente, la
gente usa un proceso "semi-intuitivo" y lgico, resultado de su propia experiencia,
procesos mentales y conocimiento. Algunos ejemplos mtodos lgicos de resolucin
bien conocidos son:
Variacin controlada
Revisin de la literatura
Identificacin de patrones
Inteligencia artificial
Prueba y error
Clasificacin
Falsificacin
Encuesta
Mtodos tcnicos
No existe un estndar para determinar cuando un mtodo se considera tcnico. Un
mtodo que envuelva medidas, matemticas, el uso de herramientas, instrumentos y
aparatos puede ser denominado como tcnico.
Aunque los dems mtodos son usados en todas las disciplinas, algunos autores apuntan
a que los mtodos tcnicos son en realidad los nicos que pueden ser consideraros
mtodos de ciencia o mtodos cientficos.
Curiosidad innata
Valiente
Honestidad
Experimentadora
Flexibilidad
Mente abierta
Comunicadora
Organizadora
Estable emocionalmente
Creativa
Habilidades cognitivas
Las dos principales habilidades cognitivas primarias son las induccin y la deduccin
Bibliografa
Metateora
Una metateora es una teora que se dedica al estudio de otra teora o conjunto de
teoras. En sentido general podra ser llamada teora de las teoras. Si A es una teora de
B y B es en s misma una teora, entonces A es una metateora. Sin embargo, una teora
general no puede ser una metateora desde que no se dedica en particular a una o a un
conjunto de teoras.
De acuerdo al sistema TOGA,1 una metateora puede referirse a un punto de vista
especfico de una teora y las meta-propiedades de sus materias, pero no a la aplicacin
de dicha teora.
Un ejemplo de metateora
El siguiente es un ejemplo que ilustra las propiedades de una metateora segn Stephen
Hawking en su Una breve historia del tiempo:
Cualquier teora fsica es siempre provisional en el sentido en que esta es tan slo una
hiptesis; usted nunca puede probarla. No importa cuantas veces los resultados de un
experimento estn de acuerdo con alguna teora, usted no puede estar seguro de que la
prxima vez el resultado no va a ser contradictorio a la teora. Por otro lado, usted puede
desaprobar una teora al encontrar tan solo una mera observacin que no est de acuerdo
con la prediccin de la teora.
La metateora pertenece a la filosofa y en especial a la epistemologa y a la matemtica,
as como es objeto de estudio del rea en la cual la teora en estudio es objeto de la
misma.
Taxonoma
Historia
El concepto se remonta a la escena de la filosofa del siglo XX como resultado de los
trabajos del matemtico alemn David Hilbert que public en 1905 una propuesta de la
consistencia de las matemticas creando un campo al que denomin
"Metamatemticas". Las esperanzas del xito de sus pruebas fueron cortadas por los
trabajos de Kurt Gdel quien en 1931 prob las conclusiones de Hilbert no atendibles
en su obra "inconsistencia de los teoremas". Sin embargo, los aportes de Hilbert en
cuanto a las matemticas, continuaran a tener su influencia durante el siglo XX.
El estudio de los metateoremas aument durante el resto del siglo con la aplicacin en
otros campos, especialmente en lingstica y su concepto de metalenguaje.
Metalgica
La metalgica es el estudio de las propiedades y los componentes de los sistemas
lgicos.1
Propiedades metalgicas
Consistencia
Un sistema lgico tiene la propiedad de ser consistente cuando no es posible deducir
una contradiccin dentro del sistema. Es decir, dado un lenguaje formal y un aparato
deductivo (axiomas y reglas de inferencia), no es posible deducir una frmula y su
negacin. La existencia de un modelo implica que una teora lgica es consistente.
Decidibilidad
Se dice de un sistema lgico que es decidible cuando, para cualquier frmula dada en el
lenguaje de un sistema con axiomas y reglas de inferencia, existe un mtodo efectivo
para determinar si esa frmula pertenece o no al conjunto de los teoremas del sistema.
Cuando una frmula no puede ser probada como teorema, y tampoco su negacin, se
dice que la frmula es independiente, y que por lo tanto el sistema es no decidible. La
nica manera de incorporar una frmula independiente a los teoremas del sistema es
postulndola como axioma. Dos ejemplos muy importantes de frmulas independientes
son el axioma de eleccin en la teora de conjuntos, y el quinto postulado de la
geometra euclidiana.
Completitud
Se habla de completitud en varios sentidos, pero quizs los dos ms importantes sean los
de completitud semntica y completitud sintctica. Un sistema S en un lenguaje L es
semnticamente completo cuando todas las verdades lgicas de L son teoremas de S.2
En cambio, un sistema S es sintcticamente completo si, para toda frmula A del
lenguaje del sistema, A es un teorema de S o A es un teorema de S. Esto es, existe una
prueba para cada frmula o para su negacin. La lgica proposicional y la lgica de
primer orden son ambas semnticamente completas, pero no sintcticamente completas.
Por ejemplo, ntese que en la lgica proposicional, la frmula p no es un teorema, y
tampoco lo es su negacin, de modo que eso basta para mostrar que no es
sintcticamente completa. No obstante, como ninguna de esas dos frmulas es una
verdad lgica, no afectan a la completitud semntica del sistema. El segundo teorema de
incompletitud de Gdel demuestra que ningn sistema (definido recursivamente) con
cierto poder expresivo puede ser a la vez consistente y semnticamente completo.
Compacidad
La lgica proposicional como la lgica de primer orden satisfacen el teorema de
compacidad. Es decir, si de un conjunto de proposiciones se sigue una consecuencia
entonces existe un subconjunto finito de proposiciones de las cuales se sigue la misma
conclusin. Analogamente si cada conjunto finito de proposiciones de un conjunto
admite un modelo, entonces el conjunto completo admite un modelo. Si bien la lgica
de primer orden tiene compacidad en el sentido previamente explicado otras lgicas
"ms potentes" como la lgica de segundo orden no tienen la propiedad e compacidad.
Demostracin de la completitud semntica de la lgica proposicional veritativofuncional (Paul Bernays 1918, Emil Post 1920)
Metalenguaje
En lgica y filosofa del lenguaje, un metalenguaje es un lenguaje que se usa para
hablar acerca de otro lenguaje.1 Al lenguaje acerca del cual se est hablando se lo llama
el lenguaje objeto.1 El metalenguaje puede ser idntico al lenguaje objeto, por ejemplo
cuando se habla acerca del espaol usando el espaol mismo.2 Un metalenguaje a la vez
puede ser el lenguaje objeto de otro metalenguaje de orden superior, y as
sucesivamente. Distintos metalenguajes pueden hablar acerca de diferentes aspectos de
un mismo lenguaje objeto.
Los modelos formales de sintaxis para la descripcin de la gramtica, como por
ejemplo, la gramtica generativa, son tipos de metalenguaje.
En un aspecto ms general, puede referirse a cualquier terminologa o lenguaje usado
para hablar con referencia al mismo lenguaje. Por ejemplo, un texto sobre gramtica o
una discusin acerca del uso del lenguaje.
Metavariables
Las metavariables son smbolos o cadenas de smbolos de un metalenguaje que
representan elementos de un lenguaje objeto. Por ejemplo, en la oracin
Sean A y B dos oraciones del lenguaje de la lgica proposicional.
los smbolos A y B son metavariables de un metalenguaje (el espaol) que representan
oraciones de un lenguaje objeto (el lenguaje de la lgica proposicional). La convencin
es que dentro de un mismo contexto, una misma metavariable representa siempre un
mismo elemento del lenguaje objeto, pero metavariables distintas no necesariamente
representan elementos distintos.
El uso de metalenguajes
En multitud de ocasiones utilizamos este recurso con el que, si no se es consciente, se
pueden cometer errores de interpretacin.
Ya en la gramtica se distingue entre uso y mencin.
Bislaba es toda aquella palabra que tiene dos slabas. Pero 'bislaba'3 no es bislaba. En
este caso, 'bislaba' se refiere a la palabra en s, no a su significado objeto, es decir, a una
palabra bislaba.
No tener en cuenta este detalle lleva a veces a afirmar como verdades reales lo que
nicamente son verdades obtenidas segn modelo; lo que muchos medios, y no
siempre desinteresadamente o por error, las divulgan como si fueran ya verdades
cientficas consolidadas.5
Referencias
a b c d e Simon Blackburn, ed., metalanguage, The Oxford Dictionary
of Philosophy, Oxford University Press, consultado el 6 de octubre de 2009.
2.
Gupta, Anil, metalanguage, The Oxford Companion to Philosophy,
Oxford University Press, consultado el 6 de octubre de 2009.
1.
3.
4.
5.
Bibliografa
nosotros lo que para esta ultima parte del curso seguimos siendo un gran proyecto de ser
humano.
En el desarrollo del tema encontraran comentarios que son solo mi punto de vista hay
que tener en cuenta que todos los seres humanos somos diferentes.93% de nuestros
genes son exactamente iguales, sin embargo ese 7% restante nos hace diferentes tanto
fsica como mentalmente. Mientras ms conciencia tomemos de que somos singulares,
mientras ms entendamos nuestro estilo, seremos tambin capaces de relacionarnos
mejor y ser mas tolerantes.
Este trabajo esta basado en informacin principalmente obtenida del libro de Ritzer
"Teora Sociolgica Contempornea " esta obra tiene diferentes puntos de vista de los
que se toma referencia para poder formas sus propios criterios es un excelente libro para
la docencia y personalmente lo recomiendo.
METATEORA
Para poder comprender lo que es metateora, primero debemos conocer que este que es
el estudio de la propia disciplina y que no es de uso exclusivo del socilogo. Lo que
distingue el trabajo en esta rea es la naturaleza de los productos finales obtenidos, ya
que es el reflejo de la obra del que lo usa como herramienta.
hay tres variedades de Metateorizacion:
*La Metateorizacion como medio para obtener una comprensin mas profunda de la
teora(Mu.
*La Metateora como preludio para la realizacin del desarrollo de esta teora(Mp.
*Metateorizacion como fuente de las perspectivas que sostiene toda la teora
sociolgica(Mo.
(Mu)se compone de tres subtipos
*El primer subtipo se centra en las cuestiones intelectuales o cognitivas internas a la
sociologa.
*El segundo subtipo (interno social) tambin mira hacia el interior de la sociologa, pero
se centra en los factores sociales en lugar de en los cognitivos.
*El tercer subtipo (externo intelectual) busca en otras disciplinas acadmicas ideas,
herramientas conceptos y teoras que pueden utilizarse para el anlisis de la teora
sociolgica
*El cuarto subtipo el enfoque(externo social) que asciende a un nivel ms macro para
analizar a la sociedad en su conjunto (nivel nacional, sociocultural etc.
La mayora de las metateorizaciones de la sociologa no son ( Mu) antes suelen ser del
segundo tipo (mp)la mayora de los tericos contemporneos y clsicos ms importantes
desarrollaron sus teoras, al menos en parte sobre la base de un estudio meticuloso de la
obra de otros tericos y de su reaccin a ella podemos tomar como ejemplo la teora del
capitalismo de Marx, inspirada en la filosofa hegeliana, as como en otras ideas
relativas a la economa poltica de Adam Smith y el socialismo utpico de Talcott
Parsons.
Como se pueden ir dando cuenta el trabajo de muchos tericos y en el caso
especifico de Karl Marx se comprueba que la metateora no es exclusividad de los
socilogos ya que este no lo fue Karl Marx fue filosofo a mi criterio personal uno
muy brillante de ideas trascendentales en las mentes de los que lo siguen o estudian
y en le tiempo, en el que sus teoras aun tienen validez.
entonces se deduce que Karl Marx ya practicaban la metateora sin conocerla
En su prefacio, Marx y Engels explicitaron que este tipo trabajo meta terico constitua
un preludio a su teorizacin futura. por ejem:
El Capital (Marx)que supuestamente es una de las obras ms empricas, puesto a que se
ocupa directamente de la realidad del mundo capitalista y recurre a las estadsticas e
informes oficiales se inspira en el trabajo meta terico previo que realizo Marx y
contiene algn elemento de Metateorizacion propio. De hecho l subtitulo, una critica
de la economa poltica no deja ninguna duda de sus races metateoricas. Con todo Marx
gozo en el Capital de libertad para ser mucho ms positivo, es decir para construir su
propia orientacin terica distintiva. Marx fue el terico clsico de la sociologa ms
meta terico. De hecho se podra decir que virtualmente todos los tericos clsicos y
contemporneos eran meta tericos y, mas especficamente practicaban la( Mp.
Las tres variedades de la metateora son tipos ideales a seguir pero cuando se opta por
una en el desarrollo de las metateoras muchas veces suele darse un solapamiento
considerable de los objetivos de los trabajos as que se da los casos en que los que
utilizan esta herramienta usen una mixtura persiguiendo o combinando dos tipos,
aunque hay casos en que socilogos han hecho los tres tipos de Metateorizacion
En un anlisis (Mu) no solo se permite a los metatericos comprender y evaluar mejor
las teoras, si no pueden tambin contribuir directamente a la mejora de las teoras
sociolgicas solo se requerira que los defensores de virtualmente todas las teoras se
alejaran de su adherencia a una teora especifica o a un nivel particular de anlisis con
esto no quiero decir que todos deban orientarse hacia la sntesis ya que las perspectivas
tericas especificas tienen cierta utilidad
Una gran aportacin de la metateora es la creacin de nuevas teoras aunque de acuerdo
al tipo utilizado podra resultar un poco confusa el reconocer una nueva teora de una
teora mejorada un ejemplo claro podra ser el funcionalismo estructural tradicional y el
neofuncionalismo que consideran este ultimo como una nueva teora segn(Turner y
Maryansky)
En un comienzo Jhonathan Turner critica a la metateora por razones pragmticas
aduciendo que desde su punto de vista. "Se empantana con cuestiones sumamente
filosficas e inmoviliza la construccin terica... la metateora suele bloquear tanto
como estimular la actividad terica porque enreda a los tericos en controversias
intrnsecamente insuperables y siempre discutibles " luego Turner despus de un
su naturaleza social. La sociedad nos "educa" para sus fines: nos dice cules son las
metas que debemos buscar (metas sociales), y tambin cmo y por qu caminos
lograrlas. Sabemos, por lo tanto, lo que la sociedad no comparte como metas y los
caminos o vas proscriptas para sus fines.
Mediante el proceso de socializacin, la sociedad busca encaminarnos al camino
"correcto". Los alejamientos o desviaciones de ese camino, deben, por lo tanto, estar
previstos por la sociedad o el grupo y, por supuesto, deben estar sancionados. Estas
previsiones y soluciones componen tambin el proceso de socializacin, de forma tal,
que al igual que las normas, forman parte de nuestros pensamientos. Hemos asumido,
hemos interiorizado, las pautas sociales (esto, por supuesto, en la gran mayora.
Segn la teora de la interaccin simblica, el control social depende de la capacidad del
hombre para ser objeto a sus propios ojos y para asumir el papel del otro. Esta
interaccin propia y esta empata hacen que el control social sea, esepcionalmente, una
cuestin de dominio de s mismo.
Debido a que la persona "asume el papel del otro", sabe lo que se espera de l. Al ser un
"objeto de sus propios ojos" y capaz de interaccin propia, puede detenerse y
reflexionar, imaginar las probables reacciones de los otros a sus posibles acciones,
reprimir sus impulsos y orientar su conducta. Obra para defender y realzar la propia
imagen que ha sido formada en la interaccin social. En la madurez, su conciencia
incorpora para el otro generalizado como una serie de principios, y de este modo
empea su propia imagen. Las sanciones internas han reemplazado al temor de ser
castigado por haber violado los tabes o normas de la sociedad. "Las experiencias de
temor, la prohibicin y los imperativos dejan paso a las preferencias, el respeto a s
mismo y la obligacin moral" (Allport.
El control social como dominio de s mismo significa que "el individuo es lo que es, una
personalidad conciente o individual, envuelta, en la medida en que se es miembro de la
sociedad. En el proceso de la experiencia y la actividad y, por ello, con una conducta
socialmente controlada" (Mead.
2- Desde el punto de vista del grupo:
Sabemos que un grupo est formado por un conjunto de personas que tienen fines o
metas comunes, etc., pero, para este tema, dos de sus caractersticas son fundamentales
ahora: tiene o establece normas para sus integrantes, normas sancionadas, y es selectiva.
Todo grupo tiende a su perpetuacin, a mantenerse a travs del tiempo y las personas.
Es por ello que escoge a sus componentes (siempre que sea posible) y trata de
amoldarlos a sus exigencias. Para lo cual establece normas o pautas de conducta que en
caso de ser voladas acarrean una sancin ms o menos grave (puede constituir en la
expulsin del grupo. Podemos decir, entonces, que el control social del grupo se realiza
por medio de la enseanza de esas normas y por la aplicacin de las acciones
correspondientes. Todo ello constituye la cultura: es el conjunto trabado u organizado,
ms o menos formalizado, de maneras de pensar, sentir, y obrar que son aprendidas y
compartidas por una pluralidad de personas, sirven de modo objetivo y simblico a la
vez para constituir a esas personas en una colectividad particular y diferente.
Dentro de la cultura encontramos pautas ideales de comportamiento, modelos o metas, y
por otro lado pautas reales de comportamiento, stas constituyen la conducta comn de
los individuos, las costumbres. La distancia entre estas dos clases de pautas debe ser
mnima y a eso contribuyen las sanciones. La gran distancia lleva a la anomia y a la
desviacin social.
Clasificacin de normas.
Linton:
Universales: Conjunto de normas compartidas por todos los hombres adultos de un
grupo social, que generalmente respaldan valores.
Especialidades: stas son compartidas por cierto tipo de personas dentro del grupo; Ej.
Para los estudiantes.
Alternativas: caminos que le quedan abiertos a los individuos para cumplir algunas
especialidades o para realizar procedimientos rutinarios, Ej. Educacin de los hijos.
Las peculariedades individuales no forman parte del fenmeno cultural, pero, si se
extiende en el grupo, puede transformarse en una Alternativa.
Summer:
Las clasifica en Mores o consectudes, Folkways, Modes, Novedades, Leyes, e
Instituciones.
ANOMIA SOCIAL
Muchas clases de comportamiento desviado han sido relacionadas con la anomia social.
El sentido literal de la palabra es el de ausencia de normas. En sociologa denota una
situacin en la que existe un conflicto de normas, de manera que los individuos no
pueden orientar con precisin su conducta. Es decir, se encuentran en una situacin en
la que hay normas precisas. Conflictos de normas suponen un vaco normativo para
quien se encuentra en l.
La nocin de anomia, fue forjada por Durkheim en su estudio sobre el suicidio. El
suicidio anmico se produce cuando el individuo pierde sus marcas normativas de
referencia, se siente perdido, no sabe rehacer su conducta.
Merton afirma que su causa es el desequilibrio entre las metas o fines culturales y los
medios permitidos para lograrlo.
Si se hace ms hincapi en las metas que en los medios, muchos prefieren el
procedimiento eficiente, an cuando no-aprobado, para alcanzar la meta. Merton puso
un ejemplo, la meta de los xitos econmicos y las maneras de alcanzarla, entre los que
se produce un desequilibrio, que resulta diferente para distintos grupos sociales.
Indic cinco modos diferentes de adaptacin individual.
1) La conformidad. Supone la aceptacin de la meta propuesta y los mtodos
institucionalizados para lograrla. Deseo de triunfar y aceptacin de los medios
propuestos como la educacin, el esfuerzo, etc.
2) La innovacin. Entraa la aceptacin de las metas fijadas, en la obtencin de medios
materiales y el rechazo de los medios normales para su logro. Existe conducta desviada
en los medios, por Ej. : el obtener riquezas por medios ilcitos.
3) El ritualismo. Entraa abandonar la meta cultural de xitos; hay desviacin en la
meta, pero se mantiene una conducta conforme a las normas en los medios. Son
desviados en el sentido que rechazan la lucha competitiva; no se arriesga y en este
sentido no actan como el comn de la gente, no siguen las pautas culturales.
4) El retraimiento. Es el que no acepta ni los fines propuestos por la sociedad, ni
tampoco cumple sus normas institucionales. Quizs a causa de sus impedimentos y
frustraciones, ha huido, la vida lo ha derrotado (vagabundo.
5) El rebelde. Es el tipo de comportamiento que no acepta fines ni medios
institucionalizados, y propone otros a cambio.
TEORA SOCIOLGICA CONTEMPORNEA
Neofuncionalismo
referencia para el anlisis funcional pero no en una descripcin de las vidas de los
individuos en los sistemas sociales reales.
Cuarto el neofuncinalsimo acepta el tradicional nfasis parsoniano en la personalidad, la
cultura y el sistema social adems de ser vital para la estructura social, la
interpenetracin de esos sistemas tambin produce una tensin que representa una
fuente de constante cambio y control.
Quinto el neofuncionalismo se concentra en el cambio social y en los procesos de
diferenciacin dentro de los sistemas sociales, culturales y de la personalidad. As, el
cambio no produce conformidad y armona sino individuacin y tensiones
institucionales.
Y por ultimo Alexander seala que el neofuncinalismo implica el compromiso con la
idea y de la conceptualizacion y la teorizacion son independientes de otros niveles de
anlisis sociolgicos.
La sociologa en toda disciplina cientfica se hace una distincin entre utilizacin como
disciplina pura y como disciplina aplicada.
Hablando sobre el neofuncionalismo en general. Alexander y Colomy han hecho una
apuesta por la muy ambiciosa. No consideran el neofuncionalismo como una simple y
modesta elaboracin o revisin del funcionalismo estructural, por utilizar sus propios
trminos, sino antes bien como una llamativa reconstruccin que admite con claridad la
existencia de diferencias con su fundador Parsons y que ha abierto explcitamente a
otros tericos y teoras.
Las reflexiones de Alexander y Colomy indican que nos distanciamos de la tendencia
parsoniana a considerar el funcionalismo estructural como una gran teora englobadora.
En su lugar nos ofrece una teora mas limitada y sinttica que sin embargo, sigue siendo
holista.
TEORIA DEL CONFLICTO
Randall Collins es uno de los mas destacados tericos en el desarrollo de esta teora de
una forma sinttica e integrada. En su obra sociologa del conflicto es altamente
integradora porque tiene una orientacin mas micro que la teora del conflicto de
Dahrendorf y otros. l dice " mi contribucin principal a la teora del conflicto... fue
aadir un nivel micro a esas teoras macro. Especialmente trate de mostrar que la
estratificacin y las organizaciones se basan en las interacciones de la vida cotidiana,
luego dice mis contribuciones a la teora del conflicto consiste en trabajar a partir de las
contribuciones empricas de Goffman, Sacks, Schegloff. Llega a decir que estos tericos
guardan una relacin con las teoras micro del interaccionismo simblico y de la
etnomenologia. Su perspectiva de anlisis del conflicto no parte de una perspectiva
poltica deque el conflicto era bueno o malo. Sealo en que haba elegido concebir un
conflicto en trminos realistas como un o el proceso central de la vida social.
A diferencia de otros que arrancan y se mantienen en un nivel societal, Collins abordo el
conflicto desde un punto de vista individual debido a que sus teoras residen en la
fenomenolgica y etnometodologia. A pesar de su preferencia por el nivel individual y
las teoras micro. Collins era consciente de que una sociologa eficaz no poda centrarse
exclusivamente en el nivel micro; La teora del conflicto no se puede construir sin el
nivel societal de anlisis.sin embargo mientras la mayoria de los tericos del conflicto
creen que las estructuras son externas y coercitivas para el actor, collins las contemplaba
como inseparables de los actores que las construyen y cuyas pautas de interaccion son
son su esencia.collins prefiri considerar las estructuras sociales como pautas de
interaccion mas que como entidades externas y coercitivas.ademas mientras la mayor
parte de los tericos del conflicto consideranque las fuerzas externas constrien al
actor,el cree que es este quien crea y recrea constantemente la organizacin social.
Collins nombraba a Marx constantemente en su teora del conflicto a pesar
desconsiderar la teora Marxiana muy ideolgica al igual que el funcionalismo
estructural, pero se denota poca influencia Marxiana en su teora del conflicto sin
embargo hay una clara influencia de Weber, Durkheim y sobre todo de la
fenomenologia y la etnomenologia
Collins prefiri concentrarse en la estratificacin social porque crea que presentaba una
institucin que exhiba muchas caractersticas de la vida entre ella la riqueza, la poltica,
las profesiones, la familia, los clubes, las comunidades y los modos de vida en la
opinin de Collins las grandes teoras de la estratificacin son fracasos y en esta teora
inclua las teoras de Marx y las del funcionalismo estructural critico a la teora marxista
por considerarla monocausal de un mundo multicausal. l consideraba la teora de
Weber como algo mas que un antisistema. Analizo las dos grandes teoras y encontr
cierta utilidad en la obra de Weber, pero los esfuerzos de la sociologa fenomenolgica
para basar todos los conceptos en los elementos observables de la vida diaria fueron los
ms importantes para l porque su preocupacin por el estudio de la estratificacin
social era las estructuras micros y no las macro, la estratificacin social, como las dems
estructuras sociales se pueden reducir a los encuentros pautados entre las personas en su
vida cotidiana.
Collins arranco de las macro teoras de Marx y Weber como pilares de su obra a pesar
de su compromiso con una microsociologa de la estratificacin.
En primer lugar l mantena que la visin de Marx sobre las condiciones materiales
implicadas con el esfuerzo de ganarse la vida en la sociedad moderna constitua los
principales determinantes del modo de vida de una persona, la base de los ingresos de
Marx inclua la relacin entre la persona y la propiedad privada como todos sabemos los
que controlan la propiedad tienen mayor capacidad para ganarse la vida mas
satisfactoriamente que aquellos que no poseen ni controlan propiedad y deben vender su
tiempo para acceder a los medios de produccin.
En segundo lugar desde una perspectiva Marxista las condiciones materiales influyen no
solo en el modo de vida del individuo y en como se ganan la vida sino tambin en la
naturaleza de los grupos sociales de diferentes clases sociales. La clase social dominante
que tienen mayor y mejor capacidad para desarrollar grupos sociales ms coherentes.
Unidos mediante intrincadas redes de comunicacin que la clase social subordinada
tambin sealo que Marx identifico las enormes diferencias entre las clases sociales lo
que respecta a su acceso al sistema cultural y al control sobre l, es decir las clases
sociales altas tienen recursos para desarrollar sistemas simblicos e ideolgicos muy
bien articulados, sistemas que suelen imponer a las clases sociales bajas. Las clases
sociales bajas tienen sistemas simblicos menos desarrollados, muchos de los cuales son
impuestos por los que estn en el poder.
Collins esta convencido de que Weber trabajo dentro de la teora de la estratificacin de
Marx y que la desarrollo.por un lado, se ha sealado que weber reconocio la existencia
de diversas formas de conflicto que conducan a un sistema de estratificacin
multifactico como la clase, el estatus y el poder.
Por otro lado, Weber desarrollo la teora de las organizaciones consideradas para Collins
otro campo del conflicto interesante, le dio importancia a Weber por su nfasis sobre el
estado como entidad que controlaba los medios de violencia, lo cual desvi el inters
por el conflicto de la economa hacia el conflicto en el estado, elogia a Weber por su
comprensin del contexto social de los productos emocionales, en particular de la
religin. El conflicto claramente poda ocurrir en tales contextos, y esos productos
emocionales, al igual que otros, podan utilizarse como armas en el conflicto social.
Con esas ideas Collins analiza la estratificacin desde la perspectiva del conflicto,
anlisis que guarda mas relacin con las teoras fenomenolgicas y etnometodologicas
que con la marxista o Weberiana.collins parte de varios supuestos.las personas son
intrnsecamente sociables, pero tambien estan predispuestas alconflicto en sus
relaciones sociales.el conflicto suele producirse en el nivel de las relaciones sociales
porque una o muchas personas tienen siempre la posibilidad de utilizar la coercion
violenta en su interaccion .Collins crea que las personas buscan maximizar su estatus
subjetivo y que su capacidad para hacerlo depende de los recursos que tengan. Cree que
las personas persiguen su propio inters; asi, los conflictos son posibles por que los
conjunto de intereses pueden ser radicalmente opuestos.
Este anlisis de estratificacin desde la perspectiva del conflicto se puede resumir en
tres principios bsicos
Primero Collins crea que las personas viven en mundos subjetivos auto
construidos.segundo, las personas pueden tener suficiente poder para influir sobre las
experiencias subjetivas de un individuo e incluso controlarla.tercero, otras personas
intentan frecuentemente controlar al individuo, quien se opone a ellas.el resultado suele
ser el conflicto interpersonal.
Sobre esta base desarrollo cinco principios bsicos del anlisis del conflicto que aplico a
la estratificacin social, aunque defendan que podan aplicar tambin en cualquier
escenario de la vida social. En primer lugar crea que la teora del conflicto deba
centrarse en la vida real mas que n las formulaciones abstractas. Esto parece reflejar su
preferencia por el anlisis material al estilo marxista ante la abstraccin del
funcionalismo estructural. Collins nos aconsejo concebir a las personas como animales
cuyas acciones, motivadas por su propio inters, podan considerarse como maniobras
para obtener diversas ventajas a fin de alcanzar la satisfaccin y evitar el descontento.
Collins considera que las personas no son totalmente racionales y reconoce que son
vulnerables a impulsos emocionales en sus esfuerzos por lograr la satisfaccin. En
segundo lugar crea que una teora de la estratificacin desde la `perspectiva del
conflicto deba examinar los factores materiales que influyen en la interaccin. Si bien
los factores intelectuales como los factores fsicos, los modos de comunicacin, la
provisin de armas, los mecanismos para escenificar la propia imagen publica, las
herramientas, los bienes, influyen sobre los actores, no todos los actores reciben las
mismas influencias.una variable importante de los recursos que poseen los diferentes
actores.los actores con muchos recursos materiales pueden oponerse eincluso modificar
estos constreimientos materiales, mientras los pensamientos y las acciomes de los que
poseen pocos recursos suelen estar determinados por su situacin material. EN tercer
lugar Collins, afirmo que en una situacin de desigualdad, los grupos que controlan los
recursos suelen intentar explotar a los que los que carecen desee control.tuvo la cautela
de sealar que esta necesidad no implicaba l calculo conciente por parte de los que se
aprovechaban de su situacin; antes bien, simplemente persiguen lo que perciben como
sus intyereses ms importantes y en ese proceso probablemente se aprovechan de los
que carecen de recursos.en cuarto lucar aconcejo a los tericos del conflicto que
analizaran los fenmenos culturales tales como la creencia y los ideales desde el punto
de vista de los intereses, los recursos y el poder.los grupos que poseen recursos y, por lo
tanto poder, suelen imponer a la sociedad su sistema de ideas; el sistema de ideas de los
que carecen de recursos es un sistema impuesto.
Finalmente se comprometi con el estudio cientfico de la de la estratificacin y de
cualquier otro aspecto del mundo social. Esto lo condujo a formular varios consejos.los
socilogos no debian teorizar simplemente sobre estratificacin, si no debian estudiarla
empricamente y hacer un anlisis comparado en la medida de lo posible.las hiptesis
debian formularse y verificarse empiricamente mediante estudios comparados.por
eltimo, el socilogo debia buscar las causas de los fenmenos sociales ,particularmente
las multiples causas de cualquier forma de conducta social.
Esta especie de compromiso cientfico lo condujo a desarrollar una amplia serie de
proposiciones sobre las relaciones entre el conflicto y diversos aspectos especficos de
la vida social.
*las experiencias de dar y recibir ordenes son los principales determinantes de los
puntos de vista y de conductas individuales.
*cuantas ms ordenes da una persona, ms orgullosa, segura y formal se siente
mas se identifica con los ideales de la organizacin en cuyo nombre justifica sus
ordenes.
*cuantas ms ordenes recibe una persona, mas subordinada, fatalista, alienada de
los ideales de la organizacin, conformista, desconfiada y preocupada por obtener
recompensas extrnsecas y amoral se siente. (Collins)
l extendi su anlisis al de la estratificacin a las relaciones entre los sexos y los
grupos de edad. Adopto la perspectiva de que la familia constitua un escenario de
conflicto sexual, en la que los varones triunfaban y dominaban a las mujeres, sometidas
adversos tipos de trato desigual. De modo similar analizo la relacin entre los grupos de
edad en particular entre los jvenes y ancianos en trminos del conflicto. Esta teora se
opone a la de los funcionalistas estructurales, que perciben en esta relacin una
socializacin e internacionalizacin amorosa. Analizo los recursos que posean los
diversos grupos de edad.los adultos poseian varios recursos tales como experiencia,
mayor fuerza y estatura y la capacidad desatisfacer las necesidades fsicas de los
jvenes.en cambio, uno de los escasos recursos de los mas jvenes es su atractivo fisico.
Esto sugiere la alta probabilidad de que los adultos dominen a los jvenes.sin embargo,
cuando los jvenes maduran adquieren mas recursos y ms capacidad de oposicin, a
resultas de lo cual se produce el creciente conflicto social intergeneracional.tambien
analiza las organizacione formales desde la perspectiva del conflicto. Las consideraba
redes de influencias interpersonales y tambin escenarios en los que luchaban intereses
enfrentados. En suma, las organizaciones son campos de batalla Collins. De nuevo
formula sus argumentos en trminos de una proposicin. Por ejemplo, arguye que la
coercin conduce a grandes esfuerzos para evitar ser objeto de la coercin. En cambio,
la oferta de recompensas constitua una buena estrategia: El control por medio de las
recompensas materiales conduce a la complacencia en la medida en que las
recompensas estn directamente relacionadas con la conducta deseada. Estas y otras
proporciones nos indican el compromiso de Collins con un estudio cientfico de
conflicto bsicamente micro orientado.
En suma, Collins no es, al igual que Dahrendorf un fiel exponente de la teora marxista
del conflicto, aunque por razones diferentes. Si bien utilizo a Marx como punto de
partida. Weber, Durkheim, y sobre toda la etnometodologia y la fenomenologia
influyeron mas en su obra. La orientacin micro de Collins constituye un punto de
partida til para el desarrollo de una teora de conflicto ms integrada. Sin embargo, a
pesar de sus intenciones explicitas de integrar las teoras micro y macro, no cumpli la
tarea de modo completo. En su obra reciente Collins adopta la perspectiva general de
que la teora del conflicto es preferible a muchas otras teoras debido a su capacidad de
sntesis: La teoria de conflicto. Se ha comprometido libremente en lo que puede
denominarse piratera intelectual: tiene una gran capacidad para incorporar...
elementos...... de las microsociologas. Aunque se ha hecho poca teora que pueda
denominarse abiertamente del conflicto entre 1975 y 1990, Collins cree que la teora del
conflicto, pese a las apariencias, no se ha debilitado durante la ultima dcada y media,
sino que ha venido desarrollndose bajo diversas formas y en diferentes reas de la
sociologa.
Por un lado. Collins cree que la teora del conflicto ha sido la perspectiva dominante
dentro de varias sub areas de la sociologa. Aunque no entra en detalles, uno de los
ejemplos que tiene en mente es el surtimiento del enfoque del poder como la orientacin
dominante en el estudio sociolgico en las profesiones (Ritzer y Walezak, 1986. Un
esfuerzo integrado que mereca la pena hacer, a aunque solo a sido sugerido por Collins,
Ser la revisin de conjunto de perspectivas del conflicto especificas que se han
desarrollando dentro de las diversas reas de la sociologa, con objeto de reunir ese
dispar cuerpo de trabajo, combinarlo con la teora del conflicto realmente existente, y
ampliar as enormemente la teora del conflicto de la sociedad.
Collins persigue la integracin en dos direcciones diferentes. Por una parte, considera
que el ncleo de la mayor parte de la investigacin historia comparada reside una
perspectiva del conflicto, especialmente en la obra de Michael Mann. As la teora del
conflicto se enriquece mediante la integracin de una amplia seria de ideas que pueden
derivarse de la investigacin histrica comparada adems cree que Mann utiliza una
especie de teora de redes, creencia que motiva el esfuerzo por sintetizar el enfoque de
Mann con los trabajos convencionales en la tradicin de las teoras que aparecen. En
trminos generales existe la posibilidad de integrar la teora de redes y la del conflicto.
De hecho, la teora de redes de desempea un papel prominentemente en los esfuerzos
contemporneos por la sntesis ya que ay tericos procedente de otras perspectivas,
estas teorias neomarxistas aunque bastante prometedor ,el desarrollo de estas sntesis
teoricas amenazan con hacernos perder de vista la posibilidad de un pensamiento
holista. Esto seria desafortunado: la imposibilidad de desarrollar una gran teoria nos
significa que todas las formas de pensamiento holista sean intiles e indeseable. Es
necesario un pensamiento holista que no presenta dar una respuesta ultima a todas las
cuestiones tericas. As, Antonio sugiere que los neomarxistas deben constituir sobre el
holismo de Marx mas que sobre su modernismo emancipador. El holismo histrico
constituye una teoria global del capitalismo que carece de los excesos (por ejemplo, la
pretensin de proporcionar respuestas a todas las cuestiones, la teleologa) del
modernismo emancipador. Antonio subraya que esta nueva perspectiva holista no solo
integra ideas de un conjunto de perspectivas neomarxistas, sino tambin implica
instituciones tericas de otros enfoques no marxista (por ejemplo, el uso de haber mas
de ideas weberianas y pragmticas) que presagian un holismo histrico ms rico De
modo similar, Kellner. Aun cuando defiende el ataque posmodernista a la construccin
de una gran teoria, se esfuerza por desarrollar en sus reflexiones sobre el
tecnocapitalismo un enfoque holista que rescata los aspectos viables de la teoria
marxista y los sintetiza con las ideas de los posmodernistas, En este sentido Kellner al
igual que Antonio, defiende la necesidad de una nueva perspectiva holista y al mismo
tiempo, acepta la necesidad de un conjunto amplio de esfuerzo sintticos. En este
capitulo en el que se analiza el impulso hacia una serie de sntesis, es importante sealar
que seria desastroso para la sociologa perder la huella de la teoria holista.
Al final de este capitulo, donde analizaremos una variedad de teoria Posmarxistas, nos
extenderemos mas sobre la cuestin de la sntesis en la teoria marxista.
INTERACCIONISMO SIMBOLICO
Probablemente como producto de su autodefensa, el interaccionismo simblico que se
desarrollo bajo la direccin de Herbert Blumer se movi firmemente en una direccin
micro. Este impulso iba en sentido opuesto a las implicaciones del titulo mas integrador
de la obra de George Herbert Mead Mind. Self and Society (Espritu, persona y
sociedad). Sin embargo, el interaccionismo simblico ha entrado en una nueva era
posblumericana Por un lado estn los esfuerzos por reconstruir la teoria Blumeriana que
subrayan que esta teoria siempre retuvo un inters por los fenmenos macro(vase mas
abajo, as como l numero especial de Symbolic Interaction dedicado a Herbert Blumer.
Y lo que es ms importante, existen diversos esfuerzos en la actualidad por sintetizar el
interaccionismo simblico con ideas derivadas de otras teoras. Este nuevo
interaccionismo simblico, en los trminos de Fine, ha construido una nueva teoria
utilizando fragmentos de otros enfoques tericos. Estos nuevos interaccionistas
simblicos:
(Fine son casi promiscuos en su deseo de sacudir cualquier sabana terica que
encuentran: hay durkheimianos... simmelianos... webereanos... marxistas...
posmodernistas... fenomenlogos... feministas radicales... semeoticos... e
interaccionistas simbolicos.
El nuevos Interaccionista simblico combina ideas autctonas con otras procedentes de
teoras micros tales como la teoria del intercambio, la Etnometodologia y el anlisis de
conversacional, y la fenomenologia. Ms sorprendente la integracin de teoras macro
como el funcionalismo estructural y de teoras macro tales como Parsons Durkheim,
Simmel, Weber, Marx. Los Interaccionista simblicos se esfuerzan tambin por integrar
ideas de Posestructuralismo, post modernismo y el feminismo radical. El
interaccionismo simblico Postbluberiano esta convirtindose en una perspectiva ms
sinttica que la del propio Blumer
Redefinicin de Mead y Blumer
Adems del trabajo sinttico actual, el interaccionismo simblico se esfuerza por
redefinir a los principales pensadores relacionados con l, especialmente a Mead y
Blumer, en tanto que presentan orientaciones ms integradoras de las que se les han
propuesto. A pesar de su falta de inters por los fenmenos macro hay muchos
elementos en las ideas de Mead. Baldwin subraya la fragmentacin de las ciencias
sociales en general, y de la teoria sociolgica en particular, y afirma que esta
fragmentacin impide el desarrollo de una teoria sociolgica general unificada y en
trminos generales una ciencia del mundo social.este defiende la necesidad de tal teoria
y propone tomar el enfoque de Mead como modelo para la construccin:
(Baldwin)quizs nos ha llegado la hora de intentar organizar nuestra disciplina
fragmentada en una teoria que tenga el potencial de unificarla .como Mead tuvo mas
xito que la mayora de los tericos sociales en la creacin de una teoria no dualista que
unifica ideas sobre la mente y el cuerpo.sobre los niveles micro y macro de la sociedad,
junto con otros factores relacionados, su obra merece atencin como posible
fundamento para la construccin de una ciencia social unificada.
Aunque Baldwin propone la gran sntesis que hemos rechazado acogemos de buen
grado su esfuerzo por contemplar la teoria mediana como un enfoque ms integrador.
l defiende la teoria de Mead basndose en varias razones. En primer lugar, seala que
le sistema terico de Mead cubre todos los fenmenos sociales pertenecientes a los
niveles micro y macro: la sicologa, la sicologa social, el lenguaje, la cognicin, la
conducta, la sociedad, el cambio social y la ecologa. Ofrece un modelo de la
orientacin terica de Mead subraya que Mead ofrece no solo una concepcin
integradora micro-macro del mundo social sino tambin un sistema flexible para
entretejer contribuciones procedentes de todas las escuelas contemporneas de la ciencia
social. As la teoria de Mead proporciona una base slida no solo para la integracin
micro-macro sino tambin para la sntesis terica. Finalmente mantiene que el
compromiso de Mead con los mtodos cientficos nos garantizan que los datos y las
teoras de todos los componentes del sistema social puedan integrarse de una manera
equilibrada, con su importancia relativa establecida de un modo emprico defendible.
Antes de analizar el esfuerzo por redefinir el enfoque terico de Herbert Blumer
debemos recordar que como pensador ofreci una concepcin harto limitada de los
fenmenos macro y objetivos.sin embargo ,algunos interaccionistas simbolicos han
intentado demostrar recientemente que blumer poseia una concepcin ms profunda
delas estructuras macro y de la objetividad y que ello , junto a la fuerza evidente de su
teoria en niveles micro y en el reino de la subjetividad ,confiere a su teoria una
orientacin integradora .
Maines ha atacado tres mitos relacionados con la teoria de Blumer: que acientifica,
subjetivista, y aestructural.los dos ultimos calificativos son los que preocupan aqu
porque apuntan al ncleo de la creacin de una concepcin mas integradora de las ideas
de blumer.es decir,en caso de poder demostrar que blumer ofrecio una perspectiva ms
objetivista que se complementa con su interes manifiesto por la subjetividad y una
concepcion macro que se complementaba con una evidente orientacin micro ,podria
considerarse que nos ofrecio una teoria sociolgica plenamente integrada .De hecho esta
concepcin micro-macro y objetiva-subjetiva estara en total consonancia con mi idea
de un paradigma sociolgico integrado.
Por lo que respecta a la cuestin de la subjetividad
blumer: que es acientfica, subjetivista y aestructural. Los dos ltimos calificativos son
los que nos preocupan aqu porque apuntan al ncleo de la creacin de una concepcin
ms integrada de las ideas de Blumer. Es decir, en caso de poder demostrar que Blumer
ofreci una perspectiva ms objetivista que se complementaba con su inters manifiesto
por la subjetividad, y una concepcin macro que se complementaba con su evidente
orientacin micro, podra considerarse que nos ofreci una teora sociolgica
plenamente integrada. De hecho, esta concepcin micro-macro y objetiva subjetiva
estara en total consonancia con mi idea de un paradigma sociolgico integrado.
Por lo que respecta a la cuestin de la subjetividad, Maines afirma que Blumer
simplemente adopt una posicin en la lnea del pensamiento de su tiempo sobre la
accin humana. La agencia implica una preocupacin tanto por el modo subjetivo en el
que las personas construyen la realidad social como por la accin, la interaccin y las
pautas objetivas resultantes. Adems, Maines cree que Blumer adopt la posicin que
tomaron algunos tericos de la accin, no todos, de que entidades colectivas tales como
"las organizaciones, las instituciones, los movimientos sociales, las clases sociales, las
naciones, los grupos de inters, o las razas" actan, y se caracterizan por procesos
subjetivos.
En su diseccin de las reflexiones de Blumer sobre los macro fenmenos, Maines
analiza tres implicaciones del concepto de la accin conjunta. Primera, la accin
conjunta implica una organizacin social puesto que la accin ocurre de acuerdo con
pautas recurrentes. Segunda, las acciones suelen estar interconectadas; es decir, tienden
a institucionalizarse. Y tercera, la accin social posee continuidad; es decir, tiene una
dimensin histrica. La preocupacin por la organizacin, la institucionalizacin y la
historia le confiere a Blumer una orientacin macro, y Maines procede a demostrar la
preocupacin macro de Blumer en una serie de reas concretas (por ejemplo, las
relaciones raciales y la industrializacin.
Ms recientemente, Maines y Morrione han publicado el libro pstumo de Blumer
titulado Industrialization as an Agent of Social Change (La industrializacin como
agente de cambio social). Este libro lo escribi Blumer a principios de los aos sesenta,
pero nunca lleg a publicarlo porque no se senta satisfecho con l. Esta obra nos
sugiere la orientacin macro y objetivista de Blumer. El proceso de la industrializacin
ocurre claramente en el nivel macro e implica estructuras objetivas tales como los
sistemas de produccin basados en la mecanizacin, los sistemas de distribucin y
adquisicin y una estructura de servicios (Maines y Morrione, 1990: xviii). Quizs
Blumer no se senta un terico integrador, pero las interpretaciones recientes de su obra
demuestran que su pensamiento est ms en la lnea de los desarrollos contemporneos
de lo que se haba credo. La necesidad de reinterpretar a Blumer (y a Mead) en este
sentido demuestra el poder del movimiento hacia una teora sociolgica integrada y
sinttica.
Como sealamos al principio de este captulo la direccin del interaccionismo simblico
hacia la integracin y la sntesis no es nueva, aunque actualmente esta teora tiene un
alcance mayor y est ms institucionalizada que antes. En este contexto nos ser de gran
utilidad analizar el esfuerzo de Peter Singelmann, mencionado al principio del captulo,
por sintetizar el interaccionismo simblico y la teora del intercambio, y examinar la
reaccin hostil que tal esfuerzo ha provocado. Tambin estudiaremos el temprano
esfuerzo de Sheldon Stryker (1980) por impulsar al interaccionismo simblico en una
direccin ms integradora. Puede considerarse que la obra de Stryker anticip una gran
parte del trabajo integrador posterior (y de las interpretaciones) del interaccionismo
simblico que acabamos de analizar.
INTEGRACIN DEL INTERACCIONISMO SIMBOLICO Y LA TEORIA DEL
INTERCAMBIO
El esfuerzo de Peter Singelmann (1972) por integrar los principales conceptos de la
interaccin simblica y la teora del intercambio parti de las categoras medianas de
mente, Self y sociedad.
Mente. Singelmann afirm que para el interaccionismo simblico el concepto de mente
"refleja la capacidad humana de concebir lo que percibe el organismo, de definir las
situaciones, de evaluar los fenmenos, de transformar los gestos en smbolos y de
exhibir una conducta pragmtica y dirigida a la consecucin de metas". De acuerdo con
Singelmann, tanto el interaccionismo simblico como el terico del intercambio
consideran al actor un agente activo. Este afirm que el concepto simblicoInteraccionista de la mente ha recibido un "reconocimiento explcito" por parte de los
tericos del intercambio. Como prueba de que esta concepcin de la mente existe entre
los tericos del intercambio, cit algunos anlisis realizados por los tericos del
intercambio de cosas tales como la conciencia del individuo de las alternativas, las
aspiraciones y las expectativas. Tambin detect evidencias de que exista el concepto
de procesos mentales en la nocin de Homans de la justicia distributiva. Una persona
debe evaluar subjetivamente las diferentes recompensas para determinar si la ley de la
justicia distributiva ha sido violada o no.
Sobre la base de este tipo de anlisis, Singelmann concluye: "La teora del intercambio
actual ha superado los enfoques puramente "conductistas" de muchas teoras del
refuerzo al reconocer, ms o menos explcitamente, que la mente humana mediatiza la
relacin entre los estmulos y las respuestas conductuales". As, una recompensa no es
en s una recompensa, sino que se define como algo que opera como reforzador. En
opinin de Singelmann este proceso de definicin sintoniza la teora del intercambio
con el interaccionismo simblico.
Lo ms probable es que la mayora de los conductistas coincidan con Singelmann en la
idea de que no hay nada inherente en un objeto que lo convierta en una recompensa.
Una recompensa ha de definirse como elemento reforzador en caso de que influya
realmente sobre la conducta. Sin embargo, a diferencia de Singelmann, a los
conductistas no les preocupa el proceso de la definicin social an cuando son
Esta versin parte de Mead, pero se extiende e introduce conceptos y principio tericos
del rol para poder analizar adecuadamente la influencia recproca de la persona social
sobre la estructura social. El nexo de esa influencia recproca es la interaccin. Es en
este contexto de los procesos sociales las pautas recurrentes de interaccin que
vinculan a los actores individuales- donde la estructura social constrie las
concepciones del Self, las definiciones de la situacin y las oportunidades y repertorios
conductuales que vinculan y guan la interaccin que tiene lugar.
(Stryker)
Stryker desarroll su orientacin a partir de ocho principios generales;
1. La accin humana depende de un mundo nombrado y clasificado en el que los
nombres y las clasificaciones tienen significado para los actores. Las personas
aprenden mediante la interaccin con otras el modo de clasificar el mundo y el
modo en que se espera que se comporten en l.
2. Entre las cosas ms importantes que las personas aprenden estn los smbolos
que se utilizan para designar las posiciones sociales. Es preciso sealar aqu que
Stryker conceba las posiciones en trminos estructurales: "componentes
morfolgicos relativamente estables de la estructura social". Stryker tambin
atribuy una importancia crucial a los roles y los concibi como expectativas
conductuales compartidas ligadas a las posiciones sociales.
3. Stryker tambin reconoci la importancia de las grandes estructuras sociales,
aunque senta predisposicin, al igual que otros interaccionistas simblicos, a
concebirlas como pautas organizadas de conducta. Adems, su anlisis concibe
la estructura social simplemente como el "marco" en el cual las personas actan.
Dentro de estas estructuras, las personas se nombran mutuamente, es decir, se
reconocen mutuamente como ocupantes de posiciones. Al hacerlo, las personas
evocan expectativas recprocas de lo que se espera de ellas.
4. Es ms, en su actuacin en este contexto, las personas no slo se definen unas a
otras, tambin se definen s mismas; es decir, se asignan a s mismas
designaciones posicinales. Estas auto designaciones se convierten en parte del
Self, expectativas internalizadas relacionadas con su propia conducta.
5. Cuando interactan, las personas definen las situaciones y asignan nombres a las
situaciones, a los otros participantes, a ellas mismas y a los rasgos particulares
de la situacin. Los actores utilizan estas definiciones para organizar su
conducta.
6. Los significados sociales no determinan la conducta social, pero s la constrien.
Stryker cree fervientemente en la idea de la construccin del rol. Las personas
no slo adoptan roles; antes bien, adoptan una actitud creativa y activa hacia sus
roles.
7. Las estructuras sociales limitan tambin el grado en el que los roles se
"construyen", no slo el grado en el que se "adoptan". Algunas estructuras
permiten ms creatividad que otras.
8. Las posibilidades de construccin del rol hacen posible los diversos cambios
sociales. Los cambios ocurren en las definiciones sociales en los nombres, los
cualquier otra teora sociolgica- "se ha establecido", como Boden afirma. En cualquier
caso, este argumento contradice el tema principal de este captulo (y del siguiente): el
debilitamiento de las fronteras tericas y el surgimiento de nuevas perspectivas
sintticas. Es posible que la Etnometodologia sea an demasiado joven e insegura como
para soportar la erosin de sus fronteras.
No obstante, la mayor parte del ensayo de Boden (19990 a) se centra en los esfuerzos
sintticos que se han realizado dentro de la Etnometodologia, especialmente en el
anlisis de cuestiones integradoras tales como la relacin entre la accin y la estructura,
el marco de la accin y los acontecimientos pasajeros que se dan en el curso de la
historia. Boden tambin analiza el grado en el que una serie de tericos estadounidenses
y europeos han comenzado a integrar la Etnometodologia y el anlisis conversacional en
su orientacin. Desdichadamente, lo que brilla por su ausencia es un anlisis del grado
en que los Etnometodlogos integran actualmente en su perspectiva ideas procedentes
de otras teoras sociolgicas. Los Etnometodlogos reaccionan de buen grado ante el
hecho de que otros tericos integren perspectivas ideas procedentes de otras teoras
sociolgicas. Los Etnometodlogos reaccionan de buen grado ante el hecho de que otros
tericos integren perspectivas Etnometodolgicas en sus teoras, pero se muestran ms
bien reacios a la integracin de otras ideas en su teora.
El anlisis de Boden (1990 b) de los vnculos de la Etnometodologia con el
interaccionismo simblico ha contribuido a un leve movimiento hacia la sntesis en
aquella perspectiva. El anlisis conversacional, como vimos en el captulo 6, se centra
fundamentalmente en el habla. Como Boden seala: "El habla constituye el nervio
central de la interaccin social. El anlisis conversacional estudia el aspecto mundano
de la charla momentnea de las personas en su realizacin cotidiana". Si bien los
Interaccionistas simblicos se interesan por el habla, su principal preocupacin es la
accin y la interaccin. Boden nos ofrece el vnculo entre tales intereses en su
definicin del habla como "lenguaje interaccin", sealando que "es aqu, cuando a
travs del lenguaje aparece la accin, donde convergen el anlisis conversacional y la
interaccin simblica (y viceversa)". Y llega a sealar que el mundo social requiere "ser
estudiado in situ, y las fuerzas creativas de la interaccin simblica y el anlisis
conversacional descubren, en combinacin, la naturaleza momentnea, aunque
recurrente y pautada, del mundo" (Boden,).
Para reforzar el vnculo entre el interaccionismo simblico y el anlisis conversacional
Boden sugiere una redefinicin de este ltimo. Afirma que el trmino anlisis
conversacional es, en realidad, demasiado estricto debido al hecho de que los
investigadores se interesan, como pudimos apreciar en el Captulo 6, por algo ms que
el simple intercambio de palabras. Sugiere, en cambio, la denominacin de "anlisis
Interaccional" ya que los investigadores se ocupan de "todo lo que tiene lugar en la
interaccin, desde una pausa en la respiracin hasta la organizacin espacial y temporal
del escenario" (Boden,). Al utilizar el trmino anlisis Interaccional para describir el
inters por fenmenos verbales y no verbales, Boden claramente coloca el anlisis
conversacional en las filas del interaccionismo simblico.
Como vimos, Mead se interes por los procesos mentales, pero los concibi como
formas de la accin y la interaccin. Esta concepcin forma parte del esfuerzo de Mead
por extender el conductismo al reino de la mente. Boden afirma que "el pensamiento,
que en sentido Meadiano constituye una interaccin simblica, se convierte en algo
concreto y disponible, tanto para analizarlo como para teorizar a travs de las intensas
actividades del habla en la interaccin". As, al estudiar el habla, los analistas de la
conversacin (y los interaccionistas simblicos) arrojan luz sobre los procesos mentales.
Asimismo, Boden intenta vincular el anlisis conversacional con el inters de Blumer
por la "accin conjunta". Subraya que la conversacin constituye una accin conjunta
no slo en el sentido de que es negociada localmente, sino tambin en el sentido de que
"el habla y las tareas se construyen mutuamente por turnos alternativos Boden,.
En su conclusin, Boden nos ofrece algunos vnculos generales entre el anlisis
conversacional y el interaccionismo simblico: "Los interaccionistas simblicos y los
analistas de la conversacin viajan juntos por el mismo camino a fin de examinar la
interrelacin de los significados, de los smbolos compartidos, de la accin conjunta y
del orden social". Adems, liga explcitamente las dos teoras a las preocupaciones
integradoras que acaban de ser analizadas en el captulo anterior :"As, en la amplia
interseccin de la accin y la estructura, los socilogos pueden esperar por lo general
encontrar a interaccionistas simblicos, as como a analistas de la conversacin".
El esfuerzo de Boden por vincular la relacin entre el anlisis conversacional y el
interaccionismo simblico con la accin y la estructura nos conduce a la obra de Hilbert
(1990) sobre la relacin entre la Etnometodologia y el orden micro-macro. Hilbert
rechaza la idea convencional de que la Etnometodologia constituye una
microsociologa, pero tampoco debe ser considerada, en su opinin, una
Macrosociologa. Antes, bien, Hilbert afirma que la Etnometodologia "trasciende" la
cuestin micro-macro porque su preocupacin central son las prcticas sociales que
constituyen los mtodos para la produccin de la micro estructura y de la macro
estructura, as como cualquier presunto "vnculo" entre las dos" .Hilbert reduce, de
manera en cierto modo errnea, la cuestin del vnculo micro-macro a una serie de
preocupaciones estructurales. Es decir, a un enfoque sobre la micro estructuras, las
macro estructuras y el vnculo que hay entre ellas. Desde el punto de vista de Hilbert,
los Etnometodlogos son "indiferentes" a las estructuras en cualquier nivel. En lugar de
interesarles las estructuras, ya sean micro o macro, los Etnometodlogos se ocupan de
las prcticas, de "los Etnomtodos", de "la correcta produccin" de la estructura en
general. Es decir, los Etnometodlogos se centran en "los mtodos de la produccin, el
mantenimiento, la conservacin y la reproduccin de la estructura social a travs de la
pertenencia al grupo, ya estn orientados a las grandes estructuras institucionales (macro
a las estructuras ms ntimas y pequeas (micro)" (Hilbert).
Hilbert nos ofrece lo que llama la "tesis radical" de la Etnometodologia, que la hace
trascender la cuestin del vnculo micro-macro:
Los fenmenos empricos que identifican los analistas de la conversacin, pero que los
miembros no son capaces de identificar, y...los fenmenos estructurales hacia los que
los miembros se orientan y dan por supuestos pero que, sin embargo, no son empricos y
no estn disponibles para los cientficos sociales son (sutilmente)...los mismos
fenmenos.
(Hilbert)
En otras palabras, los Etnometodlogos creen que no es necesario hacer distincin
alguna entre las estructuras micro y las macro porque, desde su punto de vista, se
En un estudio de 1983, Cook et, al., Intentaron analizar la relacin entre la teora del
intercambio y la teora de redes en funcin de la cuestin del poder y la dependencia.
Emerson defini originalmente el poder como "el nivel de coste potencial que un actor
puede inducir a otro a "aceptar"", mientras la dependencia implica "el nivel de coste
potencial que acepta un actor en una relacin". Esto nos lleva a la teora del poderdependencia de Emerson, que Yamagishi y sus colegas resumen de este modo: "El poder
de una parte sobre otra en una relacin de intercambio es una funcin inversa de su
dependencia de la otra parte". El poder desigual y la dependencia conduce a
desequilibrios en las relaciones, pero con el tiempo, stas se orientan hacia una relacin
de poder-dependencia ms equilibrada.
En su explicacin de la dependencia y el poder, la teora estructural de redes analiza
cosas tales como la centralidad estructural, mientras la teora del intercambio se ocupa
de la relacin didica entre los actores. La investigacin de Cook y otros (1983) tiende a
encontrar evidencias de la importancia de la relacin de intercambio y poder de
manifiesto la debilidad del enfoque estructural de redes. Sin embargo, Cook y otros son
plenamente conscientes de los sesgos micro de la teora del intercambio y de la
necesidad de elevarla de nivel e integrar en ella un nivel macroscpico.
Para distanciarse del enfoque didico de la teora del intercambio y aproximarse a un
anlisis del poder de una posicin en una estructura, Cook y Emerson sealan que la
determinacin del poder de una posicin se basa en el grado de dependencia de toda la
estructura con respecto a esta posicin. Esta dependencia sistemtica constituye, en su
opinin, una funcin tanto de la centralidad estructural de la posicin como de la
naturaleza de las relaciones de poder dependencia. Recurren a un enfoque centrado en
"vulnerabilidad" para elevar la teora del poder-dependencia desde el nivel analtico
didico hasta otro nivel analtico ms Macroestructural" (Cook et al., 1983:301). La
vulnerabilidad implica la dependencia respecto de una red de una posicin estructural
particular. Cook y sus colegas concluyen:
Es evidente que la integracin de los principios de la teora estructural de redes con la
teora de las redes de intercambio proporciona ideas tiles sobre la dinmica del poder
en las redes de relaciones de intercambio conectadas...Esta formulacin terica ofrece
un procedimiento explcito para vincular la conducta de los actores en el intercambio
con las propiedades de la red...y sugiere mecanismos que pueden dar lugar a
"transformaciones posible" de estas redes como resultado de la dinmica de poder o de
los cambios en la naturaleza de las conexiones de intercambio.
Yamagishi, Gillmore y Cook (1988) van an ms lejos en su esfuerzo por vincular la
teora del intercambio y la teora de redes. Afirman que el poder (y la dependencia) son
preocupaciones centrales para la teora del intercambio, pero constatan que el poder "es
fundamentalmente un fenmeno social estructural". Estos autores son capaces de
generar predicciones sobre la distribucin del poder en todos los tipos de redes de
intercambio positivas, negativas y mixtas- verificndolas en experimentos y
simulaciones informticas. Un anlisis plenamente satisfactorio debe implicar la
preocupacin tradicional de la teora del intercambio por los procesos que ocurren
dentro de las relaciones de intercambio, as como el inters tradicional de la teora de
redes por los vnculos entre las relaciones de intercambio.
compartida por meta tericos y posmodernistas es su actitud crtica hacia las grandes
narrativas, las meta narrativas o las totalizaciones. Podemos apreciar con claridad que
ninguna de las meta narrativas sociolgicas es satisfactoria, por no decir adecuada para
analizar la sociedad en su conjunto. Los meta tericos, en lugar de quedar atrapados en
la batalla entre las grandes narrativas deficientes, han dedicado su atencin a estudiarlas,
a identificar las razones de sus defectos y los modos en que pueden superarse mediante
nuevos esfuerzos sintticos ms acotados (Antonio 1990; Antonio y Kellner en prensa.
Aunque no explcitamente, estos esfuerzos sintticos estn en consonancia con la nocin
posmoderna de que deben destruirse las fronteras entre las teoras existentes. La
mayora de las sntesis tericas contemporneas analizadas en este captulo se derivan
de meticulosos anlisis meta tericos de una o ms teoras existentes, y se orientan a la
produccin de nuevas sntesis tericas a partir de una serie de teoras sociolgicas.
En estos y otros sentidos, el postmodernismo es sumamente relevante no slo por lo que
respecta a los desarrollos en la teora sociolgica, sino tambin por lo que respecta a los
desarrollos meta tericos en la sociologa. En el siguiente apartado dedicado a la teora
Posmarxista diremos ms cosas sobre el postmodernismo, y en el Apndice sobre la
Metateorizacin.
TEORIA POSMARXISTA
Durante los aos ochenta y principios de los noventa la teora neomarxista ha
experimentado cambios drsticos (Grossberg y Nelson 1988: Jay, 1988. Las variantes
ms recientes de teora neomarxista rechazan muchas de las premisas bsicas de la
teora original de Marx, as como muchos de los supuestos de las teoras neomarxistas.
Estos cambios explican que se las denomine teoras Posmarxistas (Wright 1987. Aunque
estas teoras rechazan los elementos bsicos de la teora marxista, muestran sin embargo
las suficientes afinidades como para que se las considere parte de las teora marxista.
Analizamos aqu las teoras Posmarxistas porque suelen implicar la sntesis de teoras
marxistas con otras teoras, ideas, mtodos, etc. Qu explicacin tienen estos cambios
espectaculares que ha experimentado la teora neomarxista? Dos conjuntos de factores
dan cuenta de ellos, uno externo a la teora, que implica cambios en el mundo social, y
otro interno
En primer lugar, los factores externos a la teora marxista son el final de la Guerra Fra
(al menos hasta ahora) (Halliday 1990) y el colapso del mundo comunista. La Unin
Sovitica est sumida en el proceso de la perestroika (reestructuracin), en el que se
aleja de una economa socialista dirigida por el estado y se mueve hacia una economa
de mercado parecida, al menos en parte, a la economa capitalista (Piccone 1990;
Zaslavsky 1988. La Unin Sovitica ha renunciado al control de los pases del este de
Europs y muchos de esos pases se estn moviendo casi con mayor rapidez que la propia
Unin Sovitica en direccin a una economa de estilo capitalista (Kaldor, 1990. China,
tras la violenta respuesta de la insurreccin de la Plaza de Tiananmen, ha fracasado
como modelo para el resto del mundo an cuando no abandona su comunismo. Cuba
parece aislada y en espera de la muerte o derrota de Fidel Castro para moverse hacia la
perestroika y el capitalismo. De esta manera, el fracaso del comunismo a escala mundial
ha llevado a los marxistas a reconsiderar y reconstruir sus teoras. (Burawoy 1990.
pero que estn lejos de constituir reglas de inferencia: que las cosas se convierten en sus
contrarios y que la cantidad se convierte en calidad. En la ciencia social marxista la
dialctica se utiliza a menudo para justificar un tipo de razonamiento teleolgico muy
endeble. Los desarrollos deben ocurrir para que la historia se desarrolle tal y como se
haba planeado.
De modo similar, Elster seala" "No existe una forma de anlisis especficamente
marxista...Ni tampoco compromiso alguno con un determinado mtodo especfico de
anlisis, aparte de los que caracterizan en general a la buena ciencia social" .En
consonancia con este rechazo los marxistas analticos rechazan la idea de que hecho y
valor son inseparables, de que estn dialcticamente relacionados. Siguiendo los
cnones de la corriente principal de la filoofa y el pensamiento social cientfico,
intentan separar hecho y valor y estudiar los hechos desapasionadamente a travs de un
anlisis terico, conceptual y emprico.
Uno se pregunta por qu el marxismo analtico debe ser denominado marxismo. Roemer
responde a esta cuestin y seala: "No estoy seguro de que debe recibir esta
denominacin" .Sin embargo, nos ofrece algunas razones que explican por qu debemos
considerarla una teora (neo) marxista. Primero, analiza temas marxistas tradicionales
tales como la explotacin y la clase. Segunda, sigue considerando el socialismo
preferible al capitalismo. Sin embargo, aunque es marxista en estos sentidos, tambin
"toma libre y voluntariamente prestadas ideas de otros puntos de vista" .De nuevo, el
marxismo analtico sintoniza con el movimiento hacia la sntesis terica analizado en
este y en el anterior captulo.
En este apartado estudiaremos brevemente tres variantes de marxismo analtico. En
primer lugar analizaremos el esfuerzo por realizar la obra de Marx utilizando
herramientas intelectuales admitidas. En segundo lugar, examinaremos el marxismo de
la eleccin racional y la teora de juegos. Y finalmente nos centraremos en la
invesigacin emprica desde la perspectiva marxista que utiliza las ms novedosas
herramientas metodolgicas.
Reanlisis de Marx. Como hemos sealado ms arriba, el marxismo analitico rechaza el
uso de conceptos idiosincrsicos tales como la dialctica e intenta analizar a Marx (y al
mundo social) mediante el uso de conceptos que forman parte de la tradicin intelectual
general. Este rechazo y esfuerzo se ilustra principalmente en uno de los textos ms
representativos del marxismo analtico: la obra de G.A. Cohen, Karl Marx's Theory of
History: A Defense (La Teora de la historia de Karl Marx: una defensa) (1978). En
lugar deinterpretar a Marx como un terico dialctico extico. Cohen afirma que Marx
emple en su obra una forma funcional de explicacin bastante mas prosaica. Cohen
identifica los siguientes ejemplos de explicacin funcional en la obra de Marx:
En todos y cada uno de estos ejemplos el segundo concepto explica el priemro. Desdde
el punto de vista de Cohen, la naturaleza de la explicacin es funcional porque "el
carcter de lo que es explicado viene determinado por su influencia sobrelo que
explica". As, en el caso del ltimo ejemplo, el carcter de la conciencia se explica por
su influencia sobre el ser social, y en concreto sobre su propensin a sostener el ser
social. En general, los fenmenos sociales se explican en trminos de las consecuencias
que tienen sobre otros fenmenos sociales. Cohen cree que Marx practica el
pensamiento funcional en los ejemplos citados ms arriba y en toda su obra e intenta
explicar los fenmenos sociales y econmicos de esta manera. As, Marx no fue un
pensador dialctico, sino funcional. Desde esta perspectiva Cohen reinterpreta a Marx
utilizando las ideas filosficas de la corriente principal y considerando a Marx como
parte de esta corriente.
Cohen se esforz de forma cosiderable por distinguir el pensamiento funcional e la
variante sociolgica del funcionalismo (estructural). Cohen identifica tres tesis
principales en el funcionalismo (estructural). Primera, todos los elementos del mundo
social estn interconectados. Segunda, todos los componentes de la sociedad se
refuerzan mutuamente y refuerzan el conjunto de la sociedad. Tercera, cada aspecto e la
sociedad es como es en virtud de su contribucin al conjunto de la sociedad. Los
marxistas rechazan estas tres tesis por varias razones, en especial por su
conservadurismo. Sin embargo, los marxistas pueden emplear las explicaciones
funcionales mencionadas ms arriba sin aceptar ninguno de los principios del
funcionalismo. As, la explicacin funcional no ha de ser necesariamente conservadora;
al contrario, puede ser bastante revolucionaria.
Marxismo de la eleccin racional. Muchos marxistas analticos se han inspirado en la
economa neoclsica, especialmente e la teora de la eleccin racional y en la teora de
juegos (para un anliis del uso de la teora de la eleccin racional en la corriente prinipal
de la sociologa, vase el Captulo 10). Roemer afirma que "el anlisis marxista requiere
de microfundamentos", especialmente afirma que "el anlisis marxista requiere de
microfundamentos", especialmente la teora de la eleccin racional y la teora de juegos,
as como "el arsenal de tcnicas de construccin de modelos desarrolladas por la
economa neoclsica". Al utilizar estos enfoques, la teora marxistas abandona sus
pretensiones de ser diferente y recurre a enfoques ampliamente usados en las ciencias
sociales. Pero a pesar de inspirarse y construir sobre la economa neoclsica, la teora
neomarxista sigue siendo diferente de sta. Por ejemplo, mantiene su inets por la
accin colectiva para cambiar la sociedad y acepta la idea de que el capitalismo es un
sistema injusto.
Al igual que John Roemer, Jon Elster es tambin uno de los principales exponentes del
marxismo analtico. Elster cree que la adopcin del tipo de teorizacin funcional
analizada por Cohen obstaculiz el avance de la teora neomarxista. Tambin piensa que
la teora marxista ha de usar ms la teora de juegos, una variante de la teora de le
eleccin racional. La teora de juegos, al igual que otras variantes de la teora de la
eleccin racional, supone que los actores son racionales y buscan maximizar sus
ganancias. Aunque reconoce la existencia de constricciones estructurales, sugiere que
stas no determinan totalmente las elecciones de los actores. o que distingue a la teora
de juegos es que constituye una variante de la teora de la eleccin racional que permite
al analista ir ms all de las elecciones racionales de un actor individual y estudiar la
interdependencia de las decisiones y las acciones de diversos actores. Elster (1982)
lo mejor y lo peor que le ha podido suceder a la raza humana. Asimismo, Jameson nos
propone en trminos posmodernos "hacer al menos cierto esfuerzo para pensar de forma
dialctica la evolucin cultural del capitalismo tardo como catstrofe y progreso
simultneamente".
Jameson considera el posmodernismo como la tercera gran expansin del capitalismo.
Antes de esta expansin el mundo experiment el desarrollo de los mercados nacionales
y luego el sistema imperialista. Cada una de estas expansiones tena sus elementos
culturales, pero su ndole era econmica. El posmodernismo representa una
"internacionalizacin de un tipo radicalmente nuevo" (Jameson 1984:88). La naturaleza
de la nueva internacionalizacin es fundamentalmente cultural. Para Jameson, el mundo
contemporneo se caracteriza por la "explosin de la cultura, "una prodigiosa expansin
de la cultura por todo el reino social, hasta el punto de que podemos considerar que
todos los elementos de nuestra vida social- desde el valor econmico y el poder estatal
hasta las prcticas y la misma estructura de la psique- han pasado a ser "culturales" .
Como fiel marxista, Jameson nos propone que nos esforcemos por comprender este
nuevo mundo posmoderno para poder actuar y luchar contra l como individuos y
colectividades. (A pesar de este llamamiento, los marxistas ms ortodoxos califican a
Jameson de "apoltico"
As, mientras muchos posmodernismos han abandonado la teora marxista, Jameson se
adhiere a ella considerndola un marco terico bsico y fundamental. En una entrevista
a Jemson, Stuart Hall subraya su "fe absolutamente ciega en la lgica del marxismo
clsico" (Hall y Jameson 1990:31). Jameson seala que tiene:La plena conviccin de
que existe an el capitalismo en su sentido clsico. El posmodernismo tiene sus dos
lados contradictorios si uno se convence de que el capitalismo ha triunfado: por un lado
est el mercado, todo el mundo es ms rico y baila al son de su msica preferida; pero
por otro estamos igualmente convencidos de que existe una enorme miseria en estas
sociedades, que se empobrecen en lugar de mejorar...La nueva riqueza y el nuevo
empobrecimiento mundiales son ciertas de modo simultneo...Estoy convencido de que
esta nueva y posmoderna forma mundial de capitalismo teien su nueva lgica de
clases...An me siento comprometido con la lgica marxista.
Sin abandonar su compromiso con la teora marxista, Jameson integra en ella las ideas
del pensamiento posmoderno.
Otra obra marxista que se enmarca en el posmodernismo es The condition of
Postmodernity (La Condicin de la posmodernidad) (1989), de David Harvey. An
cuando Harvey atribuye vala al pensamiento posmoderno, tambin identifica en l
graves puntos flacos desde una perspectiva marxista. Acusa a la teora posmodernista de
dar demasidad importancia a los problemas del mundo moderno y de menospreciar sus
logros materiales. Y lo que es ms importante, parece aceptar la posmodernidad y los
problemas relacionados con ella en lugar de sugerir soluciones para superar estas
dificultades: "La retrica del posmodernismo es peligrosa porque evita el
enfrentamiento con las realidades de la economa poltica y las circunstancias del poder
mundial" (Harvey). Es preciso que la teora posmodernista se enfrente a la fuente de sus
ideas: la transformacin econmica y poltica del capitalismo tarda del siglo xx.
Elementos sumamente importantes en el sistema econmico poltico son el control de
los mercados y del proceso laboral (estas dos cuestiones implican la de la acumulacin
David Hilbert
Nacimiento
23 de enero de 1862
Knigsberg, Prusia Oriental
Fallecimiento
14 de febrero de 1943
Gotinga (Alemania)
Residencia
Alemania
Nacionalidad
Alemana
Campo
Matemtico
Instituciones
Universidad de Knigsberg
Universidad de Gttingen
Alma mter
Universidad de Knigsberg
Wilhelm Ackermann
Otto Blumenthal
Richard Courant
Max Dehn
Erich Hecke
Hellmuth Kneser
Robert Knig
Emanuel Lasker
Erhard Schmidt
Hugo Steinhaus
Teiji Takagi
Hermann Weyl
Ernst Zermelo
Conocido por
Vida
Hilbert naci en Knigsberg, en Prusia Oriental (actual Kaliningrado, Rusia). Se gradu
en el liceo de su ciudad natal y se matricul en la Universidad de Knigsberg
("Albertina"). Obtuvo su doctorado en 1885, con una disertacin, escrita bajo
supervisin de Ferdinand von Lindemann, titulada ber invariante Eigenschaften
specieller binrer Formen, insbesondere der Kugelfunctionen ("Sobre las propiedades
invariantes de formas binarias especiales, en particular las funciones circulares").
Hermann Minkowski coincidi con Hilbert en la misma universidad y momento como
doctorando, y llegaron a ser amigos ntimos, ejerciendo uno sobre el otro una influencia
recproca en varios momentos de sus carreras cientficas.
Hilbert permaneci como profesor en la Universidad de Knigsberg de 1886 a 1895,
cuando, como resultado de la intervencin en su nombre de Felix Klein, obtuvo el
puesto de Catedrtico de Matemtica en la Universidad de Gttingen, que en aqul
momento era el mejor centro de investigacin matemtica en el mundo, donde
permanecera el resto de su vida.
El teorema de finitud
Axiomatizacin de la geometra
El texto Grundlagen der Geometrie (Fundamentos de la geometra), que Hilbert
public en 1899, sustituye los tradicionales axiomas de Euclides por sistema formal de
21 axiomas. Evitan las debilidades identificadas en los de Euclides, cuya obra clsica
Elementos segua siendo usada como libro de texto en aquel momento.
El enfoque de Hilbert marc el cambio al sistema axiomtico moderno. Los axiomas no
se toman como verdades evidentes. La geometra puede tratar de cosas, sobre las que
tenemos intuiciones poderosas, pero no es necesario asignar un significado explcito a
los conceptos indefinidos. Como dice Hilbert, los elementos tales como el punto, la
recta, el plano y otros, se pueden sustituir con mesas, sillas, jarras de cerveza y otros
objetos. Lo que se discute y se desarrolla son sus relaciones definidas.
Hilbert comienza enumerando los conceptos sin definicin: punto, recta, plano,
incidencia (una relacin entre puntos y planos), estar entre, congruencia de pares de
puntos y congruencia de ngulos. Los axiomas unifican la geometra plana y la slida de
Euclides en un nico sistema.
Los 23 problemas
Hilbert propuso una lista muy influyente de 23 problemas sin resolver en el Congreso
Internacional de Matemticos de Pars en 1900. Se reconoce de forma general que esta
es la recopilacin de problemas abiertos ms exitosa y de profunda consideracin
producida nunca por un nico matemtico.
Tras reescribir los fundamentos de la geometra clsica, Hilbert poda haberlo
extrapolado al resto de las matemticas. Este enfoque difiere, sin embargo, de los
posteriores 'fundacionalista' Russel-Whitehead o el 'enciclopedista' Nicolas Bourbaki, y
de su contemporneo Giuseppe Peano. La comunidad matemtica al completo podra
embarcarse en problemas que l identific como aspectos cruciales en las reas de la
matemtica que l consider como claves.
Lanz el conjunto de problemas en la conferencia "Los problemas de la matemtica"
presentada durante el curso del Segundo Congreso Internacional de Matemticos
celebrado en Pars. Esta es la introduccin a la conferencia de Hilbert:
Quin entre nosotros no estara contento de levantar el velo tras el que se
esconde el futuro; observar los desarrollos por venir de nuestra ciencia y los
secretos de su desarrollo en los siglos que sigan? Cual ser el objetivo hacia el
que tender el espritu de las generaciones futuras de matemticos? Qu
mtodos, qu nuevos hechos revelar el nuevo siglo en el vasto y rico campo del
pensamiento matemtico?
Present menos de la mitad de los problemas en el Congreso, que fueron publicados en
las actas. Extendi el panorama en una publicacin posterior, y con ella lleg la
formulacin cannica actual de los 23 Problemas de Hilbert. El texto al completo es
importante, dado que la exgesis de las cuestiones puede seguir siendo materia de
debate inevitable, cada vez que se preguntan cuntas han sido resueltas:
1. Problema de Cantor sobre el cardinal del continuo. Cul es el cardinal del continuo?
2. La compatibilidad de los axiomas de la aritmtica. Son compatibles los axiomas de
la aritmtica?
3. La igualdad de los volmenes de dos tetraedros de igual base e igual altura.
4. El problema de la distancia ms corta entre dos puntos. Es la lnea recta la distancia
ms corta entre dos puntos, sobre cualquier superficie, en cualquier geometra?
5. Establecer el concepto de grupo de Lie, o grupo continuo de transformaciones, sin
asumir la diferenciabilidad de las funciones que definen el grupo.
6. Axiomatizacin de la fsica. Es posible crear un cuerpo axiomtico para la fsica?
7. La irracionalidad y trascendencia de ciertos nmeros como e, 2v2, etc.
8. El problema de la distribucin de los nmeros primos.
Formalismo
Siguiendo la tendencia que se haba convertido en estndar a mitad de siglo, el conjunto
de problemas de Hilbert tambin constitua una especie de manifiesto, que abri la va
para el desarrollo de la escuela del Formalismo matemtico, una de las tres escuelas
matemticas ms importantes del siglo XX. De acuerdo al formalismo, la matemtica es
El programa de Hilbert
En 1920 propuso de forma explcita un proyecto de investigacin (en metamatemtica,
como se llam entonces) que acab siendo conocido como programa de Hilbert. Quera
que la matemtica fuese formulada sobre unas bases slidas y completamente lgicas.
Crea que, en principio, esto poda lograrse, mostrando que:
1. toda la matemtica se sigue de un sistema finito de axiomas escogidos
correctamente; y
2. que tal sistema axiomtico se puede probar consistente.
Pareca tener razones tcnicas y filosficas para formular esta propuesta. Esto afirmaba
su disgusto por lo que se haba dado a conocer como ignorabimus, que an era un
problema activo en su tiempo dentro del pensamiento alemn, y que poda rastrearse en
esa formulacin hasta Emil du Bois-Reymond.
El programa sigue siendo reconocible en la filosofa de la matemtica ms popular,
donde se le llama normalmente formalismo. Por ejemplo, el grupo Bourbaki adopt una
versin selectiva y diluida como adecuada para los requisitos de sus proyectos gemelos
de (a) escribir trabajos fundamentales enciclopdicos, y (b) dar soporte al sistema
axiomtico como herramienta de investigacin. Este enfoque ha tenido xito e
influencia en relacin con el trabajo de Hilbert en el lgebra y el anlisis funcional, pero
no ha conseguido cuajar igual con sus intereses en fsica y lgica.
El trabajo de Gdel
Hilbert y los matemticos de talento que trabajaron con l en esta empresa estaban
dedicados al proyecto. Su intento de dar soporte a la matemtica axiomatizada con
principios definidos, que eliminara las incertidumbres tericas, iba sin embargo a
acabar en derrota.
Gdel demostr que no se poda demostrar la completitud de ningn sistema formal no
contradictorio que fuera suficientemente amplio para incluir al menos la aritmtica, slo
mediante sus propios axiomas. En 1931 su teorema de la incompletitud mostr que el
ambicioso plan de Hilbert era imposible tal como se planteaba. El segundo requisito no
poda combinarse con el primero de forma razonable, mientras el sistema axiomtico
sea genuinamente finito.
Sin embargo, el teorema de completitud no dice nada al respecto de la demostracin de
la completitud de la matemtica mediante un sistema formal diferente. Los logros
posteriores de la teora de la demostracin como mnimo clarificaron la relacin de la
consistencia con las teoras de inters principal para los matemticos. El trabajo de
Hilbert haba empezado lgico en su camino a la clarificacin; la necesidad de entender
el trabajo de Gdel llev entonces al desarrollo de la teora de la computabilidad y
La escuela de Gttingen
Entre los alumnos de Hilbert se encuentran Hermann Weyl, el campen mundial de
ajedrez Emanuel Lasker, Ernst Zermelo y Carl Gustav Hempel. John von Neumann fue
asistente suyo. En la Universidad de Gttingen, Hilbert se encontr rodeado por un
crculo social constituido por algunos de los matemticos ms importantes del siglo XX,
como Emmy Noether y Alonzo Church.
Anlisis funcional
Alrededor de 1909, Hilbert se dedic al estudio de ecuaciones diferenciales e integrales;
su trabajo tuvo consecuencias directas en partes importantes el anlisis funcional
moderno. Para poder llevar a cabo estos estudios, Hilbert introdujo el concepto de un
espacio eucldeo de infinitas dimensiones, llamado ms tarde espacio de Hilbert. Su
trabajo en esta parte del anlisis proporcion la base de importantes contribuciones a la
fsica matemtica en las dos dcadas siguientes, aunque en direcciones que por entonces
no se podan anticipar. Ms tarde, Stefan Banach amplific el concepto, definiendo los
espacios de Banach. El espacio de Hilbert es por s misma la idea ms importante del
anlisis funcional, que creci a su alrededor durante el siglo XX.
Fsica
Hasta 1912, Hilbert fue de forma casi exclusiva un matemtico puro. Cuando
planeaba hacer una visita a Bonn, donde estaba inmerso en el estudio de la fsica, su
amigo y colega matemtico Hermann Minkowski haca chistes diciendo que tena que
pasar 10 das en cuarentena antes de poder visitar a Hilbert. En realidad, Minkowski
parece ser responsable de la mayora de investigaciones de Hilbert en fsica anteriores a
1912, incluido su seminario conjunto sobre el tema en 1905.
En 1912, tres aos tras la muerte de su amigo, cambi su objetivo hacia este tema de
forma casi exclusiva. Arregl que se le asignara un tutor en fsica.2 Empez
estudiando la teora cintica de los gases y pas luego a la teora elemental de radiacin
y a la teora molecular de la materia. Incluso tras el estallido de la guerra en 1914,
continu celebrando seminarios y clases donde se seguan de cerca los trabajos de
Einstein entre otros.
Hilbert invit a Einstein a Gttingen para que impartiera una semana de lecciones entre
junio y julio de 1915 sobre relatividad general y su teora de la gravedad en desarrollo
(Sauer 1999, Folsing 1998). El intercambio de ideas llev a la forma final de las
ecuaciones de campo de la Relatividad General, en concreto las ecuaciones de campo de
Einstein y la accin de Einstein-Hilbert. Aunque Einstein y Hilbert no llegaron nunca a
enzarzarse en una disputa pblica sobre prioridad, ha habido algo de discusin sobre el
descubrimiento de las ecuaciones de campo.
Teora de nmeros
Hilbert unific el campo de la teora algebraica de nmeros con su tratado de 1897
Zahlbericht (literalmente 'informe sobre nmeros'). Abati el problema de Waring en el
sentido amplio. Desde entonces tuvo poco ms que decir sobre el tema; pero la
emergencia de las formas modulares de Hilbert en la disertacin de un estudiante
implica que su nombre est ms unido a un rea importante.
Propuso una serie de conjeturas sobre la teora de cuerpos de clases. Los conceptos
fueron muy influyentes, y su propia contribucin queda patente en los nombres del
cuerpo de clase de Hilbert y el smbolo de Hilbert de la teora local de cuerpos de clases.
Los resultados sobre estas conjeturas quedaron probados en su mayora sobre 1930, tras
el importante trabajo de Teiji Takagi que lo estableci como el primer matemtico
japons de nivel internacional.
Hilbert no trabaj en las reas principales de la teora analtica de nmeros, pero su
nombre qued unido a la conjetura de Hilbert-Plya, por razones anecdticas.
ltimos aos
Hilbert vivi para ver a los nazis purgar a la mayora de miembros facultativos
sobresalientes de la Universidad de Gttingen, en 1933. [1]. Entre aquellos forzados a
marcharse estuvieron Hermann Weyl, que haba ocupado la ctedra de Hilbert al
retirarse en 1930, Emmy Noether y Edmund Landau. Uno de los que hubo de dejar
Alemania fue Paul Bernays, colaborador de Hilbert en lgica matemtica y coautor con
l del importante libro Grundlagen der Mathematik (que acab presentndose en dos
volmenes, en 1934 y 1939). sta fue una secuela del libro de Hilbert-Ackermann
Fundamentos de lgica terica de 1928.
Un ao despus, asisti a un banquete y lo sentaron al lado del nuevo Ministro de
Educacin, Bernhard Rust. Rust le pregunt: Cmo va la matemtica en Gttingen
ahora que ha sido liberada de la influencia juda? A lo que Hilbert contest, La
matemtica en Gttingen? Ya no queda nada de eso.3
Nota y referencias
1.
2.
Corry
Reid p. 129.
3.
Reid p. 205.
4.
Reid p. 213.
Bibliografa
Bibliografa primaria para la traduccin al ingls:
Secundaria:
Corry, L., Renn, J., y Stachel, J. (1997). Belated Decision in the HilbertEinstein Priority Dispute. Science 278.
Sauer, Tilman (1999). The relativity of discovery: Hilbert's first note on the
foundations of physics. Arch. Hist. Exact Sci. v53. pp 529-575.. (Disponible de la
Cornell University Library como PDF descargable [2])
Thorne, Kip (1995). Black Holes and Time Warps: Einstein's Outrageous
Legacy. W. W. Norton & Company. ISBN 0-393-31276-3.
Mehra, Jagdish (1974). Einstein, Hilbert, and the Theory of Gravitation. Reidel.
Kurt Gdel
Kurt Gdel
Nacimiento
28 de abril de 1906
Brnn (Brno)
Imperio
Austrohngaro
Fallecimiento
14 de enero de 1978
Princeton,
EE. UU.
Residencia
Campo
Matemticas, Filosofa
Instituciones
Alma mter
Universidad de Viena
Teorema de incompletitud de
Gdel
Premios
destacados
Cnyuge
Adele Porkert
Firma
Vida
Infancia
Estudios en Viena
A la edad de 18 aos Kurt se reuni con su hermano mayor Rudolf (nacido en 1902) e
ingres a la Universidad de Viena. Para entonces ya dominaba las matemticas a nivel
universitario y aunque en un principio pretendi estudiar fsica terica, tambin asisti a
cursos de filosofa impartidos por Heinrich Gomperz y de matemticas. Durante este
perodo adopt ideas del empirismo matemtico, ley los Metaphysische
Anfangsgrnde der Naturwissenschaft (Fundamentos metafsicos de la ciencia natural)
de Kant, y aunque l mismo no fue un positivista lgico particip en reuniones del
Crculo de Viena con Moritz Schlick, Hans Hahn y Rudolf Carnap, siendo estos dos
ltimos de quienes aprendi lgica. Despus estudi tambin la teora de los nmeros, y
fue el asistir a un seminario dirigido por Schlick, en el cual se estudiaba el libro
Introduccin a la lgica matemtica de Bertrand Russell, lo que lo motiv a interesarse
por la lgica matemtica.
El asistir a una conferencia de Hilbert sobre la completud y la consistencia de los
sistemas matemticos podra haber sido lo que decidi el curso de su vida. En 1928
Hilbert y Wilhelm Ackermann publicaron los Grundzge der theoretischen Logik
(Principios de lgica terica), una introduccin a la lgica de primer orden en la cual se
planteaba el problema de la completud: Son suficientes los axiomas de un sistema
formal para derivar cada una de las proposiciones verdaderas en todos los modelos del
sistema? Este fue el tema elegido por Gdel para su disertacin doctoral. En 1929, a la
edad de 23 aos, complet su disertacin bajo la supervisin de Hans Hahn, en la cual
Gdel estableci la completud del clculo de predicados de primer orden (este resultado
se conoce ahora como el teorema de completitud de Gdel). El doctorado le fue
concedido en 1930 y su tesis, junto a trabajo adicional, fue publicada por la Academia
de Ciencias de Viena.5
Obra en Viena
En 1931 Gdel public sus clebres teoremas de la incompletud en ber formal
unentscheidbare Stze der Principia Mathematica und verwandter Systeme (Sobre
proposiciones formalmente indecidibles de Principia Mathematica y sistemas
relacionados). En dicho artculo demostr que para todo sistema axiomtico computable
que sea lo suficientemente poderoso como para describir la aritmtica de los nmeros
naturales (e.g. los axiomas de Peano (o ZFC), entonces:
1. Si el sistema es coherente no puede ser completo. (A esto generalmente se le
conoce como el teorema de la incompletud).
2. La consistencia de los axiomas no puede demostrarse al interior del sistema.
Estos teoremas finalizaron medio siglo de intentos acadmicos (comenzando con el
trabajo de Frege y culminando en los Principia Mathematica y en el formalismo de
Hilbert) por encontrar un conjunto de axiomas suficiente para toda la matemtica. El
teorema de la incompletud implica tambin que no toda la matemtica es computable.
La idea bsica del teorema de la incompletud es ms bien simple. Esencialmente Gdel
construy una frmula que asegura ser no-demostrable para cierto sistema formal. Si
fuera demostrable sera falsa, lo cual contradice el hecho de que en un sistema
consistente las proposiciones demostrables son siempre verdaderas. De modo que
siempre habr por lo menos una proposicin verdadera pero no demostrable. Esto es,
para todo conjunto de axiomas de la aritmtica construible por el hombre existe una
frmula la cual se obtiene de la aritmtica pero es indemostrable en ese sistema. Sin
embargo, para precisar esto Gdel necesitaba resolver varias cuestiones tcnicas, tales
como proposiciones de codificacin y el concepto mismo de demostrabilidad en la
teora de los nmeros naturales. Esto ltimo lo realiz mediante un proceso denominado
numeracin de Gdel.
En su ensayo de dos pginas Zum intuitionistischen Aussagenkalkl (1932) Gdel refut
la valuabilidad finita de la lgica intuicionista. En la demostracin emple
implicitamente lo que despus se conoci como la lgica intermedia de Gdel
Dummett (o Gdel fuzzy logic).
Gdel recibi su habilitacin en la Universidad de Viena en 1932, y en 1933 se
convirti en Privatdozent (profesor no remunerado). La ascensin de Hitler en Alemania
en 1933 afect poco a Gdel en Viena, ya que tena poco inters en la poltica. Sin
embargo, se vio muy afectado por el asesinato de Moritz Schlick (cuyo seminario haba
despertado su inters por la lgica) a manos de un estudiante perturbado, incidente que
result en su primer colapso nervioso.
En 1933 Gdel viaj por primera vez a los Estados Unidos donde conoci a Albert
Einstein, con quien estrech lazos de amistad. Present una conferencia en la reunin
anual de la Sociedad Americana de Matemticas. En el transcurso de ese ao Gdel
tambin desarroll ideas sobre la computabilidad y la funcin recursiva al punto que
present una conferencia sobre dichas funciones y sobre el concepto de verdad.
Posteriormente, este trabajo se desarroll en la teora de los nmeros, empleando la
numeracin de Gdel.
En 1934 Gdel present una serie de conferencias en el Instituto de Estudios Avanzados
(IAS) en Princeton, titulada Sobre las proposiciones indecidibles de los sistemas
matemticos formales. Stephen Kleene, quien acababa de finalizar su doctorado en
Princeton, tom notas de esta conferencia, las cuales fueron publicadas posteriormente.
Gdel visitara el IEA nuevamente en el otoo de 1935, pero los viajes y el intenso
trabajo lo haban extenuado y al ao siguiente convaleci producto de una depresin, y
no regres a la docencia sino hasta 1937. Durante ese tiempo se dedic a la prueba de
consistencia del axioma de eleccin y a la hiptesis del continuo en cuyo trabajo
continu hasta mostrar que estas hiptesis no pueden refutarse desde el sistema comn
de axiomas de la teora de conjuntos.
Contrajo matrimonio el 20 de septiembre de 1938 con Adele Nimbursky (nacida
Porkert, 1899-1981), a la cual conoca desde haca 10 aos. Los padres de Gdel se
oponan a la relacin sobre la base de que se trataba de una bailarina divorciada y seis
aos mayor que l. Nunca tuvieron hijos.
Posteriormente realiz otra visita a los Estados Unidos, donde pas el otoo de 1938 en
el IEA y la primavera de 1939 en la Universidad de Notre Dame. Durante sus
vacaciones del IEA, Gdel y su esposa Adele pasaron el verano de 1942 en Blue Hill,
Maine. Sin embargo Gdel no estaba meramente vacacionando pues tuvo un verano de
trabajo muy productivo. John W. Dawson, Jr. conjetura que durante esas vacaciones
Gdel, empleando el volumen 15 de su obra todava sin publicar Arbeitshefte
(Cuadernos de notas), descubri una prueba de la independencia del axioma de eleccin
de la teora finita de tipos, una forma debilitada de la teora de conjuntos. Hao Wang,
amigo cercano de Gdel, apoya dicha conjetura, sealando que los cuadernos de notas
de Blue Hill contienen su tratamiento ms extenso del problema.
Trabajo en Princeton
Despus del Anschluss en 1938, Austria pas a formar parte de la Alemania Nazi.
Alemania aboli el ttulo de Privatdozent, de modo que Gdel tuvo que concursar a un
cargo diferente en el nuevo orden. Sin embargo, sus vnculos anteriores con miembros
judos del Crculo de Viena, especialmente con Hahn, pesaban en su contra. Su situacin
se precipit cuando se le encontr apto para el servicio militar, quedando en riesgo de
ser llamado a las filas del ejrcito alemn, razn por la cual emigr hacia los Estados
Unidos para asumir un cargo docente en el IEA.
Rpidamente retom su trabajo en matemticas y en 1940 public su obra Consistencia
del axioma de eleccin y de la hiptesis del continuo generalizada con los axiomas de
la teora de conjuntos, la cual constituye un clsico de la matemtica moderna. En dicho
trabajo introdujo el universo construible, un modelo de la teora de conjuntos en el cual
los nicos conjuntos que existen son aquellos que pueden construirse a partir de
conjuntos ms simples. Gdel mostr que tanto el axioma de eleccin (AC) y la
hiptesis del continuo generalizada (HCG) son verdaderas en el universo construible y
por lo tanto deben de ser consistentes con los axiomas de Zermelo-Fraenkel para la
teora de conjuntos (ZF). Posteriormente Paul Cohen construy un modelo de ZF en el
cual AC y HCG son falsos; en conjunto estas demostraciones significan que AC y HCG
son independientes de los axiomas de ZF para la teora de conjuntos.
Hacia el final de la dcada de 1940 Gdel demostr la existencia de soluciones
paradjicas a las ecuaciones de campo de la relatividad general de Albert Einstein. Estos
"universos rotatorios" permitiran viajar en el tiempo y provocaron dudas en Einstein
sobre su propia teora. Sus soluciones se conocen como la mtrica de Gdel (o el
Universo de Gdel).
Durante sus muchos aos en el Instituto, los intereses de Gdel se tornaron hacia la
filosofa y la fsica. Estudi y admir las obras de Gottfried Leibniz, pero lleg a la
conclusin (sin evidencia) de que la mayor parte del trabajo de Leibniz haba sido
suprimida. En menor medida tambin estudi a Kant y a Edmund Husserl. Al principio
de los 1970s Gdel circul entre sus amistades una elaboracin de la demostracin
ontolgica de Leibniz sobre la existencia de Dios, la cual se conoce ahora como la
demostracin ontolgica de Gdel.
En 1946 Gdel se convirti en un miembro permanente del IEA. Alrededor de este
perodo dej de publicar, aunque continuo trabajando. Se convirti plenamente en
profesor del Instituto en 1955 y en profesor emrito en 1976.
En 1951 Gdel fue reconocido (junto a Julian Schwinger) con el primer Premio Albert
Einstein, y tambin se le entreg la National Medal of Science en 1974.
Muerte
En sus ltimos aos Gdel sufri de perodos de inestabilidad y enfermedad mental.
Tena temores obsesivos de ser envenenado, y no coma a menos que su esposa Adele
probara la comida antes que l. A finales de 1977 Adele fue hospitalizada durante seis
meses y no pudo continuar probando la comida de Gdel. En su ausencia se rehus a
comer, hasta el punto de dejarse morir de hambre. En el momento de su muerte pesaba
65 libras (32.5kg). El certificado de defuncin en el Hospital de Princeton, el 14 de
enero de 1978, dice que muri de "desnutricin e inanicin causadas por perturbaciones
en la personalidad".6
Legado y distinciones
La Kurt Gdel Society, fundada en 1987, fue as nombrada en su honor. Es una
organizacin internacional dedicada a la promocin de la investigacin en lgica,
filosofa y la historia de las matemticas. Fue nombrado doctor honorario en Literatura
por la Universidad Yale en 1951. Tambin recibi un doctorado honorario en Ciencias
por la Universidad Harvard en 1952 con una mencin en la que le declar "el
descubridor de la verdad matemtica ms significativa del siglo". Fue elegido como
miembro de la Academia Nacional de Ciencias en 1955 y de la Academia Americana de
las Artes y las Ciencias en 1957. En 1961 ingres en la Sociedad Filosfica de Amrica
Publicaciones importantes
En alemn:
En ingls:
En traduccin al ingls:
Notas y referencias
Kurt Gdel en Biografa y Vidas. Consultado el 6 de diciembre de
1.
2011.
2.
3.
4.
Dawson 1997, p. 12
5.
6.
7.
8.
Bibliografa
Fuentes primarias:
Gdel, Kurt 2006: Obras completas, Jess Mostern, editor, Madrid: Alianza,
2006. ISBN 84-206-4773-X
Fuentes secundarias:
Hao Wang, Reflexiones sobre Kurt Gdel, Madrid, Alianza Universidad, 1991,
ISBN 84-206-2690-2
Consistencia (lgica)
En lgica, la consistencia o consistencia lgica es una propiedad que pueden tener los
conjuntos de frmulas. Intuitivamente, un conjunto de frmulas es consistente cuando
no contiene una contradiccin o ambigedad. La consistencia puede ser definida tanto
en trminos semnticos como en trminos sintcticos. En trminos semnticos, un
conjunto de frmulas es consistente si y slo si tiene un modelo. Es decir, si existe al
menos una interpretacin que haga verdaderas a todas las frmulas del conjunto. En
trminos sintcticos, un conjunto de frmulas es consistente si y slo si para toda
frmula A, no es posible deducir tanto A como A (la negacin de A) a partir del
conjunto de frmulas.1
Por ejemplo, considrese el siguiente conjunto de frmulas de la lgica proposicional:
{ p, q, (qp), r }. Utilizando la regla de inferencia del modus ponens entre q y (q
p), es posible deducir p. Luego, segn la definicin sintctica de consistencia, el
conjunto es inconsistente. Para evaluar si el conjunto es consistente segn la definicin
semntica, podemos construir una tabla de verdad:
Decidibilidad
Indecidibilidad
El trmino indecidibilidad puede referirse a varias cosas diferentes:
Lenguaje recursivo
En matemticas, lgica y ciencias de la computacin, un lenguaje formal (un conjunto
de secuencias finitas de smbolos tomados de un alfabeto fijo) es llamado lenguaje
recursivo si es un subconjunto recursivo del conjunto de todas las secuencias finitas
posibles sobre el alfabeto del lenguaje. Equivalentemente, un lenguaje formal es
recursivo si existe una mquina de Turing que siempre se detiene cuando dada una
secuencia finita de smbolos del alfabeto del lenguaje como entrada y que acepta
exactamente esas palabras del alfabeto del lenguaje que son parte del lenguaje y rechaza
todas las otras palabras. Los lenguajes recursivos Tambin se denominan lenguajes
decidibles.
El concepto de decidibilidad puede ser extendido a otros modelos de computacin. Por
ejemplo, se puede hablar de lenguajes decidibles en una mquina de Turing no
determinista. Por lo tanto, cuando una ambigedad es posible, el sinnimo usado para
"lenguaje recursivo" es lenguaje Turing decidible, en vez de simplemente "lenguaje
decidible".
La clase de todos los lenguajes recursivos es a menudo llamada R, aunque este nombre
tambin es usado para la clase RP.
Este tipo de lenguaje no estaba definido en la jerarqua de Chomsky. Todos los
lenguajes recursivos son tambin recursivamente enumerables. Todos los lenguajes
regulares, libres de contexto y sensible al contexto son lenguajes recursivos.
Referencias
Recursin
Anuncio de cacao con una imagen recursiva. La mujer muestra un paquete idntico al
del propio anuncio, conteniendo as a otra mujer que muestra otro paquete ms pequeo,
de forma recursiva.
Imagen recursiva formada por un tringulo. Cada tringulo est compuesto de otros ms
pequeos, compuestos a su vez de la misma estructura recursiva.
Recurrencia, recursin o recursividad es la forma en la cual se especifica un proceso
basado en su propia definicin. Siendo un poco ms precisos, y para evitar el aparente
crculo sin fin en esta definicin:
Un problema que pueda ser definido en funcin de su tamao, sea este N, pueda ser
dividido en instancias ms pequeas (< N) del mismo problema y se conozca la
solucin explcita a las instancias ms simples, lo que se conoce como casos base, se
puede aplicar induccin sobre las llamadas ms pequeas y suponer que estas quedan
resueltas.
Para que se entienda mejor a continuacin se exponen algunos ejemplos:
En estos ejemplos podemos observar como un problema se divide en varias (una o ms)
instancias del mismo problema, pero de tamao menor gracias a lo cual se puede aplicar
induccin, llegando a un punto donde se conoce el resultado (el caso base).
Nota: aunque los trminos "recursin" y "recursividad" son ampliamente empleados en
el campo de la informtica, el trmino correcto en castellano es recurrencia. Sin
embargo este ltimo trmino es algo ms especfico.
Completitud semntica
En lgica, se llama completitud semntica, o simplemente completitud a una
propiedad metaterica que pueden tener los sistemas lgicos. Se dice que un sistema
lgico es semnticamente completo cuando todas las frmulas lgicamente vlidas
(todas las verdades lgicas) del sistema son adems teoremas del sistema.1 Es decir,
cuando el conjunto de las verdades lgicas del sistema es un subconjunto del conjunto
de teoremas.
En otras palabras, si S es el sistema lgico bajo consideracin, entonces se cumple que:
Si
entonces
entonces
Kurt Gdel
La palabra "demostrable" significa que existe una deduccin formal de la frmula. La
deduccin consiste en una lista finita de pasos en los que cada paso o bien invoca a un
axioma o es obtenido a partir de pasos previos mediante una bsica regla de inferencia.
A partir de dicha deduccin, es posible verificar si cada uno de los pasos es correcto
mediante un algoritmo (por ejemplo mediante una computadora, o a mano).
Una frmula es lgicamente vlida si es verdadera en todo modelo para el lenguaje
utilizado en la frmula. Para expresar de manera formal el teorema de completitud de
Gdel, se debe definir el significado de la palabra modelo en este contexto. Esta es una
definicin bsica en la teora de modelos.
Demostraciones
Para una explicacin de la demostracin original de Gdel del teorema, ver
Demostracin original del teorema de completitud de Gdel.
En los libros de lgica modernos, el teorema de completitud de Gdel es por lo general
demostrado mediante la demostracin de Henkin, aunque a veces tambin se utiliza la
demostracin de Herbrand, en lugar de la demostracin original de Gdel.
Referencias
Bibliografa
Enlaces externos
Kurt Gdel a los 19 aos de edad, cinco aos antes de la demostracin de los teoremas.
Los teoremas de incompletitud de Gdel son dos clebres teoremas de lgica
matemtica demostrados por Kurt Gdel en 1931. Ambos estn relacionados con la
existencia de proposiciones indecidibles en ciertas teoras aritmticas.
El primer teorema de incompletitud afirma que, bajo ciertas condiciones, ninguna teora
matemtica formal capaz de describir los nmeros naturales y la aritmtica con
suficiente expresividad, es a la vez consistente y completa. Es decir, si los axiomas de
dicha teora no se contradicen entre s, entonces existen enunciados que no pueden
probarse ni refutarse (usando slo las reglas de deduccin de dicha teora). Las teoras
aritmticas para las que el teorema es vlido son bsicamente aquellas en las que la
deduccin de teoremas puede realizarse mediante un algoritmo (y por tanto el conjunto
de axiomas sea recursivamente enumerable).
La prueba del teorema es totalmente explcita: en ella se construye una frmula,
denotada habitualmente G en honor a Gdel, para la que dada una demostracin de la
misma, puede construirse una refutacin, y viceversa. Sin embargo, la interpretacin
natural de dicha sentencia en trminos de nmeros naturales es verdadera.1
El segundo teorema de incompletitud es un caso particular del primero: afirma que una
de las sentencias indecidibles de dicha teora es aquella que "afirma" la consistencia de
la misma. Es decir, que si el sistema en cuestin es consistente, no es posible probarlo
dentro del propio sistema.
Los teoremas de incompletitud de Gdel son uno de los grandes avances de la lgica
matemtica, y supusieron segn la mayora de la comunidad matemtica una
respuesta negativa al segundo problema de Hilbert.1
Contexto
Los teoremas de incompletitud se formulan en el contexto de una teora formal de
primer orden.2 Una teora de primer orden no es ms que un modelo simplificado del
razonamiento matemtico, formado por dos elementos:
Con estos elementos se estudia el concepto de demostracin: los teoremas son aquellas
frmulas que se obtienen de una cadena de frmulas que, o bien son axiomas, o bien son
consecuencia de frmulas anteriores.
Las teoras formales T tienen una serie de rasgos en funcin de lo que son capaces de
demostrar:
La consistencia de una teora es un requisito bsico para que sea til, ya que segn el
principio de explosin, una teora inconsistente demuestra cualquier frmula. La
completitud es una caracterstica "deseable", que permitira que una teora tuviera una
"respuesta" para cada "pregunta" que pueda formularse en su lenguaje. El primer
teorema de incompletitud establece que, bajo ciertas hiptesis, una teora formal no
puede tener ambas caractersticas.
La primera de estas hiptesis es que la teora sea aritmtica. Una teora aritmtica es
una teora formal que incluye signos capaces de describir los nmeros naturales (como
por ejemplo: +, 0), de modo que bien sus axiomas o bien sus teoremas
contengan los llamados axiomas de Peano, que son los enunciados bsicos de la
aritmtica.3
La segunda hiptesis es que la teora sea recursiva, lo cual significa bsicamente que el
procedimiento para distinguir
1. las frmulas bien formadas de las que no lo son,
2. si una frmula es consecuencia de otras o no,
3. si una frmula dada es un axioma o no,
es un algoritmo, y puede ser llevado a cabo sin ambigedad en un tiempo finito.
Primer teorema
Segundo teorema
El enunciado del segundo teorema hace referencia a una frmula, ConsisT, que puede
construirse en cualquier teora T (ver ms abajo), y que afirma que la teora T es
consistente. La sentencia ConsisT expresa sencillamente, utilizando de nuevo la
Discusin e implicaciones
Los resultados de incompletitud afectan a la filosofa de las matemticas,
particularmente a los puntos de vista tales como el formalismo, que usa la lgica formal
para definir sus principios. Se puede parafrasear el primer teorema diciendo "nunca se
podr encontrar un sistema axiomtico que sea capaz de demostrar todas las verdades
matemticas y ninguna falsedad."
Por otra parte, desde una perspectiva estrictamente formalista esta parfrasis se
considerara sin significado porque presupone que la verdad y falsedad
matemticas estn bien definidas en un sentido absoluto, en lugar de ser relativas a cada
sistema formal
La siguiente reformulacin del segundo teorema es todava ms inquietante para los
fundamentos de las matemticas:
En esencia, la prueba del primer teorema consiste en construir una declaracin dentro
de un sistema formal axiomtico al que se le puede dar la siguiente interpretacin meta
matemtica:
Esta declaracin no se puede probar.
Como tal, puede verse como una versin moderna de la paradoja del mentiroso. Al
contrario de la declaracin del mentiroso, no se refiere directamente a s mismo; la
interpretacin de arriba slo se puede "ver" desde fuera del sistema formal.
En un trabajo publicado en 1957 en Journal of Symbolic Logic, Raymond Smullyan
mostr que los resultados de incompletitud de Gdel pueden obtenerse para sistemas
mucho ms elementales que los considerados por Gdel. Smullyan tambin ha
reivindicado las pruebas ms simples con el mismo alcance, basadas en los trabajos de
Alfred Tarski sobre el concepto de verdad en los sistemas formales. Ms simples, pero
no menos perturbadoras filosficamente. Smullyan no ha plasmado sus reflexiones
sobre incompletitud slo en obras tcnicas; tambin han inspirado clebres libros de
divulgacin como Cmo se llama este libro?.
Si el sistema axiomtico es consistente, la prueba de Gdel muestra que (y su
negacin) no se pueden demostrar en el sistema. Por tanto es cierto ( afirma no ser
demostrable y no lo es) y, sin embargo, no se puede probar formalmente en el sistema.
Fjese que aadir a los axiomas del sistema no resolvera el problema: habra otra
sentencia de Gdel para la teora ampliada.
Roger Penrose afirma que esta (presunta) diferencia entre lo que se puede probar
mecnicamente y lo que los humanos pueden ver como cierto muestra que la
inteligencia humana no es mecnica en su naturaleza. Tambin John R. Lucas se ha
ocupado de est cuestin en Mentes, Mquinas y Gdel.8
Esta perspectiva no est ampliamente aceptada, porque tal y como lo plantea Marvin
Minsky, la inteligencia humana es capaz de errar y de comprender declaraciones que
son en realidad inconsistentes o falsas. Sin embargo, Minsky ha informado de que Kurt
Gdel le dijo a l en persona que l crea que los seres humanos tienen una forma
intuitiva, no solamente computacional, de llegar a la verdad y por tanto su teorema no
limita lo que puede llegar a ser sabido como cierto por los humanos.
Vanse Refutaciones a la interpretacin de Penrose en los Enlaces en Ingls de la
seccin Enlaces externos y referencias
La posicin de que el teorema muestra que los humanos tienen una habilidad que
transciende la lgica formal tambin se puede criticar de la siguiente manera: No
sabemos si la sentencia es cierta o no, porque no sabemos (ni podemos saber) si el
sistema es consistente. De modo que en realidad no sabemos ninguna verdad que est
fuera del sistema. Todo lo que sabemos es lo siguiente:
O es indemostrable dentro del sistema, o el sistema es inconsistente.
Esta declaracin es fcilmente demostrable dentro del sistema.
Numeracin de Gdel
Artculo principal: Numeracin de Gdel.
La numeracin de Gdel es una herramienta que permite relacionar las teoras formales
con la aritmtica. El lenguaje de una teora formal de primer orden est compuesto por
una cantidad a lo sumo numerable de signos, como por ejemplo:
, , , |, =, x , y , z , ... , 0 , + , , S
en el caso del lenguaje de la aritmtica de Peano, donde adems de los smbolos lgicos
y las variables, aparecen algunos smbolos adicionales para la arimtica (donde S es el
smbolo para denotar el nmero siguiente a). Tambin el conjunto de todas las
cadenas (sucesiones finitas de signos) es numerable, as como el conjunto de las
sucesiones finitas de cadenas.
Una numeracin de Gdel es una asignacin de un nico nmero natural para cada
elemento de cada uno de estos tres conjuntos: signos, cadenas de signos y sucesiones de
cadenas.
[Ocultar] Ejemplo
Una posible codificacin para los signos, cadenas y sucesiones de
cadenas es la siguiente. Para los signos se adopta:
10 , 11 , 12 , | 13 , = 14 ,
0 15 ,
S 16 , + 17 , 18 , x 20 , y
2000 , z 200000 , ...
Dada una cadena de signos, se adopta el criterio de apilar los
nmeros de Gdel de sus signos, con un 77 inicial para indicar que
se trata de una cadena:
x + [5] = 0 se torna en: 77-20-17-16-16-16-16-16-15-1415, es decir, en 7720171616161616151415
Para una sucesin de cadenas de signos, puede adoptarse un
convenio similar, con un 88 inicial, para indicar que se trata de una
sucesin:
La sucesin 0 = 1, y + 1 = 0 se convierte en: 88-77-1514-16-15-77-2000-17-16-15-14-15, es decir en:
8877151416157720001716151415
Expresabilidad. Recursividad
Mediante la numeracin de Gdel, es posible traducir los signos y reglas de una
teora formal T en nmeros y operaciones aritmticas. Es posible ir ms all, ya que T es
una teora aritmtica y se pueden recodificar las mencionadas operaciones mediante
el lenguaje formal de T, al igual que se puede hacer con otras funciones y relaciones
aritmticas como por ejemplo:
La funcin multiplicar por 2 est representada por la frmula: y = [2] x
La relacin de orden x y, puede expresarse mediante: z, z + x = y
La relacin x e y son primos entre s puede expresarse como: z, x = z y
y = z x
Cada una de estas relaciones es expresada por su frmula correspondiente, en el sentido
de que si dos nmeros estn relacionados, puede demostrarse la expresin formal
correspondiente; y cuando no lo estn, puede refutarse.9 Por ejemplo:
Para cada entero n, se tiene que si n es par puede probarse la expresin formal
x, [n] = [2] x; y si es impar, puede refutarse dicha frmula.
Para cada par de enteros m y n, si se tiene m n puede demostrarse la frmula
z, z + [m] = [n]; cuando m > n, puede refutarse dicha expresin.
Que las relaciones presentadas en la seccin anterior como Dem sean expresables,
implica que una teora formal aritmtica es lo suficientemente potente como para
hablar de las caractersticas de una teora formal arbitraria y, en particular, de s
misma.
Probar que todas estas relaciones y funciones son expresables es sencillo si son
recursivas, es decir, si pueden calcularse o verificarse mediante un algoritmo, ya que
puede demostrarse que toda relacin recursiva es expresable en una teora aritmtica.
Las teoras formales para las que esto es posible asignar los nmeros de Gdel de
manera que distinguir los signos, cadenas, sucesiones, frmulas, consecuencias y
axiomas, puede llevarse a cabo con un algoritmo son las llamadas teoras recursivas,
y por ello esta caracterstica se asume como hiptesis en los teoremas de incompletitud.
Diagonalizacin
Artculo principal: Lema diagonal.
Para construir la sentencia autorreferente G ha de idearse una manera para que una
frmula hable de las propiedades de su nmero de Gdel correspondiente. Esto ha de
hacerse de manera indirecta, ya que dada una frmula con nmero de Gdel n, otra
frmula que hable de mediante el numeral [n] en general tendr un nmero de
Gdel mayor que n, y por tanto no puede ser la propia . Esto se consigue mediante el
llamado lema diagonal.
En una teora aritmtica recursiva, dada una frmula (x) existe una sentencia
con nmero de Gdel n tal que puede demostrarse ([n]).
En definitiva, dada una propiedad cualquiera (x) existe una sentencia que afirma mi
nmero de Gdel cumple la propiedad .
Referencias
a b c Vase la parte dedicada a Gdel en la introduccin de Hofstadter,
1.
1989.
2.
3.
4.
5.
6.
7.
8.
Lucas, John R.. Minds, Machines and Gdel (en ingls). Consultado
el 15 de Septiembre de 2011.
9.
Bibliografa
Barwise, Jon (1989) (en ingls). Handbook of mathematical logic. Elsevier. ISBN
9780444863881.
Boolos, George; Burgess, John P.; Jeffrey, Richard C. (2007) (en ingls).
Computability and logic. Cambridge University Press. ISBN 9780521701464..
Hofstadter, Douglas R. (1989). Gdel, Escher, Bach. Tusquets editores. ISBN 847223-459-2.
Hofstadter, Douglas R.; Nagel, Ernest; Newman, James Roy (2002) (en ingls).
Gdel's Proof. NYU Press. ISBN 0-8147-5816-9.
Martnez, Guillermo (2009). Gdel para todos. Seix Barral. ISBN 978-950-731-6050.
Teorema de compacidad
En lgica matemtica, el teorema de compacidad establece que un conjunto
(posiblemente infinito) de frmulas bien formadas de la lgica de primer orden tiene un
modelo si todos sus subconjuntos finitos tienen un modelo. Es decir, para todo conjunto
de frmulas de un lenguaje L, si todo subconjunto finito de es satisfacible, entonces
es satisfacible.
tiene un modelo
Una formulacin alternativa es: los distintos lenguajes lgicos permiten relaciones de
consecuencia lgica entre conjuntos infinitos de oraciones. Una relacin de
consecuencia lgica es compacta justo cuando es una consecuencia lgica de un
conjunto de enunciados , slo si es una consecuencia lgica de un subconjunto finito
de :
Si
tal que
Hay una generalizacin de compacidad para lenguajes de orden ms alto que los
lenguajes de primer orden.