Verdad Necesaria E Inferencia

VERDAD CONTINGENTE Y VERDAD NECESARIA
Se considera que la verdad se evalúa en función de la correspondencia entre la expresión y un estado de cosas. La verdad de las proposiciones solo se puedeestablecer después de una comprobación empírica, es decir, después de haber verificado si se corresponde o no con el estado de las cosas que describen, en este caso decimos que son contingentes,sintéticas, o de verdad.
Sin embargo, no siempre se dan proposiciones contingentes. Por ejemplo
a) Los gatos son mamíferos.
b) Esta planta o está viva o está muerta.
Podemos afirmar que estasproposiciones son verdaderas, sin necesidad de confrontar sus condiciones de verdad con la realidad o un modelo. Denominamos proposiciones tautologías o analíticas, a las proposiciones que son verdaderas encualquier circunstancia posible, no importa con qué realidad confrontemos sus condiciones, el resultado es el mismo. En estos casos, también se habla de una verdad necesaria o verdad a priori, porquepuede establecerse sin necesidad de ninguna comprobación.
MAMIFEROS
MAMIFEROS
GATOS
GATOS
Las proposiciones tautologías son verdaderas en virtud de su propio significado, como lo demuestran lasoraciones del ejemplo, pues estas oraciones demuestran ser proposiciones analíticas, pero no todas ellas lo son por las mismas razones. Por ejemplo, para saber que la oración a), es analíticas,tenemos que saber que los gatos son mamíferos, es decir que los gatos son un subconjunto de los mamíferos.

Existen también proposiciones que ejemplifican el fenómeno opuesto a las proposicionestautologías, las que son verdaderas sin necesidad de realizar ninguna comprobación empírica. Las proposiciones necesariamente falsas se denominan contradicciones y son falsas en virtud de su propiosignificado. Por ejemplo
c) Las ranas no son anfibios.
d) Juan se ha marchado y está aquí.
Dado que las ranas son anfibios, afirmar que no lo son es necesariamente falso. De modo semejante, la...