Epistemología Erkenntnistheorie. Heinz Duthel
Чтение книги онлайн.
Читать онлайн книгу Epistemología Erkenntnistheorie - Heinz Duthel страница 19
Название: Epistemología Erkenntnistheorie
Автор: Heinz Duthel
Издательство: Bookwire
Жанр: Документальная литература
isbn: 9783742740892
isbn:
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 Кошелек, бонусными картами или другим удобным Вам способом.