3.2 La verdad y el contexto: la autonoma de la semntica.

Como ya se mencion anteriormente, no basta con conocer las condiciones de verdad de una
oracin para determinar si es falsa o verdadera, ya que en algunos casos es necesario aadir
algunas especificaciones contextuales, por ejemplo, en el caso de las oraciones con expresiones
decticas.

Se presenta, a partir de lo anterior, el siguiente problema: no estamos invadiendo el terreno de la

pragmtica? Abriendo paso as a dos posturas distintas:

PRAGMTICA SEMNTICA

En sta se utilizar la informacin contextual. Tiene su lmite en la nocin de verdad.

Se encontrr basado en la naturaleza de la informacin Ser parte del estudio semntico todo aquello que
empleada. (lingstica-extralingstica). determine la verdad de una proposicin.

Pertenecen a la semntica aquellos procesos que ligan

las expresiones con el mundo real, esto mediante la
desamiguacin y la asignacin de referentes.

Debemos plantear trminos ms complejos que distingan tres niveles

distintos: el lingstico, proposicional y pragmtico.

Forma lgica.
Ligado a la gramtica.
Representacin semntica abstracta y no ambigua de la oracin.
Expresa las condiciones de verdad de la oracin.
Ella misma no es evaluable en trminos de verdad.

Proposicin.
Tambin llamada forma proposicional.
Resultado de enriquecer la forma lgica con las especificaciones contextuales necesarias.
Recibe un valor de verdad.

Enunciado.
 Intervencin completa de un emisor en un momento dado.
Muestra concreta del habla.
Se toman en cuenta todos los factores contextuales y situacionales.

Estos conceptos anteriores son definidos como las unidades bsicas de tres disciplinas y
representan el proceso de un nivel abstracto a uno concreto.

ORACIN Estructura gramatical Sintaxis

abstracta.
FORMA LGICA Representacin semntica Semntica de las relaciones
abstracta. sintcticas.
PROPOSICIN Forma lgica + referencia. Semntica veritativa.
ENUNCIADO Forma proposicional + Pragmtica.
contexto.

3.3 Verdad, modelo y representacin formal.

Resultar necesario tambin utilizar el valor de verdad de las proposiciones, por lo que ser
necesario trabajar con proposiciones de valor de verdad conocido, pero esto no ser posible
siempre.

Los semantistas no utilizan el mundo en su totalidad para atribuir valores de verdad a las
proposiciones, sino que se sirven de modelos del mundo, en los que hacen intervenir slo
las entidades y los estados de cosas necesarios. (84).

El modelo.

Representacin abstracta de una parte del mundo (real o imaginario).

Lo conforman un conjunto limitado de elementos.
A partir de ste es posible asignar un valor de verdad a cualquier oracin.
Elimina las incertidumbres.

En el modelo se establecer una relacin entre las expresiones y los valores de verdad, que en
la teora de conjuntos reciben el nombre de funcin caracterstica, la cual permite identificar
todos los elementos en subconjuntos complementarios. A partir del modelos se establecer
la verdad de una proposicin con respecto a dicho modelo. (87). Algo que tambin se debe
tener en cuenta es la necesidad de definir a qu modelo se est haciendo referencia.
3.4 Verdad contingente y verdad necesaria.

Verdad contingente.
Su verdad se establece a partir de la comprobacin
Tambin llamadas sintticas o de verdad a posteriori.
emprica.

Verdad necesaria
No necesitan ser comprobadas. Verdad a priori

Contradicciones.
Lo opuesto es la tautologa, en la que las expresiones
Proposiciones falsas en virtud de su propio significado.
son verdaderas bajo cualquier circunstancia.

La tautologa y las contradicciones son vertientes opuestas de las proposiciones cuyo valor de
establecen sin necesidad de una comprobacin emprica.

3.5 Verdad e inferencia.

Adems de la comprobacin emprica, es posible atribuirle un valor de verdad a una proposicin

mediante un proceso conocido como inferencia vlida. Una inferencia vlida es un proceso que
nos permite establecer la verdad de una proposicin (la conclusin) sobre la base de la verdad de
otras proposiciones, utilizando para ello ciertas reglas de encadenamiento de dichas
proposiciones. (91).