Heinz Duthel - Epistemología Erkenntnistheorie

Partiendo de la definición kantiana entre fenómeno y noúmeno el conocimiento es una construcción mental. Todos los tipos de experiencia son esencialmente subjetivos, y aunque se puedan encontrar razones para creer que la experiencia de una persona puede ser similar a la de otra, no existe forma de saber si en realidad es la misma.

Definiciones formales de verdad

Concepto semántico de verdad

Alfred Tarski

Tarski demostró que la aplicación no paradójica del concepto de verdad depende de la distinción entre lenguaje objeto y metalenguaje.

La condición de adecuación material de Tarski supone que toda teoría de la verdad implica, para cada oración P del lenguaje objeto X para el que se define la verdad, que 'P' (nombre de oración) es verdadera si y solo si P (lenguaje objeto que habla del contenido semántico material de 'P', bien sea la referencia a algo del mundo, bien sea a su vez, referente a otro lenguaje objeto Y).

Se establecen de esta forma, niveles de lenguaje en el que cada nivel establece su contenido de verdad. Cada nivel de verdad se establece mediante subíndices.

Tarski enuncia una teoría semántica de la verdad como teoría formal de la misma:

Definición formal de verdad

Para un lenguaje formal dado, construido mediante las operaciones comunes del cálculo de predicados de primer orden, que llamamos lenguaje objeto, y le asignamos un nivel de lenguaje L0:

'P' es verdadero si y sólo si P.

La definición de "verdadero" adopta con referencia al lenguaje objeto el concepto de "satisfacción".

Las oraciones abiertas son elementos del lenguaje para el que se define la verdad. Tales funciones proposicionales no son ni verdaderas ni falsas en sí mismas, (no son proposiciones) sino funciones que son satisfechas por unos objetos y no satisfechas por otros.

Tales funciones necesitan de la interpretación de un lenguaje que especifica los objetos como argumentos de la función que satisfacen cada elemento.

Una oración cerrada, como proposición, es una función proposicional con nombres de objetos en el lugar de las variables o con variables lógicamente cuantificadas.

Como proposición lógica dicha oración puede ser verdadera o falsa.

Tarski afirma que una oración es verdadera en su nivel de lenguaje objeto si y solo si es satisfecha por todos los objetos con que se ha definido una interpretación de su nivel de lenguaje y falsa si no es satisfecha por ninguno. Así, dice Tarski: 'La nieve es blanca' es verdadero si y solo si la nieve es blanca.

Observemos que tal definición de verdad responde al concepto aristotélico de verdad. No tanto a una Teoría de “correspondencia” que tenga por supuesto la identidad entre la verdad “enunciada” y la “realidad objetiva de los hechos del mundo”, que Tarski no niega. Por ello esta definición es formal y no depende de ningún contenido.

Decir de lo que no es que es, o de lo que es que no es, es falso, y decir de lo que es que es, o de lo que no es que no es, es verdadero.

Aristóteles. Met., T, 7, 1011 b 26-8

De esta manera Tarski dio una solución lógica a la famosa paradoja del mentiroso:

“Epiménides el cretense dice que todos los cretenses son mentirosos”.

Paradoja que desde la antigüedad no encontraba un posible sentido de verdad, siendo, como es, una oración plenamente conforme a las reglas de la gramática.

Analizando la frase según el esquema propuesto por Tarski:

Lenguaje nivel 1: L1

Nivel de verdad 1: V1 'Epiménides el cretense dice que todos los cretenses son mentirosos' es verdadero si y solo si Epiménides el cretense dice que todos los cretenses son mentirosos

Lenguaje nivel 0: L0

Nivel de verdad 0: V0 'Todos los cretenses son mentirosos' es verdadero si y solo si todos los cretenses son mentirosos

Lo que la lengua escrita, por otro lado, resuelve gráficamente expresándolo de esta forma:

Epiménides el cretense dice: “Todos los cretenses son mentirosos”.

Donde aparecen claramente los dos niveles de lenguaje y el contenido de verdad de cada uno de ellos:

Lo que dice Epiménides

El hecho de que todos los cretenses sean mentirosos o no lo sean.

Saul Kripke

Текст предоставлен ООО «ЛитРес».

Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.

Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.