Palma Rosa Rodrguez Guzmn

259315
Tipos de verdad
Postura Definicin Tipo de Verdad
Teora de correspondencia La idea bsica de la teora de la
correspondencia es que lo que
creemos o decimos es cierto si
se corresponde con las cosas
como son en realidad, a los
hechos. Palabra-mundo.
"para decir de lo que es que es, o
de lo que no es que no lo es, es
verdadero

Teora de coherencia Una teora de la coherencia de
los estados de verdad de una
proposicin (verdadera)
consiste en su coherencia con
un conjunto especfico de
proposiciones sin ver el objeto
en s.
Lgica
Teora de Tarski Lo nico que cuenta es la
aplicacin de las reglas de
manipulacin de signos, de
derivacin de unas frmulas a
partir de otras.
Entre la relacin palabra-mundo
y los constituyentes referencia-
satisfaccin.
El problema de la definicin de
la verdad cobra un significado
esencial y se puede solucionar
de forma rigurosa solo para
aquellos lenguajes que tengan
una estructura exactamente
especificada.

semntica
Teora de anti realismo Esta teora no tiene un
compromiso ontolgico (niega
la realidad de las cosas). El anti
realismo llega a tener verdades
abstractas, es decir es una
construccin terica,
matemtica.
Es una teora subjetiva
defienden que el objeto slo
existe en nuestra mente, o bien
que ni siquiera tiene sentido
hablar de que dicho objeto
exista.

Teora de pragmatismo Para los pragmticos una idea o
una proposicin es cierta
cuando satisface una necesidad
vital o cuando opera segn un
plan previsto.

Palma Rosa Rodrguez Guzmn
259315
3. Teora de la correspondencia
La teora de la correspondencia expresa la idea natural de la verdad, es decir es una relacin
dada entre contenido-mundo, y puede ser verdadera o falsa en virtud a la relacin que hay
entre palabra-mundo.
La teora de Tarski, tiene un carcter ontolgico, es decir tambin tiene esa estrecha relacin
entre palabra-mundo. Dice que la verdad est determinada por las propiedades
(constituyentes) referencia-satisfaccin, o sea se hace referencia a la relacin de palabra-a-
mundo, y Tarski denominara a la satisfaccin como la relacin de palabra-a-mundo,
relacionando el predicado a las cosas que estn en el mundo, y as determinan los objetos que
hay en el mundo y las caractersticas que tienen.
Lo nico que cuenta es la aplicacin de las reglas de manipulacin de signos, de derivacin de
unas frmulas a partir de otras. El problema de la definicin de la verdad cobra un significado
esencial y se puede solucionar de forma rigurosa solo para aquellos lenguajes que tengan una
estructura exactamente especificada.
Field por otro lado no utiliza el nombre de correspondencia, no hay una relacin, sin embargo
llega a decir que hay ms bien una conexin entre palabras-cosas.
Despus tenemos a Armstrong con una postura de defensa hacia una metafsica, en la que los
hechos (el nombre) son fundamentalmente metafsicos. Este los llama estados de las cosas, y
hace que las cosas sean verdad por las proposiciones hechos-proposicin. Armstrong tiene un
primer argumento y l lo denomina como argumento hacedor de verdad
El principio hacedor de verdad se llega a ejemplificar comnmente de la siguiente manera:
Si , entonces hay un x tal que necesariamente, si x existe, entonces .
Este principio tiene un carcter ontolgico de la teora neo-clsico de la correspondencia. Los
estados de cosas son hacedores de verdad de las proposiciones, aunque no destaca la
posibilidad de que puede haber ms hacedores.