UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

Universidad del Per, Decana de Amrica

FACULTAD DE LETRAS Y CIENCIAS HUMANAS
Unidad de Posgrado

CUESTIONARIO DE COMPRENSIN Y
ANLISIS DE LECTURA: FORMULACIN Y
FORMALIZACIN DE TEORAS CIENTFICAS
(CARL HEMPEL)
ALUMNO:
CDIGO:
CARRERA:
LUGAR:
CORREO:
PROFESOR:
CURSO:
FECHA:

RAFAEL FLIX MORA RAMIREZ

14037064
MAESTRA
EN
FILOSOFA

EPISTEMOLOGA
FACULTAD DE LETRAS Y CIENCIAS
HUMANAS
rafael.f.mora@hotmail.com
DR. LUIS PISCOYA HERMOZA
EPISTEMOLOGA DE LAS CIENCIAS
FORMALES Y NATURALES
2-12-14

LIMA
2014

Cuestionario de Comprensin y Anlisis de Lectura

Formulacin y formalizacin de teoras cientficas (Carl Hempel)
1. A qu tipo de desarrollo epistemolgico califica el autor de interpretacin
estndar y cules seran sus representantes ms conocidos?
La concepcin estndar de la ciencia es la que ha esbozado el Crculo de Viena. Para
estos pensadores, en especial Carnap, la ciencia es un lenguaje. Este se encuentra
constituido por u conjunto de enunciados cuya propiedad fundamental es la de ser
verdaderos o falsos. Cada proposicin se encuentra articulada a las dems a travs de
una vasta gama de relaciones, configurando lo que se denomina un sistema. A su vez,
las proposiciones estn constituidas por trminos. Aparte de su vocabulario lgico,
existe otros dos tipos de vocabulario. El observacional constituido por trminos
observacionales, y el terico constituido por trminos tericos. Un trmino
observacional es aquel que se usa para designar objetos fsicos, o fenmenos,
entendindose como tal aquello dado de manera directa a travs de la observacin: las
propiedades espaciales de un cuerpo, la cada de un objeto o determinada conducta
observable en un sujeto. Trminos terico es aquel que se utiliza para designar objeto
tericos, que no son dados de manera directa a travs de la observacin, como por
ejemplo los trminos masa, campo, inteligencia.
Adems, la ciencia es interpretada como un sistema axiomtico desarrollado segn las
pautas establecidas por la lgica matemtica. Un sistema axiomtico es una estructura
de proposiciones en la cual distinguimos un conjunto de axiomas y luego otro de
teoremas, con la peculiaridad de que estos se obtienen aplicando reglas de deduccin
lgica a partir de los axiomas. En este sistema, los trminos de la axiomatizacin lgica
debern ser de tres clases: 1) trminos lgicos y matemticos; 2) trminos tericos y 3)
trminos observacionales a los que se deber dar una interpretacin fenomnica u
observacional. A su vez, los axiomas de la teora son conjuntos de leyes cientficas. Por
otra parte, debe existir correspondencia entre trminos tericos y observacionales
mediante definiciones explcitas llamadas reglas de correspondencia.
As, el positivismo lgico ha dejado como un importante legado el anlisis lgico
empirista. Segn este, el instrumento del filsofo de la ciencia es la lgica moderna y su
mtodo el anlisis y reconstruccin lgicos de los lenguajes cientficos. Adems, la idea
subyacente segn la cual todas las ciencias que se ocupan de la realidad tienen una base
emprica; lo que se denomin el programa empirista de la ciencia.
2. Precise la diferencia que establece el autor entre el componente terico y el
componente antecedente de una teora.
Para Hempel, la teora tiene un componente terico y otro componente antecedente. El
componente antecedente se refiere a todo el vocabulario que una teora asume como
primitivo o conocido ya con anterioridad. Este se refiere al vocabulario que se usa en las
primeras descripciones y generalizaciones acerca de los fenmenos de los que tienen
que dar cuenta la teora. El componente terico se refiere a los conceptos nuevos que se
introducen mediante definiciones y operaciones matemticas. Este se refiere a un
conjunto de trminos que no aparecen en las descripciones y generalizaciones previas
acerca de los fenmenos empricos que T tiene que explicar sino que ms bien se
introducen de manera especfica para caracterizar el escenario terico y sus leyes.

3. Cules son los elementos de la teora que dotaran de significado a sus

conceptos tericos?
Esto puede ser explicado apelando la funcin de una regla de correspondencia. Las
reglas de correspondencia tienen tres funciones:
1. Definen trminos tericos,
2. Garantizan el significado cognitivo de los trminos tericos
3. Especifican los procedimientos experimentales admisibles para aplicar una teora a
los fenmenos.
Un sencillo ejemplo de reglas de correspondencia sera el siguiente: si se coloca el
objeto x en una balanza y el indicador de la balanza coincide con el nmero y, entonces
la masa de x es el nmero designado por y.
La teora TC (es decir la conjuncin de un cuerpo terico que mediante reglas de
correspondencia explica los fenmenos) es capaz de hacer predicciones, donde
prediccin y explicacin son formalmente lo mismo, siendo la nica diferencia que la
prediccin se realiza antes del hecho y la explicacin se realiza despus.
Sin embargo, el significado de los trminos tericos no es totalmente observacional, por
tanto, TC no podr especificar el significado total de los trminos tericos. Para ello, se
debe recurrir a un metalenguaje ms rico.
Por ejemplo, en el trmino terico electrn, slo parte del significado de electrn
concierne a las manifestaciones observacionales. Cuando un cientfico emplea el
trmino terico electrn en una teora TC, est afirmando que existe algo que tiene las
manifestaciones observables especificadas por TC. Esto es, las reglas de
correspondencia C junto con los principios tericos T dan slo una interpretacin
parcial de los trminos de VT.
En la versin ms evolucionada de la Concepcin Heredada, las teoras se consideran
realsticamente como descripciones de sistemas no-observables que se relacionan de
modos no especificables del todo con sus manifestaciones observables; en este anlisis
el aparato terico es central, y el nfasis se pone en cmo el aparato terico se relaciona
con los fenmenos.
4. Acepta Hempel que los axiomas de una teora constituyen verdades evidentes?
La construccin filosfica estndar o recibida de las teoras cientficas. Tambin en
esta construccin, una teora es caracterizada por dos componentes.
El primer componente es un sistema deductivo axiomtico a veces llamado clculode frmulas no interpretadas; los postulados del sistema corresponden a los principios
bsicos de la teora. Por lo tanto, los postulados del clculo pueden ser considerados
como frmulas obtenidas por la axiomatizacin de los principios internos de la teora y
substituyendo los trminos tericos primitivos en los axiomas por variables.
El segundo componente es un conjunto de proposiciones que dan sentido emprico o
aplicabilidad al clculo, interpretando algunas de sus frmulas en trminos empricos.
Otros escritores se han referido a ellas como definiciones operacionales, definiciones

coordinativas, reglas de correspondencia o principios interpretativos de los

trminos tericos.
La concepcin estndar, entonces, puede ser esquematizada representando a la teora
como una pareja ordenada de conjuntos de proposiciones:
T= (C,R)
donde C es el conjunto de frmulas del clculo y R el conjunto de reglas de
correspondencia.
Por ello, para Hempel la deduccin cientfica parte de un argumento cuyas premisas son
los axiomas o postulados (indemostrables) y la conclusin es la conjuncin de teoremas
(demostrables) deducidos. Los axiomas son indemostrables y no verdades evidentes.
5. Utiliza Hempel el conceptos de hiptesis cientfica para caracterizar a los
axiomas de una teora cientfica?
S. De acuerdo a Hempel las hiptesis cientficas son puntos de partida desde el cual
puede deducirse consecuencias contrastables que permitirn establecer la adecuacin o
verdad de las hiptesis iniciales. Desde este punto de vista se consideran como axiomas.
Podra argumentarse plausiblemente que una exposicin axiomtica es una herramienta
indispensable para una enunciacin no ambigua de una teora. Con objeto de especificar
de manera no ambigua al conjunto infinito de proposiciones que una teora propuesta
pretende afirmar ser necesario dar un criterio general que determine para cada
proposicin P si P es afirmada por la teora. La axiomatizacin proporciona dicho
criterio: P es afirmada por la teora slo en el caso de que P sea deducible de los
axiomas o postulados especificados. Este criterio determina de manera no ambigua la
pertenencia dentro del conjunto de proposiciones propuesto, pero no nos proporciona un
mtodo general para encontrar si es que una proposicin dada pertenece realmente al
conjunto; ya que en general no hay un procedimiento efectivo de decisin por medio del
cual para una proposicin dado P se determine en un nmero finito de pasos si es que P
es deducible de los axiomas.
6. Asigna Hempel al uso del mtodo axiomtico productividad para incrementar
el conocimiento cientfico?
No. Al comienzo l pensaba que s, pero ahora tiene cierto recelo de dicha postura.
Antes l sostena que los sistemas tericos deben tender a la forma de un sistema
axiomatizado. El sistema axiomtico es un sistema de hiptesis, por lo que no deben
considerarse a los axiomas como verdaderos a priori.
Hay algunos casos en los cuales puede ser dicho que la axiomatizacin ha contribuido
muy significativamente a la clarificacin analtica de un sistema de conceptos. La
formalizacin del los principios internos como un clculo, no arroja luz sobre lo que en
la construccin estndar es considerado como su interpretacin; en el mejor de los casos
arroja luz sobre parte de la teora cientfica en cuestin. Y por lo que respecta a la
suposicin de que la formalizacin hace explcitas las suposiciones fundamentales de la
disciplina cientfica a que se refiere, debe ser tenido en mente que la axiomatizacin es
bsicamente una herramienta expositiva, que especifica un conjunto de proposiciones y
muestra sus relaciones lgicas pero no sus bases y conexiones epistmicos. Una teora
cientfica admite muchas diferentes axiomatizaciones y los postulados escogidos para
una axiomatizacin particular no necesitan corresponder, por lo tanto, a lo que en un
sentido ms substancial podran contar como las suposiciones bsicas de la teora, ni es
necesario que los trminos escogidos como primitivos en una axiomatizacin dada

representen lo que sobre bases epistemolgicas o de otro tipo pudieran calificarse como
los conceptos bsicos de la teora; tampoco es necesario que las definiciones formales
de otros trminos tericos producto de los trminos primitivos que han sido escogidos
correspondan a proposiciones que en ciencia seran consideradas como verdaderas por
definicin y por lo tanto analticas.
7. En qu consiste la objecin que hace Hempel de la axiomatizacin de la teora
especial de la relatividad hecha por Suppes?
Algunas de las afirmaciones que han sido hechas en apoyo de la axiomatizacin de las
teoras cientficas estn abiertas a discusin. En qu sentido puede decirse que una
axiomatizacin no interpretada pone de manifiesto los significados de los trminos
primitivos? Se dice frecuentemente que los postulados de una teora formalizada
constituyen definiciones implcitas de los primitivos, requiriendo que estos ltimo
representen en cierto modo las entidades y relaciones que conjuntamente satisfacen los
postulados. Si la axiomatizacin va a ser vista como definiendo de alguna manera los
primitivos, entonces es lgicamente ms satisfactorio construir una axiomatizacin de
acuerdo con Suppes, de manera que d como resultado una definicin explcita de un
predicado conjuntista de grado ms alto. Esta construccin puede ser plausible para la
axiomatizacin de teoras puramente matemticas. Sin embargo, no es plausible
sostener que los trminos primitivos de una teora axiomatizada en ciencia emprica
deban ser entendidos como si fueran entidades y atributos y que los postulados y, por lo
tanto, los teoremas son verdaderos; ya que en esta construccin la verdad de la teora
axiomatizada estara garantizada a priori, sin ninguna necesidad de un estudio emprico.
Uno de los aspectos fundamentales en cualquier interpretacin rigurosa de la realidad es
la coherencia interna de la explicacin. Es conveniente atender a este aspecto con toda
la claridad que sea posible. La lgica se ocupa del estudio de las formas correctas de
pensar y sirve, por tanto, no slo para comprobar la validez formal de los argumentos,
sino que permite tambin la elaboracin formalmente rigurosa de las explicaciones
tericas. Sin embargo, la axiomatizacin solo puede ser hecha una vez que la teora ha
sido producida y no sirve para tratar de crear teoras nuevas. Este es el defecto que
Hempel observa en la propuesta de Suppes.
8. Qu relacin se deduce entre la caracterizacin de Hempel del mtodo
axiomtico y la reconstruccin racional de Reichenbach?
Para Reichenbach la epistemologa se debe ocupar de la construccin de conjuntos
justificables de operaciones que se intercalarn entre el punto de partida y los resultados
del proceso de pensamiento. A esto es a lo que se le denomina reconstruccin racional,
es decir un sustituto lgico de los procesos reales de pensamiento. Para Hempel, en la
medida en que las ciencias procuran interpretar la realidad fsica sin depender
excesivamente de implcitos no controlables, y en que la realidad que estudian es
compleja y difcil de comprender intelectualmente; necesitan aumentar el control sobre
las propias formulaciones tericas. Este dominio debe ejercerse en dos campos
principales: el significado estricto de las nociones que emplea, y la validez formal de las
teoras y leyes en que las ordena. El mtodo que permite dar cumplimiento a estas
necesidades es el de la axiomatizacin. Es aplicable en toda su pureza en las llamadas
ciencias formales: lgica y matemticas, pero proporciona grandes ventajas en la fsica,
y sigue siendo el ideal en otras ramas del saber. La relacin que encuentro entre la

axiomatizacin y la reconstruccin racional es que mientras que la reconstruccin

apunta a una explicacin o justificacin de una teora cientfica, la axiomatizacin
pretende conseguir una formalizacin no necesariamente fiel de una teora cientfica que
mediante supuestos puede deducir todas las consecuencias que una teora puede
explicar.
9. Admite Hempel la posibilidad de construir una teora fsica sin interpretar?
La suposicin, en la construccin estndar, de que un clculo axiomatizado no
interpretado es un constituyente de una teora obscurece ciertas caractersticas
importantes compartidas por muchas teoras cientficas. Tal suposicin sugiere que
los principios bsicos de una teora estn formulados exclusivamente por un
vocabulario terico nuevo, cuyos trminos seran reemplazados en el clculo
axiomatizado C por variables o por constantes aparentes. Sin embargo, lo que
realmente ocurre es que los principios internos de la mayora de las teoras
cientficas emplean no slo conceptos tericos nuevos sino tambin viejos o pre
tericos, los caracterizados en trminos del vocabulario antecedente
(independientemente de la introduccin de la teora. De acuerdo con esto, los
postulados de C ya conjuntados contendran nuevos trminos tericos en tanto
que tambin habra otros pre tericos o entendidos previamente.

Por ello, Hempel no admite la posibilidad de construir una teora fsica si interpretar.
Toda teora siempre tiene que partir de un vocabulario conocido desde el cual mediante
operaciones formales construya todos sus dems trminos involucrados. No es posible
alcanzar un control objetivo absoluto acerca del saber: tenerlo todo explicitado sin
presupuestos. No cabe alcanzar un dominio total de la objetividad. Pero s merece la
pena que lo objetivable se exprese del modo ms claro y formalmente riguroso que
pueda alcanzarse, conscientes de las limitaciones inherentes al intento y de la necesidad
de presupuestos no sistematizables para que el conocimiento pueda cumplirse.
10. En lo referente a la mencin del aporte de Nagel, qu funcin asigna Hempel
al uso de modelos analgicos en el anlisis de clculos toricos?
A todo evento, los hombres tienden a emplear familiares sistemas de relaciones como
modelos en funcin de los cuales dominios de la experiencia inicialmente extraos son
intelectualmente asimilados. En los modelos analgicos se pretende conservar o
reproducir las cualidades estructurales o funcionales del original. Estos modelos se
rigen por un principio de isomorfismo u homomorfismo, esto es, se preservan
caractersticas estructurales o formales entre el modelo y el original. Adems, en los
modelos analgicos podemos hablar de una analoga formal. Un modelo analgico es
cualquier objeto material, sistema o proceso destinado a reproducir de la manera ms
fiel posible la estructura o trama de relaciones del original. La aplicacin de un modelo
hidrulico a la psique humana o a la economa estara comprendida dentro de esta
categora. Al desprenderse de los aspectos materiales de la realidad original, los
modelos analgicos presentan una gama casi infinita de posibilidades de construccin.
Esto hace que sean una herramienta muy poderosa y peligrosa al mismo tiempo, pues al
trasladar las relaciones de un medio a otro la gama de distorsiones tambin ser mucho
ms amplia. De all que los modelos analgicos proporcionan hiptesis plausibles, no
demostraciones.

11. En qu consistira, segn Hempel, la objecin de von Neumann a la pretensin

de Einstein usando variables ocultas?
La posibilidad de variables ocultas se ha reconocido muy pronto en la mecnica
cuntica, pero dado que los hipotticos parmetros no tenan significacin fsica, no
recibieron mucha atencin. Sin embargo, era una posibilidad, y una atractiva, para
aquellos a quien la interpretacin de Copenhague no agradaba. Si la mecnica cuntica
pudiera formularse con variables ocultas y si reproduca todos los resultados de la teora
estndar, parecera no haber una poderosa razn para que los fsicos aceptaran la imagen
de Copenhague del mundo atmico.
La cuestin de las variables ocultas era uno de los problemas examinados por el
matemtico John von Neumann. l proporcion una formulacin matemtica precisa de
los fundamentos de la mecnica cuntica, basando la teora en el uso de espacios de
Hilbert. Von Neumann ya prob que una imagen causal de la mecnica cuntica basada
en variables ocultas no es posible. Imaginemos dos sistemas descritos por la misma
funcin P. Medidas idnticas conducirn en general a resultados distintos, lo cual segn
la interpretacin estndar, es debido a que la mecnica cuntica es acausal. Pero no
podra explicarse si los dos sistemas difirieran en algunos parmetros ocultos que
determinaran el resultado de las medidas? Lo que Von Neumann prob es que no era
as. Segn l, no es por tanto como muchas veces se supone una cuestin de
reinterpretacin de la mecnica cuntica: el sistema actual de la mecnica cuntica
tendra que ser objetivamente falso para que fuera posible otra descripcin de los
procesos elementales distinta de la estadstica. Por otro lado, Von Neumann admita la
ligera posibilidad de que la mecnica cuntica fuera errnea. Dado que era una teora
fsica, no poda probarse matemticamente. As afirma que sera una exageracin
mantener que nos hemos librado de la causalidad. A pesar del hecho de que la mecnica
cuntica est en buen acuerdo con los experimentos, y de que nos ha abierto una parte
del mundo cualitativamente nueva, uno nunca puede decir de la teora que est probada
por la experiencia, sino solo que es la recopilacin mejor que se conoce de la
experiencia.
12. Cul sera en su opinin el aporte de Hempel, a travs del artculo ledo, a la
metodologa de formalizacin de teoras?
El aporte de Hempel consiste en afirmar que las teoras pueden ser estudiadas desde el
punto de vista de sus principios tericos y sus principios puente. La telaraa de teoras
puede involucrar toda la ciencia que sea necesaria para dar cuenta de un fenmeno o
hecho. Sin embargo, debemos prestar atencin a la manera cmo se introducen nuevos
trminos a partir de otros ya conocidos. Si bien la formalizacin ayuda a comprender
cul es la dinmica de una teora, esta no sirve para crear nuevas teoras sino para
aclarar las diversas maneras en las que se interrelacionan sus conceptos.