Universidad Nacional de Colombia

Prof. Porfirio Ruiz

Estud. Edilberto Caas
5

Desarrollo del criterio empirista de significado

Introduccin

El objetivo del texto es examinar los diferentes cambios, limitaciones y

aplicacin del llamado criterio empirista de significado, que resulta ser
10una tesis principal del positivismo lgico, en Problemas y cambios en el
criterio empirista de significado, publicado por Carl G. Hempel en 1950.
El criterio empirista de significado
Hempel
comienza su anlisis mencionando que La idea fundamental del
15empirismo moderno es la concepcin de que todo conocimiento no analtico
se basa en la experiencia (225). A esta idea la llama el principio del
empirismo. Luego aade que a este principio se ha agregado lo siguiente:
una oracin constituye una asercin cognoscitivamente significativa, y
por lo tanto puede decirse que es verdadera o falsa, slo si es o bien
20(1) analtica o contradictoria, o bien (2) capaz, por lo menos en
principio, de ser comprobable empricamente (ibd.). Este planteamiento
ser llamado criterio empirista de significado y cada asercin que no
cumpla con alguna de estas condiciones no tendr un valor de verdad, as,
afirmaciones similares a el absoluto es perfecto no son susceptibles de
25ser falsas o verdaderas sino que no son cognoscitivamente significativas.
Aunque el criterio empirista de significado ha sido usado ampliamente,
sigue teniendo una caracterizacin muy general. Para examinar el criterio
deben tenerse en cuenta tres conceptos auxiliares (I) Caracterstica
30observable: una propiedad o relacin de objetos que puede ser establecida
por observacin directa. (II) predicado observacional: Aquellos conceptos
que designan las caractersticas observables, (ej: verde, lquido, ms
largo que). (III) oracin observacional: oracin que afirme que uno o ms
objetos poseen o no una cierta caracterstica observable (ej: La torre de
35Eiffel es ms alta que los edificios vecinos). La oracin observacional
es un concepto que tiene como fin aclarar la nocin de oracin que
asevera algo que, en principio, puede establecerse por observacin
directa; cada prueba para sostener una hiptesis emprica puede
considerarse ahora en trminos de oraciones observacionales.
40
Deducibilidad de aserciones significativas
Para poder definir la verdad de una oracin el crculo de Viena elabor
una prueba observacional de la siguiente forma: Una oracin S tiene
significado emprico si y slo si es posible indicar un conjunto finito
45de oraciones observacionales O1, O2,... On tal que si stas son verdaderas,
necesariamente S es tambin
verdadera. (id. 228).
Esta prueba puede
aplicarse para demostrar que el valor de verdad de S es verdadero aunque

se encuentren en el conjunto oraciones observacionales incompatibles, o

aunque S sea una oracin analtica; para evitar estos casos se modifica
50el planteamiento del siguiente modo: Una oracin tiene significado
emprico si y solamente si no es analtica y se sigue lgicamente de
alguna
clase
de
oraciones
observacionales
finita
y
lgicamente
coherente. (ibd.). Este enunciado tambin tiene problemas, como (a)
Debido a que el conjunto de oraciones observacionales es finito no puede
55extraerse ninguna afirmacin de carcter universal como lo son las leyes
cientficas, y tampoco de enunciados mixtos, lo que indica que el
criterio es demasiado restrictivo (b) El caso en el cual se tiene que S
es una oracin a la cual se le atribuye significado emprico y N es una
oracin a la cual no se le atribuye significado emprico, el valor de
60verdad de

(S N )

ser verdadero, lo que indica que el criterio es

demasiado amplio al permitir el ingreso de una asercin que no tiene

significado. (c) Siendo P un predicado observacional, se tiene que

( x ) Px

(Existe por lo menos una cosa que tiene la propiedad P) es

verificable ya que se sigue de cualquier oracin observacional que afirme

65que una cosa determinada tiene la propiedad P; pero la negacin de

( x ) Px , ( x ) Px es equivalente a ( x) Px y como se mostr en

a no pueden extraerse afirmaciones universales significativas a partir de
un conjunto finito de oraciones observacionales. El criterio entonces
resulta inviable por a, b y c.
70
En caso de poner las condiciones de significado emprico en la completa
refutabilidad de los enunciados se tiene el siguiente planteamiento: Una
oracin tiene significado emprico si y slo si su negacin no es
analtica y se sigue lgicamente de una clase finita y lgicamente
75coherente de oraciones observacionales (id. 231). Este planteamiento
tiene fallas anlogas al anterior: (a) Debido a que aquello que da
significado emprico a una afirmacin es su completa refutabilidad, los
enunciados existenciales deben descartarse ya que su negacin es
equivalente a un universal, y no pueden obtenerse afirmaciones de tipo
80universal a partir de un conjunto finito de oraciones observacionales.
(b) Teniendo que S es una oracin completamente refutable y N no lo es,
entonces la conjuncin

(S N )

tiene significado emprico, porque si S

es refutable, la conjuncin que la contenga tambin lo ser. (c) Si P es

un predicado observacional entonces la afirmacin: todas las cosas tienen
85la propiedad P ( x) Px , es significativa; pero su negacin ( x )Px
es equivalente a ( x ) Px y por ser de tipo existencial debe ser
descartada por lo dicho en a.
A, Ayer hizo otra propuesta, que consiste en que una oracin
90significado emprico si es posible deducir de
hiptesis

auxiliares

apropiadas,

oraciones

S tiene

S , en conjuncin con

observacionales

que

no

son

deducibles de las hiptesis auxiliares nicamente. (id. 232). El

problema de esta formulacin
es que permite dar significado emprico a
cualquier afirmacin, por ejemplo: Se tiene que S es la oracin El
95absoluto es perfecto,
roja,

se

usa

como

es la oracin observacional esta manzana es

hiptesis

auxiliar

conjuncin entre S y la hiptesis axilar

[ S ( S R) ;

de

sta

expresin

puede

(S R) ; luego se hace la
(S R) , quedando la expresin
deducirse

sin

que

se

haga

solamente de las hiptesis auxiliares, as que S sera significativa.

100Puede darse cualquier contenido a S y siempre tendr significado. Luego
de esta crtica Ayer propone una nueva versin de su criterio que
consiste en restringir las hiptesis auxiliares a oraciones analticas u

RP

observacionales; pero sufre del mismo problema: Teniendo [ ( S R ) )]

donde S es una oracin
105oraciones analticas u
significado a S.

como El absoluto es perfecto y, R

observacionales, se puede deducir

y P son
P dando

Significado de las aserciones a partir de un lenguaje artificial

Dado que los intentos por encontrar un criterio de comprobabilidad en
110trminos de deducibilidad son ineficaces por ser muy restrictivos o muy
amplios, se debera abordar el problema de un modo diferente. Al disponer
de un lenguaje artificial en el cual se pudiesen elegir el vocabulario y
la gramtica de tal modo que impidan el ingreso de afirmaciones que no
cumplen con el criterio empirista, se dejaran de lado las dificultades
115de los anteriores criterios. Tendra que hablarse ahora de otro criterio,
que sera: Una oracin tiene significado cognoscitivo si y slo si es
traducible a un lenguaje empirista (id. 234). Un lenguaje L puede
considerarse empirista si cumple con las siguientes condiciones: El
vocabulario de L contiene: (1) las locuciones comunes de la lgica (no,
120y, entonces, todos, algunos, o, un elemento de la clase, la clase de
cosas tales que). (2) Contiene
ciertos predicados observacionales que
sern el vocabulario emprico bsico. (3) Contiene toda expresin
definible a partir de 1 y 2. Y las reglas para la formacin de oraciones
en L son las que se establecen, por ejemplo, en principia mathematica. Al
125tener en cuenta estas condiciones L no excluye afirmaciones de tipo
existencial ni universal. Se evita la formulacin de y por tanto se
evita el dotar de significado- oraciones como el absoluto es perfecto,
debido a que no pueden formularse en trminos observacionales. En el
lenguaje empirista L, conforme a principia mathematica, la negacin de
130una oracin tambin pertenece a L; con esto no se tiene la consecuencia
de los criterios anteriores en los cuales una oracin P tiene significado
pero

carece de l y viceversa.

Incluso cuando se han solucionado varios problemas al plantear un

135lenguaje artificial que dote de significado a las hiptesis en trminos
de oraciones observacionales, ste tiene la desventaja de excluir muchos
trminos constitutivos de las teoras cientficas como lo son los
trminos
disposicionales
(como:
soluble,
magntico,
conductor,
inteligente, etc)., que son aquellos que expresan la disposicin de uno o
140ms
objetos
a
reaccionar
de
determinada
manera
en
condiciones

especificadas. Uno de stos trminos es el de temperatura, para poner en

trminos observacionales que el objeto

tiene una temperatura de

T ( x )=c

[T ( x ) =c ] , se podra decir que

grados centgrados

si y slo si

cumple con la condicin siguiente: si se pone en contacto un termmetro

145con

entonces registrar

grados sobre su escala], el aspecto

cuestionable del anterior enunciado es que la segunda parte (definiens)

si se pone en contacto un termmetro con

entonces registrar

grados sobre su escala tiene la forma si P entonces Q, de tal manera que

P puede ser falso y an as Q ser verdadero, por lo que sera cierto que
150 T ( x )=c

aunque el objeto

nunca haya estado en contacto con un

c .

termmetro y siendo cualquiera el valor numrico de

Para tratar de salvar esta dificultad pueden seguirse dos direcciones

principales. Primera, que se interprete el definiens en el sentido que se
155supone

posee,

es

decir,

que

aunque

no

est

en

contacto

termmetro, si ese fuera el caso, tendra una temperatura de

con

un

grados

centgrados. Esta direccin no es satisfactoria, pues el definiens

interpretado en el sentido propuesto, es un empleo contrafctico del
condicional,
y
hasta
el
momento
no
se
ha
podido
dar
cuenta
160satisfactoriamente del significado de stos. Segunda, propuesta por
Carnap, es la de hacer uso de las oraciones reductivas que tienen el
carcter de definiciones parciales o condicionales, y permitir su entrada
al lenguaje empirista L. Por ejemplo, para permitir la introduccin de
temperatura, puede hacerse a partir de la siguiente oracin reductiva
165(R): Si un termmetro est en contacto con un objeto

T ( x )=c si

slo

si

el

termmetro

registra

grados.

x , entonces
La

oracin

reductiva permite interpretar el condicional como material y dar una

definicin parcial de temperatura en los casos

[T ( x ) =c ] ; este mtodo

puede seguir extendindose a casos que (R) no incluye, en los cuales deba
170usarse algn medio distinto al termmetro.
Aun con las modificaciones propuestas por Carnap y la introduccin al
lenguaje empirista L de las oraciones reductivas, ste lenguaje puede no
ser suficientemente amplio para las teoras cientficas avanzadas, que se
175formulan en trminos de construcciones tericas; trminos como cero
absoluto, campo elctrico, potencial gravitatorio, etc. Si se dispusiera
de un sistema de oraciones reductivas para el concepto de campo
elctrico, solamente se podran describir en trminos de caractersticas
observables ciertos campos suficientemente simples.
180
Las teoras cientficas avanzadas (construcciones tericas) mencionadas
pueden considerarse como sistemas hipottico-deductivos, en los cuales
los enunciados se derivan de un conjunto de suposiciones fundamentales.
En donde los enunciados fundamentales y tambin los derivados se formulan
185ya sea (1) en trminos de ciertas construcciones conceptuales tericas

que no se definen en el sistema y que por lo tanto representan el papel

de primitivos (id. 238). O ya sea (2) en trminos de expresiones
definidas en trminos de estos ltimos (ibd.).
As que por su
estructura estos sistemas se asemejan a los sistemas que se estudian en
190lgica y matemtica. Se tornan aplicables a las cuestiones empricas,
adquiriendo as el status de teoras de la ciencia emprica, en virtud de
una interpretacin emprica (ibd.). Dicha interpretacin emprica se
podra realizar traduciendo a un lenguaje empirista L enunciados de tipo
(2) especialmente, es decir, enunciados derivados. Al realizar esta
195traduccin, los enunciados derivados sern dotados de significado y al
ser stos consecuencias lgicas de enunciados fundamentales, se estar
haciendo una interpretacin parcial de stos ltimos y de las
construcciones conceptuales que los originan. Para hacer de la
traducibilidad a un lenguaje empirista un criterio adecuado de contenido
200cognoscitivo, debe extenderse para que cubra construcciones tericas, y
de este modo pueda servir como criterio general de significado
cognoscitivo.
El significado de un enunciado emprico
205Luego de establecer cmo podra ser funcional un lenguaje emprico L, que
califica a una oracin de cognoscitivamente significativa si sus
componentes no lgicos se refieren a observables directamente o de
ciertas y determinadas maneras indirectas (id. 239)., se tiene que este
criterio no dice nada sobre cul es el significado de una oracin
210cognoscitivamente significativa. O sea, se dice cundo una oracin es
significativa; pero no cul es el significado de la misma. As, el
contenido de un enunciado de contenido emprico no puede manifestarse
completamente por medio de oraciones observacionales. Al encontrar
enunciados de tipo universal, por ejemplo: todos los flamencos son
215rosados, se tiene que ste es una conformacin de oraciones auxiliares
como esa cosa es rosada y esa cosa es un flamenco; esto puede
generalizarse, las hiptesis empricas que permiten predecir o anticipar
fenmenos requieren de (muchas) otras hiptesis auxiliares, por ejemplo:
el agente de la tuberculosis tiene forma de bastn por s solo no implica
220que al observar una muestra con agentes tuberculosos stos tengan forma
de bastn, se requiere de hiptesis auxiliares como la teora del
microscopio para que el enunciado sea deducible. Con esto se quiere decir
que en un lenguaje empirista, el significado de las oraciones es dado por
la relacin de una hiptesis con las dems hiptesis dentro de l y
225excede
lo que puede ser expresado en trminos de oraciones
observacionales (id. 240).
Estatus y fin del criterio empirista de significado
Hay un problema adicional, En qu tipo de oracin est inscrito el
230propio criterio empirista de significado? Se tiene que no es de
naturaleza emprica ni de naturaleza analtica o contradictoria; as que
si se juzga el criterio empirista de significado segn su propia
definicin, ste no tendra significado cognoscitivo. El objetivo del
criterio empirista es el de indicar aquello que es o no cognoscitivamente
235significativo, se admite que este criterio no es claro y que parece
arbitrario; pero a partir de su objetivo debe hacerse su clarificacin,
es decir, hay afirmaciones que generalmente se consideran significativas
y otras que no, y esto no puede ser olvidado al momento de clarificarlo.
Hay otro requisito, ms importante, que esta clarificacin de concepto
240cognoscitivamente significativo debe tener en cuenta: ofrecer el esquema
de una descripcin terica general de la estructura y los fundamentos del
5

conocimiento cientfico (id. 242), debe ir ms all de las ambigedades

y de la definicin de los conceptos para permitir una teora del
conocimiento amplia y coherente.