INSTITUTO UNIVERSITARIO SALESIANO

PADRE OJEDA

TEORA DEL CONOCIMIENTO II

Trabajo para la asignatura de Teora del Conocimiento II de la carrera de Educacin mencin

Filosofa, presentada al profesor JORGE Carlos
Por los estudiantes LEON Jos y FIGUEIRA Yackeline

Los Teques, 07 de mayo de 2015

Resumen

El problema central una definicin satisfactoria de la verdad.

La discusin se centrara en la nocin de verdad. El problema principal es encontrar una
definicin satisfactoria de esta nocin. La definicin que buscamos no pretende especificar el
significado de una palabra familiar que se utiliza ahora para denotar una nocin nueva. Lo que
se pretende es dar con el significado actual de una vieja nocin.
En segundo lugar, tenemos que determinar de qu depende la correccin formal de la
definicin. Tenemos que describir la estructura formal del lenguaje en el que daremos la
definicin.
La extensin del trmino verdadero.
El predicado verdadero se utiliza a veces para referirse a fenmenos psicolgicos
lingsticos y oraciones, y a veces a ciertas entidades denominadas preposiciones. Al hablar
de oraciones, nos referimos a una oracin declarativa.
Por supuesto, el hecho de que nos centremos aqu principalmente en la nocin de
verdad para las oraciones no excluye la posibilidad de una extensin posterior de esta nocin a
otros tipos de objeto.
El significado del termino verdadero
Son mucho ms serias las dificultades relacionadas con el problema del significado (o
la intensin) del concepto de verdad.
La Palabra verdadero, no es en absoluto inequvoca. En las obras y las discusiones de
los filsofos encontramos que se manejan diferentes concepciones de la verdad y la falsedad, y
tenemos que indicar qu concepcin nos servir de base en esta discusin.
Nos gustara que nuestra definicin hiciera justicia a las intuiciones que se desprenden
de la concepcin aristotlica clsica de verdad:
Decir de lo que es que no es, o de lo que no es que es, es falso y decir de lo que es
que es, o de lo que no es que no es, es verdadero.

Metafsica
Si nos adaptamos a la terminologa filosfica moderna, podramos expresar esta
concepcin mediante la conocida frmula:
La verdad de una oracin consiste en su adecuacin (o correspondencia) con la
realidad.
Podramos utilizar posiblemente para el mismo propsito la siguiente frase: Una
oracin es verdadera si designa un estado de hecho existente.
Sin embargo, todas estas formulaciones pueden dar lugar a malentendidos, y ninguna
de ellas es suficientemente clara y precisa. Tenemos, por lo tanto, que buscar una expresin
ms precisa de nuestras intuiciones.
Un Criterio para la educacin material de la definicin
En primer lugar, desde el punto de vista de la gramtica de nuestro lenguaje una
expresin de la forma "X es verdadera" no llega a ser una oracin con significado si no
sustituimos la "X" por una oracin o con cualquier otra cosa que no sea un nombre, puesto que
el sujeto de una oracin puede ser nicamente un nombre o una expresin que funcione como
un nombre.
En segundo lugar, las convenciones fundamentales con respecto al uso de un
lenguaje exigen que siempre que se nombre un objeto, tenemos que utilizar el nombre de
dicho objeto, y no el objeto. Por lo tanto, si queremos decir algo de una oracin tenemos que
utilizar el nombre de esta oracin y no la oracin misma.
Hay que aadir que el poner una oracin entre comillas no es la nica forma de
convertirla en un nombre.

Tenemos que generalizar ahora el procedimiento. Tmese una oracin cualquiera, que
sustituiremos por la letra "p". Formemos el nombre de esta oracin y sustituymoslo por otra
letra, a saber "X". Nos preguntamos ahora cul es la relacin lgica entre las dos oraciones "X
es verdadera" y "p". Est claro que segn la concepcin bsica de la verdad estas oraciones
son equivalentes. En otras palabras, se produce la siguiente equivalencia: (T) X es verdadera
si, y slo si, p.
Llamaremos a cualquiera de estas equivalencias "una equivalencia de la forma (T)."
Ahora si podemos definir con precisin las condiciones bajo las que consideramos el
uso y la definicin del trmino verdadero respecto a la adecuacin material; queremos
utilizar el trmino "verdadero" de tal manera que se puedan establecer todas las equivalencias
de la forma (T), y podremos decir que una definicin de la verdad es "adecuada", si todas estas
equivalencias se siguen de ella.
Hay que sealar que no se puede considerar una definicin de la verdad ni la expresin
(T). Ni a ninguna instancia de la forma (T). Podemos nicamente afirmar que cada una de las
equivalencias de la forma (T) obtenida al sustituir "p" por una oracin particular, y "X" por el
nombre de dicha oracin, se podra considerar como una definicin parcial de la verdad, que
da cuenta de la verdad de una oracin individual.
La verdad como concepto semntico.
La semntica es una disciplina que, hablando en trminos generales, se ocupa de
ciertas relaciones entre las expresiones de un lenguaje y los objetos "a los que se refieren"
dichas expresiones. Como ejemplos tpicos de conceptos semnticos podramos mencionar los
conceptos de designacin, satisfaccin y definicin
Mientras que las palabras "designar", "cumplir" y "definir" expresan relaciones, la
palabra "verdadero" tiene una naturaleza lgica diferente. Expresa una propiedad de ciertas
expresiones, esto es, de oraciones. No obstante, es fcil comprobar que todas las

formulaciones ofrecidas anteriormente y destinadas a explicar el significado de esta palabra se

referan no slo a las oraciones mismas, sino tambin a los objetos a los que "aludan" dichas
oraciones, o tal vez a "los estados de hecho" que describan. Es ms, la forma ms natural y
ms sencilla de dar con una definicin exacta de la verdad implica el uso de otras nociones
semnticas tales como la de satisfaccin. Es por ello por lo que consideramos que el concepto
de verdad del que estamos tratando es un concepto semntico, y el problema de definir la
verdad aparece ntimamente relacionado al problema ms general de establecer los
fundamentos de la semntica terica.
Hay que decir que la semntica tal y como se la concibe en este escrito es una
disciplina sobria y modesta que no tiene pretensiones de ser una medicina de patente universal
para todos los males de la humanidad, bien sean reales o imaginarios.
Lenguaje con una estructura especificada.
Existen ciertas condiciones generales bajo las que la estructura de un lenguaje se
considera perfectamente especificada. Para especificar la estructura de un lenguaje, tenemos
que caracterizar de forma inequvoca la clase de palabras y expresiones que van a ser
significativas. En concreto, tenemos que indicar todas las palabras que hayamos decidido
utilizar sin definirlas previamente, a las que se denomina "trminos nos definidos (o
primitivos)"; adems tenemos que establecer reglas de definicin para introducir trminos
definidos o nuevos.
Hay que establecer los criterios que permitan distinguir dentro de una clase de
expresiones aquellas a las que denominados "oraciones". Y hay que formular las condiciones
bajo las que una oracin del lenguaje puede aseverarse.
Si al especificar la estructura de un lenguaje, nos referimos nicamente a la forma de
las expresiones implicadas, se dice del lenguaje que es un lenguaje formalizado. En un

lenguaje de este tipo las nicas oraciones que se pueden admitir como vlidos son los
teoremas.
Por otro lado, podemos imaginar la construccin de lenguajes que tengan una
estructura especificada con toda exactitud sin ser lenguajes formalizados. En un lenguaje de
este tipo la asercin de las oraciones, por ejemplo, podra depender no siempre de su forma,
sino a veces de factores no lingsticos. En realidad, sera interesante e importante construir un
lenguaje de este tipo, y en concreto, un lenguaje que fuera capaz de permitir el desarrollo de
una rama extensa de la ciencia emprica, puesto que justificara la esperanza de que los
lenguajes con una estructura especificada puedan finalmente reemplazar al lenguaje cotidiano
en el discurso cientfico.
El problema de la definicin de la verdad cobra un significado esencial y se puede
solucionar de forma rigurosa slo para aquellos lenguajes que tengan una estructura
exactamente especificada.
La antinomia del mentiroso.
Para descubrir algunas de las condiciones ms especficas que deben cumplir los
lenguajes en los que vamos a dar una definicin de verdad, es aconsejable empezar
ocupndonos de la antinomia que directamente implica la nocin de verdad, a saber, la
antinomia del mentiroso.
Se debera subrayar que las antinomias han desempeado un papel decisivo a la hora
de establecer el fundamento de las ciencias modernas deductivas. Y tanto las antinomias de
tipo terico, y en concreto la antinomia de Russell (de la clase de todas las clases que nos son
miembros de ellas mismos), constituyeron el comienzo de todos los intentos fructferos para
llevar a cabo una formalizacin consistente de la lgica y las matemticas, de tal forma que la
antinomia del mentiroso, as como otras antinomias han hecho posible la construccin de la
semntica terica.

La inconsistencia de los lenguajes semnticamente cerrados

1. Hemos asumido de forma implcita que el lenguaje en el que se construye la
antinomia contiene, adems de sus expresiones, los nombres de dichas expresiones,
as como los trminos semnticos como el trmino "verdadero" para referirse a las
oraciones de este lenguaje; hemos asumido igualmente que todas las oraciones que
determinan el uso adecuado de este trmino se pueden enunciar en este lenguaje.
Un lenguaje que tenga todas estas caractersticas es un lenguaje "semnticamente
cerrado"
2. Hemos supuesto que en este lenguaje rijan las leyes habituales de la lgica.
3. Hemos supuesto que se pueda formular y afirmar en nuestro lenguaje una premisa
emprica del tipo de la afirmacin (2) que ha aparecido en esta argumentacin.
Cabe sealar que el tercer presupuesto no es esencial ya que es posible reconstruirla
antinomia del mentiroso sin su ayuda los presupuestos (1) y (2) s son esenciales. Dado que
cualquier lenguaje que cumpla estos dos presupuestos es inconsistente, tenemos que rechazar
uno de ellos.
No merece la pena hacer hincapi en las consecuencias que tendra el rechazar el
segundo presupuesto, esto es, el tener que cambiar la lgica.
Vamos a considerar slo la posibilidad de rechazar el primer presupuesto. Tenemos la
intencin de no utilizar ningn lenguaje que sea semnticamente cerrado en el sentido dado.
Esta restriccin es naturalmente inaceptable para aquellos que creen que existe
nicamente un lenguaje "genuino" (o, al menos, que todos los lenguajes "genuinos" son
traducibles entre s).
Los lenguajes (ya sean lenguajes formalizados o -lo que es ms frecuente- fragmentos
del lenguaje cotidiano) que se utilizan en el discurso cientfico no tienen que ser
semnticamente cerrados. Esto resulta obvio siempre que los fenmenos lingsticos y, en

concreto, las nociones semnticas no sean el objeto de una ciencia; en tal caso el lenguaje de
dicha ciencia no tiene que contener ningn trmino semntico.
Al considera el caso del lenguaje cotidiano, a primera vista, parecera que este lenguaje
satisface los dos primeros presupuestos, y que, por lo tanto, debe ser inconsistente. Pero el
caso, es que, nuestro lenguaje cotidiano carece ciertamente de una estructura perfectamente
definida. No sabemos a ciencia cierta qu expresiones son oraciones, y es difcil saber cules
son las oraciones que podemos acertar. Por ello, el problema de la consistencia no tiene un
significado preciso con respecto a este lenguaje.
Lenguaje-objeto y metalenguaje.
El primero de estos lenguajes es el lenguaje "del que se habla" y que es el objeto de
esta discusin; El segundo es el lenguaje "con el que hablamos" del primer lenguaje, en
concreto, construir la definicin de verdad para el primer lenguaje. Denominaremos al primer
lenguaje "lenguaje objeto" y al segundo "metalenguaje".
Los trminos "lenguaje objeto" y "metalenguaje" tienen nicamente un sentido
relativo.
El vocabulario del metalenguaje viene determinado en gran medida por las condiciones
previamente establecidas bajo las que una definicin de verdad se considerara materialmente
adecuada. Esta definicin, tal y como recordamos, tiene que implicar todas las equivalencias
de la forma (T):
(T) X es verdadera si, y slo si, p
El smbolo "p" en (T) sustituye a una oracin cualquiera de nuestro lenguaje objeto.
Por lo tanto, todas las oraciones que aparezcan en el lenguaje objeto tienen que aparecer
tambin en el metalenguaje, el metalenguaje tiene que contener al lenguaje objeto en tanto que
parte constituyente.

El smbolo "X" en (T) representa el nombre de la oracin al que sustituye "p". Est
claro que el metalenguaje tiene que ser lo suficientemente rico como para proporcionarnos la
posibilidad de construir un nombre para cada una de las oraciones del lenguaje objeto. El
metalenguaje debe obviamente contener trminos de un carcter lgico general, tales como la
expresin "si, y slo si"
Es preferible introducir trminos semnticos (referidos al lenguaje objeto) en el
metalenguaje nicamente por definicin. Puesto que, si se cumple este postulado, la definicin
de la verdad, o de cualquier otro concepto semntico, cumplir con la funcin que de forma
intuitiva esperamos de cualquier definicin; esto es, explicar el significado del trmino que se
est definiendo haciendo uso de trminos cuyo significado sea completamente claro y
unvoco.
Condiciones para una solucin del principal problema.
La solucin al problema estas lejos de ser obvia, es a veces positiva y a veces negativa.
Depende de las relaciones formales entre el lenguaje objeto y su metalenguaje. Depende del
hecho de si el metalenguaje en su parte lgica es esencialmente ms rico que el lenguaje
objeto o no lo es. Si nos limitamos a los lenguajes basados en la teora lgica de tipos, la
condicin que el metalenguaje tiene que cumplir para ser "esencialmente ms rico" que el
lenguaje objeto es que contenga variables de un tipo lgico ms elevado que las del lenguaje
objeto. Si no se cumple la condicin de "riqueza esencial", se puede mostrar que es posible la
interpretacin del metalenguaje en el lenguaje objeto.
As vemos que la condicin de "riqueza esencial" es necesaria para la posibilidad de
una definicin satisfactoria de la verdad en el metalenguaje. Tenemos que incluir el trmino
"verdadero", o algn otro trmino semntico, en la lista de trminos sin definir del
metalenguaje, as como definir las propiedades fundamentales de la nocin de verdad en una
serie de axiomas. No hay nada malo en un procedimiento axiomtico, y puede resultar til
para distintos propsitos. Sin embargo, se puede evitar dicho procedimiento. Puesto que la

condicin de la "riqueza esencial" del metalenguaje tiene que ser, no slo necesaria, sino
tambin suficiente para la construccin de una definicin satisfactoria de la verdad.
(Un esbozo) de la construccin de la definicin
Una definicin de verdad se puede obtener partiendo de otra nocin semntica, a saber,
la nocin de satisfaccin.
La satisfaccin es una relacin entre objetos arbitrarios y ciertas expresiones
denominadas "funciones predicativas". Se trata de expresiones tales como "x es blanca", "x es
mayor que y", etc. Su estructura formal es parecida a la de las oraciones; sin embargo, pueden
contener las llamadas variables libres (como la "x" y la "y" en "x es mayor que y") que no
aparecen en las oraciones.
Por lo que respecta a la nocin de satisfaccin, vamos a intentar definirla diciendo que
algunos objetos dados satisfacen una funcin dada si esta ltima se convierte en una oracin
verdadera al sustituir la variable libre que aparece en ella por el nombre de un objeto dado.
Para obtener una definicin de satisfaccin es aconsejable aplicar de nuevo un
procedimiento recursivo. Indicamos los objetos que satisfacen las funciones predicativas ms
simples; despus pasamos a enunciar las condiciones en las que los objetos dados satisfacen
una funcin compleja -suponiendo que sabemos qu objeto satisface las funciones ms
simples a partir de las que se han creado las ms complejas.
Es aplicable automticamente tambin a las funciones predicativas especiales que no
contienen variables libres, por ejemplo, a las oraciones. Para una oracin slo son posibles dos
casos: o bien todos los objetos satisfacen una oracin, o bien ningn objeto satisface dicha
oracin. Llegamos a la definicin de verdad y falsedad diciendo que una oracin es verdadera
si todos los objetos la satisfacen y es falsa si ningn objeto la satisface.

Con este somero esbozo no queda claro dnde y cmo aparece el presupuesto de
"riqueza esencial" del metalenguaje en esta discusin; la situacin queda clara nicamente si la
construccin se lleva a cabo de modo formal y detallado.
Consecuencia de la definicin.
Se ha demostrado que la definicin no es solamente formalmente correcta, sino
tambin materialmente adecuada. Es importante sealar que las condiciones necesarias para
que se d la adecuacin material de la definicin determinan nicamente la extensin del
trmino "verdadero". La concepcin semntica de la verdad no nos ofrece la posibilidad de
elegir entre distintas definiciones de esta nocin que no sean equivalentes entre s.
Adems podemos probar con su ayuda la ley de la contradiccin y la del tercio excluso,
que son tan caractersticas de la concepcin aristotlica de la verdad.
Se pueden obtener resultados ms importantes aplicando la teora de la verdad a los
lenguajes formalizados de una clase muy extensa de disciplinas matemticas; slo quedan
excluidas de esta clase las disciplinas de carcter elemental y que tienen una estructura lgica
muy elemental. Resulta que para una disciplina de esta clase la nocin de verdad nunca
coincide con la de demostrabilidad; puesto que todas las oraciones que pueden deducirse son
verdaderas, pero hay oraciones verdaderas que no son deducibles.
Extensin de estos resultados a otras nociones semnticas.
Cada una de las nociones antes mencionadas se puede analizar siguiendo las pautas
marcadas al analizar la nocin de verdad. Se puede mostrar que cada una de dichas nociones,
cuando se utiliza en un lenguaje semnticamente cerrado, segn esos criterios, lleva
necesariamente a una contradiccin; los resultados obtenidos al ocuparnos de una nocin
semntica en concreto son aplicables al problema general de los fundamentos de la semntica
terica.

Nos hemos centrado aqu en la teora de las nociones semnticas relacionadas con un
lenguaje objeto individual. Sin embargo, podramos plantearnos tambin el desarrollo de una
semntica general aplicable a una clase extensa de lenguajes objetos; no obstante se plantean
nuevas dificultades a este respecto, que no vamos a tratar aqu. Sealar simplemente que el
mtodo axiomtico puede ser el ms apropiado para el tratamiento de este problema.
Es la concepcin semntica de la verdad la correcta?
Deberamos reconciliarnos con el hecho de que nos enfrentamos, no con un concepto,
sino con varios conceptos diferentes denotados por una sola palabra; deberamos intentar
aclarar estos conceptos lo mejor posible (mediante definiciones, un procedimiento axiomtico,
o de cualquier otra forma); para evitar posteriores confusiones, deberamos ponernos de
acuerdo para utilizar trminos diferentes para conceptos diferentes; y despus podramos
proceder a realizar un estudio detallado y sistemtico de todos los conceptos implicados, que
mostrara sus propiedades principales y sus relaciones mutuas.
Todava no se ha expresado ninguna de estas concepciones de forma inteligible e
unvoca. Esta situacin podra cambiar, y podra llegar el momento en el que nos
enfrentramos a distintas concepciones de la verdad incompatibles, pero igualmente claras y
precisas. Entonces, habra que abandonar el uso ambiguo de la palabra "verdadero", y habra
que introducir distintos trminos para que cada uno denotase una nocin diferente.
La correccin formal de la definicin de verdad propuesta.
Prcticamente todas las objeciones que se me han planteado no se refieren a la nocin
de verdad que he propuesto, sino a la concepcin semntica de la verdad en general.
Permtaseme citar un ejemplo tpico de dichas objeciones23. Al formular la definicin
utilizamos necesariamente conectores proposicionales tales como "si... entonces", "o", etc.
Aparecen en el definiens; y uno de ellos, a saber, la frase "si, y slo si", se utiliza generalmente
para relacionar el definiendum con el definiens. No obstante, est claro que el significado de

los conectores proposicionales se explica en lgica con ayuda de las palabras "verdadero" y
"falso"; por ejemplo, decimos que una equivalencia, esto es, una oracin de la forma "p si, y
slo si, q", es verdadera si uno o los dos miembros, es decir, las oraciones representadas por
"p.
Si esta objecin fuera vlida, no sera posible dar ninguna definicin correcta de la
verdad, ya que no se puede formular ninguna oracin compuesta sin hacer uso de los
conectores proposicionales, o de otros trminos lgicos definidos con su ayuda.
Afortunadamente, la situacin no es tan grave.
Estas afirmaciones caen fuera del sistema de la lgica, y no se deberan considerar
definiciones de los trminos implicados. No se formulan en el lenguaje del sistema, pero
aparecen como consecuencias especficas de la definicin de verdad dada en el metalenguaje.
Adems, estas afirmaciones no influyen en el desarrollo deductivo de la lgica en ningn
sentido, puesto que en tal desarrollo no se discute si una oracin dada es verdadera, lo nico
que interesa es si dicha oracin es demostrable.
Evidentemente esta definicin no contiene trminos semnticos. Sin embargo, el
crculo vicioso surge en la definicin nicamente cuando los definiens contienen o bien el
trmino mismo que se va a definir, u otros trminos definidos con su ayuda.
Tambin puedo decir que me inclino a pensar que los esquemas (T') y (T'') son
"inadmisiblemente largos". Y creo poder probar esta afirmacin con todo rigor con la siguiente
definicin: se dice que una expresin es "inadmisiblemente larga" cuando (1) carece de
sentido, y (2) cuando se ha obtenido a partir de una expresin significativa aadindole
palabras innecesarias.
Las reducciones de los trminos semnticos su posible eliminacin.
Se ha visto que esta concepcin consiste fundamentalmente en considerar a la oracin
X es verdadera equivalente a la oracin denotada por X. Por lo tanto el trmino

verdadero, cuando aparece en una oracin simple de la forma "X es verdadero", se puede
eliminar fcilmente, y la oracin misma, que pertenece al metalenguaje, puede ser
reemplazada por una oracin equivalente del lenguaje objeto. Lo mismo se puede decir de las
oraciones compuestas siempre que el trmino "verdadero" aparezca en ellas nicamente como
parte de la expresin de la forma "X es verdadero".
Por esta razn, algunos creen que el trmino "verdadero" en el sentido semntico se
puede eliminar siempre, y por ello la concepcin semntica de la verdad es estril e intil.
El tipo de eliminacin que aqu se discute no siempre se puede hacer. No se puede
hacer con las afirmaciones universales que expresan el hecho de que todas las oraciones de un
cierto tipo son verdaderas o que todas las oraciones verdaderas tienen una propiedad.
Por supuesto, dado que tenemos una definicin de la verdad, y puesto que toda
definicin nos permite sustituir el definiendum por su definiens, la eliminacin del trmino
"verdadero" en el sentido semntico es siempre tericamente posible. Pero dicha eliminacin
no ser el tipo de eliminacin sencilla que se ha discutido ms arriba y no consistir en
sustituir una oracin en el metalenguaje por una oracin en el lenguaje objeto.
La conformidad de la concepcin semntica de la verdad con el uso del sentido
comn y el uso filosfico.
La cuestin que se plantea es si la concepcin semntica de la verdad se puede
considerar en realidad una forma precisa de la vieja concepcin clsica de esta nocin.
Se ha cuestionado si la concepcin semntica refleja la nocin de la verdad en su
sentido comn y en su uso cotidiano. Estoy absolutamente convencido de que el significado
comn de la palabra "verdadero" es en cierta medida imprecisa, y de que su uso flucta de
alguna manera. El problema de asignar a esa palabra un significado fijo y exacto est
relativamente sin especificar, adems de que cualquier intento por resolver este problema
implica necesariamente una cierta desviacin respecto a la prctica del lenguaje cotidiano.

Dichas investigaciones se deberan llevar a cabo con un cuidado exquisito. Puesto que,
si preguntamos a un estudiante de enseanza media, o incluso a un hombre adulto inteligente
que carezca de conocimientos de filosofa, si una oracin es verdadera si se ajusta a la
realidad, o si designa un estado existente de cosas, puede ser que simplemente no entiendan la
pregunta.
La definicin en relacin con el problema filosfico de la verdad y sus distintas
tendencias epistemolgicas.
Se ha objetado que, la definicin formal de la verdad no tiene nada que ver con el
"problema filosfico de la verdad.
No creo que exista "el problema filosfico de la verdad". Creo que existen varios
problemas interesantes e inteligibles que afectan a la nocin de verdad, pero que se pueden
formular con total precisin y posiblemente se pueden resolver contando con una concepcin
exacta de dicha nocin.
Se le ha culpado a la definicin de verdad de no ser lo suficientemente filosfica, otras
de las objeciones que se le han planteado la han acusado de tener serias implicaciones
filosficas, siempre de naturaleza indeseable.
En realidad, la definicin semntica de la verdad no implica nada respecto a las
condiciones en la que se puede afirmar una frase. Implica nicamente que, siempre que
afirmemos o neguemos esta oracin, tenemos que estar dispuestos a afirmar o negar la
siguiente frase. Por lo tanto, podemos aceptar la concepcin semntica de la verdad sin tener
que renunciar a cualquier actitud epistemolgica que tuviramos previamente.
Me he extendido un poco en esta cuestin no porque la objecin que se me ha
planteado me parezca muy significativa, sino porque aquellos que, por distintas razones
epistemolgicas se sientan inclinados a rechazar la concepcin semntica de la verdad, tengan
en cuenta algunos puntos que han salido a relucir a lo largo de la discusin.

Los elementos metafsicos incluidos en la semntica.

A veces se ha acusado a la concepcin semntica de la verdad de llevar implcitos
ciertos elementos metafsicos. Evidentemente todo este problema depende de lo que uno
entienda por "metafsica".
Para algunos, la metafsica es una teora general de los objetos, una disciplina que tiene
que desarrollarse en un sentido puramente emprico, y que se diferencia de otras ciencias
empricas exclusivamente por su generalidad.
Para la mayora, no obstante, el trmino "metafsico" se utiliza directamente en
oposicin al trmino "emprico"; de cualquier forma, hay que destacar que lo utilizan en este
sentido todos aquellos a los que les perturba el que algn elemento metafsico logre infiltrarse
en la ciencia. Esta concepcin general de la metafsica adopta otras formas ms especficas.
Algunos detectan elementos metafsicos en la ciencia siempre que se utilicen mtodos
de investigacin que no sean ni deductivos ni empricos.
Para otros, el carcter metafsico de una ciencia depende principalmente de su
vocabulario y, ms concretamente, de sus trminos primitivos. Por ello, se dice que un trmino
es metafsico siempre que no sea un trmino lgico o matemtico, o si no est asociado a un
procedimiento emprico que nos permita decidir si dicho trmino denota una cosa o no.
No obstante, hay quien cree, a pesar de que no haya trminos metafsicos entre los
trminos primitivos de un lenguaje, que pueden ser introducidos mediante definiciones.
En general, se puede afirmar que el trmino "metafsico" se utiliza en un sentido tan
amplio que abarca ciertas nociones (o mtodos) de la lgica, las matemticas, o las ciencias
empricas, y que terminarn aplicndose a fortiori a las nociones semnticas. En realidad, tal y
como se ha dicho en la primera parte de este escrito, en el desarrollo de la semntica de un

lenguaje utilizamos todas las nociones de este lenguaje, y se aplica un aparato lgico incluso
ms potente del que se utiliza en el lenguaje mismo.
La aplicabilidad de la semntica a las ciencias empricas especiales.
Se han expresado fuertes dudas sobre si las nociones semnticas pueden o no tener
implicaciones en distintos dominios de la actividad intelectual. En gran parte dichas dudas se
referan a la aplicabilidad de la semntica al campo de las ciencias empricas.
Primero, el desarrollo de una teora que formula una definicin precisa de una nocin y
establece sus propiedades generales proporciona e ipso una base firme para todas las
discusiones en las que esta nocin est implicada, y, por lo tanto, no puede ser irrelevante para
nadie que utilice esta nocin y que desee hacerlo de forma consciente y consistente. En
segundo lugar, las nociones semnticas estn en realidad implicadas en varias ramas de la
ciencia, y en concreto de las ciencias empricas.
Las nociones semnticas estn sin duda presentes, en mayor o menor grado, en la
psicologa, la sociologa, y prcticamente en todas las humanidades. Por ello, un psiclogo
define el denominado coeficiente de inteligencia en trminos del nmero de respuestas
verdaderas (correctas) y falsas (incorrectas) dadas por un individuo a un cuestionario; para un
historiador de la cultura el rango de objetos para los que una raza humana en estadios
sucesivos de su desarrollo posee designaciones adecuadas puede ser un tpico de gran
significado; un estudiante de literatura podra estar muy interesado en si un autor utiliza
siempre dos palabras dadas con el mismo significado.
El dominio ms natural y prometedor para las aplicaciones de la semntica terica es
claramente la lingstica. Algunas partes de esta ciencia incluso se denominan "semntica" a
veces con una calificacin adicional. Se aplica este nombre a la parte de la gramtica que
intenta clasificar todas las palabras de una lengua en partes del discurso, teniendo en cuenta lo
que las palabras signifiquen o designen.

No es necesario mencionar que la semntica no puede encontrar ninguna aplicacin

directa en las ciencias naturales, tales como la fsica, la biologa, etc.; puesto que ninguna de
estas ciencias se ocupa de los fenmenos lingsticos, y mucho menos de las relaciones
semnticas entre expresiones lingsticas y los objetos a los que dichas expresiones se refieren.
La aplicabilidad de la semntica a la metodologa de las ciencias empricas.
A parte de la lingstica, otro campo importante de posible aplicacin de la semntica
es la metodologa de la ciencia; este trmino se emplea aqu en un sentido extenso que abarca
la teora de la ciencia en general. El estudio de un lenguaje cientfico constituye una parte
esencial de la discusin metodolgica de una ciencia.
La cuestin que nos planteamos es si la semntica puede ser til a la hora de resolver
problemas generales y, por as decirlo, clsicos de la metodologa. Me gustara detenerme aqu
en un aspecto de esta cuestin que considero de suma importancia.
Uno de los problemas principales de la metodologa de las ciencias empricas consiste
en establecer las condiciones en las que una teora emprica o una hiptesis deberan ser
aceptables. Esta nocin de aceptabilidad debe relativizarse teniendo en cuenta el grado de
desarrollo de una ciencia. Podramos considerarlo como algo que no es dado mediante un
marcador temporal; puesto que una teora que es aceptable hoy puede volverse insostenible
maana a la vista de los nuevos descubrimientos cientficos.
Existen distintos mtodos que nos permiten comprobar si una teora dada contiene o no
proposiciones falsas. Alguno de estos mtodos se basa puramente en las propiedades lgicas
de la teora en cuestin. Con la ayuda de algunos presupuestos con respecto a la verdad de las
proposiciones empricas, podemos obtener mtodos que tengan los mismos efectos y que no
sean exclusivamente de naturaleza lgica. Si decidimos aceptar el postulado general propuesto
ms arriba la aplicacin exitosa de un mtodo de este tipo har que la teora sea insostenible.

Aplicaciones de la semntica a la ciencia deductiva.

Por lo que se refiere a la aplicabilidad de la semntica a la matemtica y a su
metodologa, esto es, a la metamatemtica, nos encontramos en una posicin ms favorable
que en el caso de las ciencias empricas. Porque, en vez de proponer razones que justifiquen
las esperanzas que se albergan para el futuro podemos mostrar ya los resultados concretos que
se han logrado.
Todava siguen plantendose dudas sobre si la nocin de una oracin verdadera puede
tener algn significado para las disciplinas matemticas y desempear algn papel en la
discusin metodolgica de las matemticas. Contamos ya con toda una serie de resultados
metamatemticos interesantes obtenidos con la ayuda de la teora de la verdad. Estos
resultados se refieren a las relaciones mutuas entre la nocin de verdad y la de
demostrabilidad; establecen nuevas propiedades sobre esta ltima nocin; y arroja algo de luz
sobre los problemas fundamentales de la consistencia y la completud.
Al aplicar el mtodo de la semntica podemos definir de forma adecuada varias
nociones metamatemticas importantes que se han utilizado hasta ahora slo de forma
intuitiva.
Hemos discutido las aplicaciones de la semntica nicamente a la metamatemtica, y
no a las matemticas propiamente dichas. Pero, esta distincin entre la matemtica y la
metamatemtica carece de importancia ya que la metamatemtica es una disciplina deductiva
y por lo tanto, desde un cierto punto de vista, parte de la matemtica; y como es bien sabido dado el carcter formal del mtodo deductivo - los resultados obtenidos en una disciplina
deductiva se pueden extender automticamente a cualquier otra disciplina en la que dichos
resultados puedan ser interpretados.

Conclusiones

La concepcin semntica de la verdad es un documento realmente precioso y con una

gran riqueza. Ya que trata por todos los medios de buscar una definicin satisfactoria de la
verdad. Una que rompiera con todos los paradigmas y que en si nos diera la respuesta que
todos estbamos buscando.
Alfred Tarski fue un lgico, matemtico y filsofo polaco se dio la tarea de realizar este
magnfico documento. El trato de mostrar la preservacin de un concepto clsico que requera
no definirlo para cualquier lenguaje, sino para un lenguaje formal interpretable en dominios
restringidos.
Puedo decir que Tarski mostr como la concepcin clsica sirve para avanzar desde los
formalismos, y como los formalismos sirve para avanzar desde la concepcin clsica,
hacindola ms precisa y cientfica.
Es increble como para este autor la verdad se entiende como correspondencia entre las
oraciones y los referentes de estas en un modelo en el que se interpretan.
Tarski toca muchos puntos y uno de ellos fue la verdad como concepto semntico.
El trmino semntica se refiere a los aspectos del significado, sentido o interpretacin
de signos lingsticos como smbolos, palabras, expresiones o representaciones formales. En
principio cualquier medio de expresin (lenguaje formal o natural) admite una
correspondencia entre expresiones de smbolos o palabras y situaciones o conjuntos de cosas
que se encuentran en el mundo fsico o abstracto que puede ser descrito por dicho medio de
expresin.
En el documento Tarski lo explica ms sencillo, l dice que la semntica es la ciencia
que se ocupa de las relaciones entre las expresiones de un lenguaje dado y los objetos a los que

se refieren dichas expresiones. Es decir que la semntica lo que haces es establecer esa
relacin que tiene la oracin en si con el objeto de cual se habla, de manera que cuando se
afirme o se niegue algo en esa oracin se estar afirmando o negando el objeto, ya que estn
profundamente relacionados por la semntica.
Tal como Tarski propone la definicin de la verdad, no se desliga de la tarea de definir
que es un objeto o un estado de cosas, sino que solamente se desprende de la realidad externa
que todos los tratados sobre la verdad anteriores tomaron como parte material sobre la que se
aplicaba su semntica. En rigor, Tarski, respeta todos los principios de la lgica propuesta por
Aristteles, slo que a estos principios, al eximirlos de una "realidad emprica", los libera de
cuestiones ontolgico-metafsicas.
Todo este documento ha logrado influir mucho en la filosofa, debido a su gran riqueza
intelectual. Ha dado pies a grandes reflexiones filosficas. Claro que esta teora no se trata
como la teora directa de la verdad sino como parte de una teora de la interpretacin de esos
lenguajes por sus hablantes y en la medida en que son formalizables de cierta manera. Y con
todo esto se puede llegar a concluir que su teora supone una fundamentacin en el realismo.

Figueira
Yackeline

La concepcin semntica de la verdad es a m parecer una obra para el deleite de una

explicacin lingstica perfectamente adaptada al lenguaje lgico, y tiene que ser as dada la
implicacin que poseen ambas ramas del saber.
Me llam poderosamente la atencin el nfasis que el autor hace para descontextualizar
la semntica del estudio lingstico y los traspasa al campo de la lgica, en donde
filosficamente se puede deducir la implicacin que posee un razonamiento.

Es muy probable que su concepto de necesidad sea algo ms que un simple argot
propio del desarrollo de la obra del autor, porque explcitamente hace referencia al hecho de
que no puede existir una relacin del significante y significado, por as llamarle, es decir,
lenguaje objeto y al metalenguaje que no haga referencia al hecho de que son totalmente
inseparables.
De ah radica que la necesidad en el establecimiento de un sistema de lenguaje propio
para el estudio de cada ciencia tenga que contener su propia codificacin, lo que permitir
pues, acceder al universo propio de ese campo de estudio.
Ahora bien, la obra de Tarski, al igual que la de Moore, hacen uso de la lgica no con
la intencin de establecer un dogma de la realidad en su sentido semntico, sino precisamente
para destruir lo que ya que conoce al respecto, para as reformular y abrir una nueva ventana
para las futuras investigaciones en dicho campo.
Y el culmen de dicha obra, se puede reducir a la clarificacin del trmino verdad y
verdadero, sus implicaciones y cules deberan ser las consideraciones con respecto al debido
uso de tal concepcin para s evitar en el futuro los errores implcitos en el devenir de los
aplicaciones que poseen las palabras ya mencionadas.
Por lo que no me cabe la menor duda, que al momento de emplear tales trminos
tendr que remitirme a Tarski, para no caer en una contradiccin semntica-lgica, que no
convenga a la explicacin que tericamente sea comprobable, pero que en la prctica no lo sea
dada la variacin que implica tal realidad.

Len
Jos