GIERE, TEORAS EMPRICAS Y EL CONCEPTO VERDAD

Jairo Isaac Racines Correa

Grupo de Investigacin Episteme: filosofa y ciencia
isaacracines@hotmail.com

Resumen
En este documento presento un anlisis de cierto uso equvoco que hace Ronald Giere
del concepto verdad al exponer su imagen de las teoras empricas. A veces lo refiere
como un tipo de relacin representacional y otras como una propiedad de las entidades
lingsticas. El primer uso referido es incorrecto. Se procura examinar qu
consecuencias conlleva este uso en la imagen de las teoras empricas de Giere y respecto
de un anlisis general, aunque restringido a ciertas teoras, del concepto de verdad,
esto ltimo, procurando precisar algunas caractersticas que bien pueden considerarse
consolidadas respecto de este concepto.

Palabras clave: verdad, teora emprica, hiptesis tericas, principios tericos, modelos
tericos.

I. Introduccin

El concepto verdad es una de las nociones que ms controversia y, consecuentemente, mayor

cantidad de literatura han provocado en los ltimos veinticinco siglos. En este documento presento
un anlisis de cierto uso equvoco que hace Ronald Giere del concepto verdad al exponer su imagen
de las teoras empricas. A veces lo refiere como un tipo de relacin representacional y otras como
una propiedad de las entidades lingsticas. El primer uso referido es incorrecto. Posteriormente, se
procura examinar qu consecuencias conlleva esto respecto de la imagen de las teoras empricas de
Giere y de un anlisis general, aunque restringido a ciertas teoras, del concepto verdad, procurando
precisar algunas caractersticas que bien pueden considerarse consolidadas respecto de este concepto.
La tarea se emprende bajo la creencia de que examinar lo que est mal puede traernos alguna luz
sobre lo que est bien.

Se procede del siguiente modo, en primer lugar se expone la imagen de teora emprica desarrollada
por Ronald Giere. En segundo lugar, se precisa el rechazo de Giere a: 1) la verdad emprica en el caso
de las leyes, y 2) el calificativo verdad para la representacin que las teoras hacen de los sistemas del
mundo. Se procura tambin precisar en qu elemento de su imagen de las teoras acepta la verdad y
qu tipo de teora de verdad considera necesaria para su imagen de las teoras empricas, a saber, una
teora deflacionaria de la verdad. En tercer lugar, y citando al mismo Giere, precisamos dos usos
distintos que hace del concepto verdad de forma indistinta, a veces: 1) lo refiere como un tipo de
relacin representacional, y otras 2) como una propiedad de las entidades lingsticas. En cuarto
lugar, se procuran precisar incoherencias que resultan de pretender aceptar una teora deflacionaria
de la verdad y sostener la verdad como una relacin representacional. Finalmente, se examina qu
consecuencias conlleva esto respecto de: 1) la imagen de las teoras empricas desarrollada por Ronald
Giere y 2) un anlisis general del concepto verdad, procurando precisar algunas caractersticas que
bien pueden considerarse consolidadas respecto de ste.

II. La imagen de las teoras empricas en Giere

Giere se opone a la imagen tradicional de las teoras empricas, segn la cual, la relacin
representacional entre las teoras y el mundo ha de entenderse como una correspondencia entre un
conjunto de enunciados y el mundo, en donde los enunciados son equiparados a leyes si tienen la
caracterstica de ser universales y verdaderos. Esto, sin importar si dicho conjunto de enunciados est
axiomatizado formalmente, semi-axiomatizado o axiomatizado no formalmente. Rechaza, la creencia
de que una teora consiste bsicamente en sus leyes ms los enunciados que de ellas se derivan y se
adscribe a la denominada concepcin semntica de las teoras, segn la cual, una teora se presenta a
partir de un conjunto de modelos.

Conviene distinguir que aunque la particularidad de la concepcin semntica es que presentar una
teora no es presentar un conjunto de enunciados, sino que es presentar un conjunto de modelos (Cfr., van
Fraassen 1985, p. 26; Moulines, 1997, p. 328), de esto no sigue que podamos identificar una teora
con un conjunto de modelos.

Para Giere, las teoras son medios con los que los cientficos representan el mundo (Cfr. 1988, p. 62),
y se constituyen de dos elementos: 1) una poblacin de modelos que representan sistemas reales, y 2)
varias hiptesis que vinculan esos modelos con sistemas de la realidad (Cfr. 1988, p. 85). Sin embargo,
dado que no hay un solo tipo de modelos que tengan por funcin representar p.ej., se puede
representar tanto con modelos concretos como abstractos, Giere propone reservar el trmino modelo
terico para la clase especial de modelos que pertenecen a las teoras, que son construidos con lo que
denomina principios tericos (Cfr. 1999, p. 7).

Un modo prctico para abordar el concepto de teora emprica sostenido por Ronald Giere, es
cuestionar qu entiende por: principios tericos, modelos tericos e hiptesis tericas. ste es el
camino que emprender en este acpite. No obstante, intentar presentar estos elementos como parte
de un proceso, por lo que precisar otros procesos y relaciones que se dan en l.

Las generalmente denominadas leyes no son, en la imagen de Giere, declaraciones que refieran
regularidades empricas independientes de si nosotros en tanto seres humanos las conocemos, sino
que funcionan como principios generales que nos permiten construir objetos abstractos denominados
modelos tericos, que tienen por funcin representar en ciertos aspectos y grados sistemas del
mundo. Ejemplos de tales principios son las denominadas Leyes de Newton, los Principios de la
Seleccin Natural, las Leyes de la Gentica Mendeliana, etc. Expresa Giere:

Para invocar un ejemplo cannico, las llamadas Leyes del Movimiento de Newton son para m
principios que definen una clase de modelos altamente abstractos y as caracterizan una perspectiva
mecnica particular sobre el mundo. Las Leyes de Newton no son Leyes de la Naturaleza en el
sentido de generalizaciones universales sobre cosas en el mundo. Ellas no pueden ser usadas por s
mismas para hacer declaraciones directas de cualquier cosa sobre el mundo. Ellas no representan
nada. (2009, p. 270).
Sin embargo, procurando evitar las cargas que trae el concepto ley, usualmente entendido por los
filsofos como una generalizacin universal y verdadera, Giere sugiere reemplazarlo por principio
terico. Trmino que en la imagen de Giere tiene ciertos presupuestos, a saber: 1) los principios
tericos, por s mismos, no son vehculos para efectuar declaraciones empricas (Cfr., Ibd., 2002,
745); y 2) en tanto dichos principios definen modelos tericos, resultan automticamente verdaderos,
y con exactitud, respecto de stos. (Cfr. Ibd., 2002, p. 749; 2009, p. 270).

Como se ha dicho, los modelos tericos se construyen con la intencin de representar cosas en el
mundo. La idea es que tomando un conjunto de principios tericos, p. ej., las Leyes del Movimiento
de Newton ms la Ley de la Gravitacin, se pueden generar modelos tericos, p.ej., de dos cuerpos en
interaccin en un espacios de tres dimensiones, que representen sistemas reales, p. ej., el sistema
Tierra-Luna. Esto desde luego implica un giro a nivel terico-representacional. Como lo muestran las
figuras 1 y 2.

Advirtamos que en la Fig. 1, los principios tericos definen un modelo terico, el cual tiene una
doble funcin: satisface los principios y tambin representa un sistema real. Mientras en la Fig. 2, las
leyes representan directamente una regularidad que acontece en un sistema real.

No obstante, aunque los modelos tericos tengan una doble funcin: satisfacer y representar, para
Giere, su funcin central es la segunda. As expresa:

Por el contrario, llamo representacional a mi forma de comprender los modelos, porque no los tomo
primariamente como proveyendo un medio para interpretar sistemas formales, sino como
herramientas para representar el mundo. sta no es su nica funcin, pero es, pienso yo, la funcin
central de los modelos usados en la ciencia emprica. (Giere, 1999, p. 3).1

El modelo newtoniano de dos partculas con una fuerza central proporcional al producto de sus
masas e inversa al cuadrado de las distancias que las separa tiene valor en tanto se identifica p. ej., con
el sistema Tierra-Luna. Su valor est en ser til para representar las posiciones y velocidades de la

1
Otra cita til que sustenta esta afirmacin es Lo que se debe prever es el fin con el que se construyen estos
modelos. No los buscamos para satisfacer simplemente leyes, contar con una poblacin de modelos en s no es
suficiente para comprender el mundo natural. Lo especial sobre los modelos es que son modelos de algo Lo
que es especial sobre los modelos es que estn diseados para que elementos del modelo puedan ser
identificados con caractersticas del mundo real. Esto es lo que hace posible usar modelos para representar el
mundo (Giere, 2002, p. 747).
Tierra y la Luna. Para Giere, los modelos tericos son representaciones epistmicas de la realidad, que
encuentran su funcin en la medida que ostentan atributos semejantes a cosas diferentes a ellos.

Tenemos por lo pronto principios que definen modelos, y modelos que representan sistemas fsicos,
pero cmo se conectan estos modelos abstractos con sistemas fsicos reales? Para Giere, este proceso
de conexin requiere cuando menos dos procesos: el de interpretacin y el de identificacin (Cfr.,
2009, p. 71). En el proceso de interpretacin, los elementos de un modelo abstracto se interpretan con
trminos generales, tales como masa, posicin y velocidad. La interpretacin ya est presente en las
declaraciones que caracterizan los modelos. En el proceso de identificacin, los elementos de un
modelo representacional se identifican con elementos del un sistema real2.

Presentemos el siguiente ejemplo en el que Giere precisa cmo funcionan estos procesos, aunque
alude tcitamente a ellos.

Para tomar un ejemplo cannico, aadiendo la condicin F = -kx se obtiene un modelo general para un
oscilador armnico simple, donde x es el desplazamiento desde una posicin de equilibrio. Con este
modelo todava estamos lejos de las afirmaciones empricas. Este modelo podra aplicarse, por ejemplo,
a un pndulo con una pequea amplitud, una masa que cuelga de un resorte (). Pero, incluso
especificando que x es el desplazamiento de una masa en un resorte no tenemos una aplicacin
emprica. Tenemos slo un modelo abstracto de una masa colgando en un resorte. Para llegar a una
afirmacin emprica real debemos designar una masa particular real sobre un resorte. Slo as puede
determinarse empricamente si el movimiento de una masa particular real colgando concuerda con el
movimiento calculado por la masa abstracta en el modelo. (2002, p. 745-746).

Dicha relacin entre modelos tericos y sistemas reales, que se lleva a cabo por medio del proceso de
identificacin, se afirma mediante una hiptesis terica, que es una declaracin completamente
interpretada que especifica el ajuste entre un modelo terico y un sistema real en ciertos aspectos y
grados. P. ej., se puede hacer una declaracin emprica hiptesis terica sobre la posicin y
velocidad de la Tierra y la Luna por medio de un clculo en un modelo abstracto de dos cuerpos bajo
la atraccin gravitacional, o se pueden hacer declaraciones sobre otros sistemas planeta-luna,
identificando el modelo abstracto con stos. (Cfr. 2009, p. 271).

2
Vale la pena efectuar la siguiente precisin. En 1988, p. 74-75, Giere caracteriza el proceso de interpretacin
como el vnculo de smbolos matemticos con trminos generales, tales como posicin, masa, fuerza, etc. Es
decir, A se interpreta como B, donde A es un smbolo matemtico y B un trmino general. En 2009, p. 71, que
es el texto referido en las lneas, el proceso de interpretacin no caracteriza A como un smbolo matemtico
sino como un elemento de un sistema abstracto. Este cambio resulta importante si se considera la critica
efectuada por Thomson-Jones (2012, p. 763) a la concepcin de las teoras desarrollada por van Fraassen y P.
Suppes, que se funda en la identificacin de los modelos tericos con modelos matemticos. En su crtica,
Thomson-Jones exhibe un conjunto de modelos propios de la biologa que no emplean elementos matemticos.
De modo que, si los modelos tericos de la concepcin semntica son modelos matemticos, dichos modelos no
pueden dar cuenta de teoras, tales como la teora de evolutiva. Si tal como Giere 1988 sugiere, la interpretacin
es un proceso que se vincula exclusivamente con smbolos matemticos, entonces los modelos tericos son
modelos matemticos y la crtica de Thomson-Jones adviene tambin sobre Giere.
Adems del cambio en la caracterizacin del proceso de interpretacin, tambin puede leerse Es tentador
asimilar tales modelos a entidades matemticas, ya que su estructura abstracta se caracteriza matemticamente (F
=-kx). Pero esto no funcionara para todos los modelos abstractos. Los modelos geolgicos de las placas
tectnicas son igualmente abstractos pero cualitativos (2010, p. 278)
Sin embargo, Giere no sostiene que los modelos tericos son evaluados directamente con los datos,
que son parte del mundo, sino con modelos de datos. En sus palabras:

Los modelos representacionales completamente interpretados son probados en comparacin con

modelos de datos, no directamente con los datos, que son parte del mundo. As que es una
comparacin de modelo a modelo, no una comparacin de modelo a mundo. El paso de los datos a los
modelos de datos requiere modelos de experimentos e implica estadsticas y otras tcnicas de
procesamiento de datos, informacin emprica de otras fuentes y muchas otras cosas ms. (2009, p.
271-272).

Tenemos una imagen en la que por medio de la interpretacin y la identificacin se conectan

modelos tericos con el mundo, pero qu relacin se da entre los modelos tericos y los sistemas
reales, a fin que los primeros puedan usarse para representar los segundos? Dado que cada
experimento tiene un margen de error, para Giere no hay un ajuste perfecto de los modelos tericos
al mundo sino imperfecto, lo que considera equivalente a declarar que la relacin que se da entre los
modelos tericos y los sistemas reales es la de la semejanza (2009, p. 273-274). Relacin que
considera, dada su vaguedad, debe ser calificada en aspectos y grados. Esto implica que un modelo
puede usarse para representar el mundo en la medida que tiene una semejanza con l.3

Procuremos recoger los elementos presentados en la siguiente figura.

3
Esta condicin, que puede expresarse de un modo ms formal con el siguiente esquema A representa B, si y
slo si A es semejante a B esquema que puede leerse en Giere 1988 es fuente de mltiples crticas. P. ej., M.
Surez (2003) sostiene en contra del esquema: 1) la vaguedad de la semejanza, cualquier cosa es semejante a
cualquier cosa en ciertos aspectos y grados; 2) mientras la semejanza es una relacin simtrica si A es semejante
a B, entonces B es semejante a A, la representacin no lo es De que A represente a B, no se sigue que B
representa a A. Giere 2002 y 2009, ha buscado defender su postura dejando de lado el esquema tradicional A
representa B, en el que tan slo se distingue el medio y el objetivo de la representacin, y sugiriendo, sobre la
base de una concepcin intencional, una frmula en la que se incorporan ms elementos, su frmula es: (1)
agentes intencionales; (2) usan modelos M; (3) para representar una parte del mundo, W; (4) para algn
propsito, P. Concepcin que, considera, legitima el uso de la semejanza como la relacin bsica entre los
modelos y el mundo. (Ibd., 2010, p. 269). Sin embargo, vale sealar que ha esta nueva frmula tambin se han
presentado contra-argumentos. P. ej., Adam Toon (2012) sostiene que el relato de Giere no da cuenta de qu es
lo que los cientficos hacen cuando usan los modelos para representar la realidad.
A diferencia de la relacin clsica entre teoras-mundo, donde los enunciados de la teora deben
corresponder al mundo, en la concepcin de teora emprica sostenida por Ronald Giere, los
enunciados de la teora son principios tericos que definen un modelo terico que es semejante a un
sistema real, dicha relacin de semejanza se hace explicita en los aspectos y grados en que se da por
intermedio de una hiptesis terica.

III. Por qu Giere rechaza la verdad y hasta dnde la rechaza?

Conviene distinguir dos momentos en esta observacin. Primero, el porqu rechaza la verdad
emprica en el caso de las leyes4. Segundo, el porqu rechaza el calificativo verdad para la
representacin que las teoras hacen de los sistemas del mundo. La respuesta a la primera cuestin,
puede considerarse como una justificacin de su adscripcin a la concepcin semntica; la segunda,
se genera por su adscripcin a la concepcin semntica. Luego de estos dos momentos har algunas
precisiones sobre compromisos realistas y agregar una cita til para un anlisis posterior.

Analicemos la primera cuestin. Segn Giere, si consideramos las leyes como enunciados generales y
universales que hacen afirmaciones sobre el mundo todas las leyes deberan ser consideradas falsas
(Cfr., 2002, p. 745). Esta situacin, deja abiertas dos opciones: 1) aceptar las leyes como vehculos
para hacer declaraciones empricas, en cuyo caso resultan ser falsas, por ende no gozan de una verdad
emprica, que es la posicin asumida por Nancy Cartwright en su texto How the Laws of Physics Lie
(1983); o 2) no considerarlas como vehculos para hacer declaraciones empricas, en cuyo caso,
pueden conservar un valor de verdad aunque no de verdad emprica. Giere asume la segunda opcin
Una mejor solucin, pienso, es mantener los enunciados legales simples, pero entenderlos como
parte de la caracterizacin de un modelo abstracto y, as, como verdaderos en l. (2002, p. 749).

Para Giere, dado que no es posible otorgar una verdad emprica a las leyes es preferible negarles su
contenido emprico y otorgarles un tipo de verdad semntica, en la que las leyes, en tanto enunciados,
resulten verdaderas respecto de un modelo abstracto. sta es una de las razones que le llevan a
adscribirse a la concepcin semntica de las teoras. En sus palabras:

...si son entendidas como enunciados que hacen declaraciones directamente sobre el mundo, todas las
leyes del movimiento y fuerza que se encuentran escritas, son falsas, hecho que, por decir lo menos,
resulta incomodo. sta es, en gran parte, la razn por la que argumento que las leyes deben ser
interpretadas como proveyendo definiciones de varios modelos, los cuales son entidades abstractas no
lingsticas. (1988, p. 84).

Analicemos la segunda cuestin. Dado que en la imagen de Giere la representacin del mundo es
llevada a cabo por modelos tericos y no por enunciados, tenemos que esta relacin representacional
de los modelos para con el mundo no puede ser calificada de verdadera.

4
El trmino verdad emprica, lo he encontrado en por F. Suppe (1974) y es distinto a la verdad semntica.
Verdad emprica es un calificativo que presupone el mundo real, cuando ste es uno de los mundos posibles
que satisface el conjunto de enunciados. Es decir, si el mundo satisface un conjunto de enunciados, adems de
ser un caso de verdad semntica, es el caso de verdad emprica.
Giere sostiene una postura respecto de qu tipo de entidades pueden ser portadores de verdad, es
decir, qu tipo de entidades pueden ser consideradas como verdaderas. En su concepcin, las
entidades lingsticas son los vehculos de la verdad, de modo que los modelos tericos, en tanto
entidades no lingsticas, no son el tipo de cosas a las que podemos adscribir el epteto verdaderas
Sin embargo, la relacin de verdad entre el modelo y el sistema real no puede ser de verdad o
falsedad puesto que ninguno de ellos constituye una entidad lingstica; por lo tanto, debe ser de otra
ndole. (Giere, 1988, p. 80). La postura de Giere es que la verdad es una propiedad de los
enunciados (en tanto lingsticos) y no de los objetos o conceptos, de las representaciones o vivencias.
Es una propiedad exclusiva de los enunciados que describen, aunque, vale aclarar, no de los que
describen la realidad, puesto que en su concepcin de las teoras los principios tericos (que son
enunciados) son verdaderos respecto de los modelos tericos no de la realidad.

Conviene precisar que esta postura respecto de los portadores de verdad, hace que las teoras, en
tanto se componen no slo de modelos sino tambin de entidades lingsticas, a saber las hiptesis
tericas, sean portadoras de verdad. Sin embargo, esto no enlaza a Giere con el realismo semntico si
por ste debemos entender, tal como lo propone Antonio Diguez, el que las teoras cientficas son
verdaderas o falsas en funcin de su correspondencia con la realidad, aunque s, si seguimos la definicin del
mismo autor, con un realismo terico, puesto que las teoras cientficas son susceptibles de verdad o
falsedad. (Cfr. Diguez, 1998, p. 79).

Para nuestro anlisis general, conviene citar las siguientes palabras:

El que las hiptesis tericas puedan ser verdaderas o falsas resulta de escasas consecuencias. Afirmar
que una hiptesis es verdadera equivale a afirmar ni ms ni menos que un cierto tipo y grado de
semejanza existe entre el modelo y el sistema real. Por lo tanto, podemos olvidar la verdad y enfocarnos
en los detalles de la semejanza. Una teora de la verdad no es prerrequisito para una adecuada teora
de la ciencia. (Giere, 1988, p. 81).

La cita anexada viene acompaada de una nota de pgina que expresa un tipo de predileccin por la
teora de la redundancia de la verdad.

La excepcin, como muchos filsofos habrn notado, es la teora de la redundancia de la verdad de

acuerdo a la cual el contenido de cualquier declaracin, S, es exactamente la misma que la del
enunciado metalingstico S es verdadera. En este enfoque la principal funcin del predicado es
verdadero es facilitar el ascenso semntico, que es, hablar sobre las declaraciones mismas en lugar de
hacerlo directamente sobre los objetos no lingsticos. (p. 286).

IV. Dos empleos distintos del concepto verdad en Giere

En este punto, quiero precisar dos usos distintos que hace Giere del trmino verdad de forma
indistinta. Analicemos la siguiente cita que nos es til para, re-confirmar casi todo lo dicho en el
anterior acpite y, presentar los dos usos.

Tampoco podemos invocar la verdad como la relacin deseada entre los modelos y el mundo. Ya sean
abstractos o fsicos los modelos son objetos no entidades lingsticas, aunque los modelos abstractos
pueden ser caracterizados usando recursos lingsticos. As, asumiendo que la verdad y la falsedad son
 propiedades slo de entidades lingsticas, los modelos mismos no son candidatos a la verdad o la
falsedad. Por otro lado, las hiptesis, que son afirmaciones de que un modelo se ajusta al mundo ms o
menos bien, son entidades lingsticas y as pueden ser verdaderas o falsas. (2009, p. 273).

En las primeras tres lneas se caracteriza la verdad como una relacin didica relacin deseada entre
modelos y el mundo, aunque se haga nfasis en que es una relacin que no puede invocarse. Este
uso puede encontrarse en otros documentos de Giere: la relacin entre el modelo y el sistema real
no puede ser de verdad o falsedad puesto que ninguno de ellos constituye una entidad lingstica; por
tanto, debe ser de otra ndole. (1988, p. 80).

Analicemos este empleo. Un poco de abstraccin nos concede precisin. Sea D las relaciones didicas
representacionales; T la relacin de verdad; sea L el predicado de ser un enunciado; sea el M el
predicado de ser un modelo terico representacional, es decir un modelo de algo; y sea W la
predicado de ser una entidad del mundo. Segn las lneas indicadas tenemos que:

R-1 x y (T(x, y) D(x, y))

R-2 x ((Mx Wx) Lx)
R-3 x y (T(x, y) Lx)
R-4 x y (Mx (D(x, y) Wy))

R-1 sostiene que T es una relacin didica D. R-2 plantea que si de una entidad se predica que es un
modelo o una entidad del mundo, entonces no podemos predicar que es un enunciado. R-3 seala
que el primer elemento del par tiene que ser un enunciado para que pueda darse una relacin de
verdad; aqu, ser un enunciado es un requisito para que pueda darse la relacin de verdad. R-4, indica
que si un elemento es un modelo terico representacional, entonces est en una relacin didica con
una entidad del mundo.

El segundo empleo aparece en las lneas restantes. Segn ste la verdad no es una relacin entre una
entidad lingstica y el mundo, sino un predicado sobre entidades lingsticas. Este uso, que es ms
cercano al uso ordinario, puede encontrarse en otros documentos suyos: la hiptesis terica es,
para m, una entidad lingstica; a saber: un enunciado que afirma cierto tipo de relacin entre el
modelo y un sistema real dado (o una clase de sistemas reales). As pues, una hiptesis terica es
verdadera o falsa segn se mantenga o no la relacin afirmada. (Giere, 1988, p. 80).5

Analicemos este empleo. En este caso T es el predicado de ser verdadero; L es el predicado de ser un
enunciado; D las relaciones didicas representacionales; H el predicado ser una hiptesis terica; M el
de ser un modelo terico; W, ser una entidad del mundo; y A la accin de afirmar semejanza. Segn
esto, tenemos que:

C-1 x (Hx Lx)

C-2 x y z (Hx (A(x, y, z) (My Wz)))

5
Tambin puede encontrarse en (Cfr. 1988, p. 80; 1999, p. 7; 2002, p. 749).
 C-3 X (T(X) (X=L))
C-4 X (T(X) (x y (Xx D(x,y))

C-1 sostiene que toda entidad que sea H es un enunciado L. C-2, indica que H afirma una relacin
didica, si y slo si los elementos que la componen pertenecen uno al modelo y otro al mundo. C-3,
que es un predicable de segundo nivel, sostiene que la verdad slo es una predicado de las entidades
lingsticas. C-4, que tiene un predicable de segundo nivel, expresa que verdadero es un concepto que tiene
como argumento otro argumento, y que ese ltimo argumento se aplica a una entidad que est en una relacin
con algo ms.

Advirtase, primero, que mientras en la caracterizacin de la verdad como una relacin sta es una
relacin que tiene como argumento objetos R-3; en la verdad como un predicado, sta tiene como
argumento otro argumento, es decir, es un predicado de segundo nivel. C-3. Segundo, que mientras
en la caracterizacin de la verdad como una relacin, es una condicin que un miembro de los
elementos de la relacin didica sea una entidad lingstica para que se d la relacin de verdad R-3;
en la verdad como un predicado es una condicin que el elemento del que se predica la verdad sea
una entidad lingstica C-3. Tercero, que mientras en la caracterizacin de la verdad como una
relacin la verdad es un predicado didico R-3; en la verdad como un predicado, es un predicado
mondico C-3.

V. Algunas consideraciones en torno a la teora redundancia de la verdad, la verdad como

relacin representacional y la verdad como propiedad de los enunciados

Tericamente la concepcin de la verdad como redundancia consiste tal como lo seala Giere en
decir que el predicado gramatical es verdadero es vacuo porque no dice nada nuevo. Segn esto, la
proposicin Es verdad que Isaac fue becado es equivalente en contenido a la proposicin Isaac fue
becado; y Es falso que Isaac fue becado es equivalente en contenido a la proposicin Isaac no fue
becado. En sntesis, decir que una proposicin es verdadera equivale a aseverar la proposicin
misma.6

La relacin de equivalencia propuesta por la teora de la redundancia puede ser presentada mediante
el siguiente esquema:

1. s es verdadera s

Dnde la letra p es una variable del nombre de un enunciado -meta-enunciado-, mientras p una
variable que est en lugar de un enunciado. El esquema tambin vincula un signo relacional que
permite establecer la relacin de equivalencia entre las variables. Desde luego, si se acepta esta

6
La primera formulacin elaborada de la llamada teora de la redundancia de la verdad se adjudica a Frank. P.
Ramsey (1927), pero la idea de equivalencia que subyace en ella puede encontrarse con mucha anterioridad.
Siguiendo a Alfonso Garca Surez: A la base de las teoras de este tipo se encuentra la llamada tesis de la
equivalencia. Encontramos varias formulaciones de esta tesis a lo largo de la historia de la filosofa. Por lo que
yo s, su primera formulacin se encuentra en Leibniz: stas coinciden: la proposicin L y la proposicin L es
verdadera. (Frege, 1918-9: 55). (1997, p. 213).
equivalencia, resulta evidente que el predicado es verdadero es vacuo, pues su funcin es afirmar la
verdad del enunciado, que es equivalente a afirmar el enunciado mismo.

Analicemos la teora deflacionaria de la verdad de frente a los dos usos que hace Giere del concepto
verdad. Si lo que sostiene esta teora es que cualquier cosa que pueda decirse con el predicado es
verdad puede decirse tambin sin l, tenemos que sostiene que: S1) la verdad es un predicado
mondico, puesto que se emplea para predicar algo de una sola entidad; S2) algunas entidades a las
que se atribuye el predicado verdad son lingsticas; y S3) el predicado es verdadero es redundante.
Con respecto a la caracterizacin de la verdad como una relacin, tenemos que la teora de la
redundancia se opone a ella, puesto que: 1) presupone la verdad como una relacin mondica y no
didica, es decir no acepta R3, y 2) adems, si tenemos R3, no es claro en qu medida se pueda
sostener S3, es decir, que la verdad pueda considerarse redundante. Con respecto a la
caracterizacin de la verdad como un predicado de las entidades lingsticas, tenemos que concuerda
con las caractersticas 1 y 2, y 3.

VI. Conclusiones

Respecto a la propuesta terica de Giere:

1. Hay un uso equivoco del concepto verdad cuando se alude a l como una relacin entre el
lenguaje y el mundo. Esto se hace notable cuando se sostiene una teora de la redundancia
de la verdad.
2. La caracterizacin de Giere confunde relaciones de primer orden con predicados de segundo
orden.
3. A la luz de la propuesta de Giere respecto de lo que es una teora emprica la alusin al
concepto verdad como una relacin no tiene ninguna secuela, pues los elementos que
vincula en su caracterizacin no admiten dicha relacin. Recordemos que la presenta como
una relacin que no puede invocarse.

Respecto a la caracterizacin general del concepto verdad, en las teoras de la: redundancia,
coherencia, correspondencia, pragmtica y semntica:

1. No es un trmino que denote a una relacin representacional, la verdad no es una relacin

representacional, sino un predicado mondico que se aplica a un tipo de entidad,
habitualmente lingstica. Mientras que los conceptos semejanza e isomorfismo expresan
relaciones, el concepto verdad tiene una naturaleza diferente.7
2. Funciona como un predicado de segundo nivel, es un predicado de conceptos no de objetos.

7
La caracterizacin de la verdad como una relacin tambin puede encontrarse en Surez: Puede haber una
gran variedad de medios por los que la representacin hace su trabajo: isomorfismo y la similitud son slo dos
de las ms comunes, pero hay otros, como ejemplificacin, creacin de instancias, la convencin, la verdad.
(2003, p. 229), que pone la verdad al nivel de la semejanza y el isomorfismo.
 3. Se atribuye a una entidad dependiendo de la relacin que guarda con otra entidad, sea de
coherencia, correspondencia, satisfaccin, etc.8

BIBLIOGRAFA

- Diguez, J. A. (2003). Realismo cientfico, Servicio de Publicaciones Universidad de Mlaga,

Mlaga, 1997.
- Diez, J. y Carlos Ulises Moulines. (1997). Fundamentos de filosofa de la ciencia, Editorial Ariel,
Espaa, 1997.
- Garca, Alfonso Surez. (1998). Modos de significar, Editorial Tecnos, Espaa, 1998.
- Giere, R. (1988). Explaining Science. A Cognitive Approach, University of Chicago Press,
Chicago.
- _______ (1999). Using Models to Represent Reality, L. Magnani et al. Edits, Model-Based
Reasoning in Scientific Discovery, N.York/Dordrecht, Kluwer, pp 41-57.
- _______ (2002). How Models Are Used to Represent Reality, Philosophy of Science, Vol. 71,
No. 5, December, 2004, pp. 742-752.
- _______ (2010), An agent-based conception of models and scientific representation,
Synthese, 172(2), p. 269-281.
- Racines, Jairo Isaac (2013). Pueden ser las teoras cientficas portadoras de verdad?; Un acercamiento
al problema de la verdad en las teoras cientficas, a travs del anlisis de la concepcin heredada y de la
concepcin semntica en Bas c. van Fraassen y Ronald Giere, Tesis de maestra en filosofa,
Universidad del Valle (2013).
- Ramsey, F. P. (1927). Facts and Propositions, Proceedings of the Aristotelian Society,
Supplementary Volumes, Vol. 7, Mind, Objectivity and Fact (1927), pp. 153-206.
- Surez, M. (2003). Scientific representation: Against similarity and isomorphism,
International Studies in the Philosophy of Science, 17(3), pp.225244.
- Suppe, F. (1974). La estructura de las teoras cientficas, UNED, Madrid. 1990.
- Thomson-Jones, M. (2006). Models and the Semantic View, Philosophy of Science, 73, pp. 524-
535.
- _______ (2012). Modeling without Mathematics, Philosophy of Science, Vol. 79, No. 5,
December, 2012, pp. 761-772.
- Toon, Adam. (2010). Models as Make-Believe, in ROMAN FRIGG and Matthew C. Hunter
(Eds.) Beyond mimesis and convention. Boston Studies in the Philosophy Of Science, Springer,
2010.
- Van Fraassen. (1985). On the Question of Identification of a Scientific Theory (A Reply to
van Fraassen`s Concept of Empirical Theory by Prez Ransanz), Crtica, 51, XVII, pp. 21-
25.

8
Una posible excepcin a estas conclusiones se dara en la teora proo-racional de la verdad, segn la cual, la
expresin es verdadero es una pro-oracin, y las pro-oraciones son proformas que pueden ocupar las
posiciones que podran ocupar las oraciones. Puesto que, segn esta teora el predicado gramatical es verdad
no predica nada de una supuesta entidad (una oracin, un enunciado, una proposicin), sino que es una pro-
oracin.