!
Seminario
!
La Lógica de la Verdad
!
Eduardo Alejandro Barrio Universidad de Buenos Aires
eabarrio@gmail.com
!
!
Lunes de 19 a 23 - 1er Cuatrimestre de 2014
!
Sitio del Seminario: Logic Group of Buenos Aires
!
http://www.ba-logic.com/courses/logicaverdad
Lecturas
Unidad 1:• Tarski, A. (1933) “Pojecie prawdy wjezkach nauk dedukcyjnych”, traducido al inglés como Tarski, A. (1935) “The Concept of Truth in Formalized Languages”, en Tarski, A. (1956).
!
• Barrio, E La Lógica de la Verdad (Buenos Aires, Eudeba, 2014), Introducción y Capítulo 1.
!
Complementarias:
Estructura del Capítulo 1
Objetivo General: exponer el método modelo-teórico tarskiano para definir el predicado veritativo de distintos lenguajes.
(i) Dar una presentación intuitiva de las definiciones tarskianas de la verdad (ii) Ofrecer definiciones con y sin dominios para diversos lenguajes (LCC - FOL - HOL)
(iii) Presentar el Teorema de la Indefinibilidad de la Verdad: (lenguajes de tipo infinito - PA)
Jerarquías tarskianas
PA1 T1: PA + TC T + TC … Tr1 Tr2 TrnEl Teorema de la Indefinibilidad de la Verdad
(i) ¿Es posible que lenguaje y metalenguaje pudieran ser el mismo lenguaje? (ii) ¿Hay garantías acerca de la existencia de suficientes entidades como para
garantizar que las cláusulas usadas en la definición explícita de satisfacción
puedan ser parte de un lenguaje libre de inconsistencias? Indefinibilidad de la verdad para lenguajes de orden finito. LCC y LCC+
(i) ¿Puede siempre definirse su predicado veritativo aplicando el método de Tarski? (ii) Y suponiendo que haya una respuesta afirmativa, ¿puede esa definición estar
El Teorema de la Indefinibilidad de la Verdad
(i) ¿Dónde expresar los bicondicionales T de LCC? (ii) ¿Hay mentirosos y Currys en LCC?
(iii) Hasta dónde se puede ascender en la jerarquía de tipos finitos.
a. Principio de Optimismo Semántico: Dado cualquier lenguaje de tipo finito
n, siempre es posible generar una definición tarskiana de verdad desde un lenguaje ubicado en la jerarquía cuyo tipo es al menos n+1
(iv) Teoría General de Clases (lenguajes de infinitos tipos)
Teorema de la indefinibilidad:
(α) Si ‘Tr’ es un predicado de expresiones definido en LGTC+, será posible derivar dentro del cálculo deductivo de LGTC+ la negación de una de las oraciones de la forma ‘Tr(‘A’) si y sólo si A’.
(β) Si el cálculo deductivo de LGTC+ es consistente, entonces no habrá ningún predicado definido en LGTC+ que satisfaga la convención T.
El teorema establece que el conjunto de las oraciones verdaderas de LGTC no es definible en LGTC+. Su segunda parte es una consecuencia trivial de la primera.
El Teorema de la Indefinibilidad de la Verdad
para la Aritmética
Lema Diagonal: Sea T una teoría que tiene recursos expresivos como para hablar de todas las funciones y relaciones recursivas. Entonces, para cualquier fórmula abierta F(y), hay una oración G tal que T ⊢ G ≣ ¬F (‘G’).
Teorema de la indefinibilidad de la verdad aritmética:
El conjunto de las oraciones verdaderas de L es indefinible en L. Supongamos, por absurdo, que fuera definible, entonces contaríamos en L con un símbolo formalmente definido ‘Tr’, capaz de expresar el predicado veritativo de L. Es decir, usando los recursos de prueba de T, deberíamos ser capaces de probar, para cada oración A de L, un bicondicional T:
(T) Tr (‘A’) si y sólo si A.
Pero, por el lema diagonal, seremos capaces de probar, que para alguna fórmula A de L, A si y sólo si ¬ F (‘A’), donde ‘¬ F’ es un predicado de la aritmética tal que F(‘A’) si y sólo si ¬ F (‘A’). Pero, asumiendo lógica clásica, este teorema es la negación de la oración T correspondiente para A. Por lo tanto, si se asume que ‘Tr’ es una expresión que define la clase de las oraciones verdaderas de L, la negación de una oración-T será un teorema de T, lo cual es absurdo y permite concluir que, bajo las condiciones mencionadas, el conjunto de oraciones verdaderas de L es indefinible.
T(PA)
T(PA)1 ∀x1, …, ∀xn ((AtL(x) ⊃ Ver( ‘(dot(x1),…, dot(xn) ‘ ) ≣ Tr (x) T(PA)2 ∀x (SentL(x) ⊃ (Tr(¬ ‘x’) ≣ ¬Tr(‘x‘))
T(PA)3 ∀x ∀y (SentL(x) ∧ (SentL(y) ⊃ (Tr ( ‘x∧y‘ ) ≣ (Tr (‘x’) ∧ Tr (‘y’)) T(PA)4 ∀x (SentL(x) ∧ SentL(y) ⊃ (Tr (‘x ⊃ y’) ⊃ (Tr ( ‘x’) ⊃ Tr (‘y ‘)) T(PA)5 ∀x (SentL(x) ⊃ (Tr ( ‘∀x A(x)’) ≣ ∀xTr (‘A(dot(x))’])
!
T(PA) prueba un primer Principio de Reflexión global para PA1: si una fórmula es demostrable en PA1, es declarada verdadera dentro de T(PA).
Principio de Reflexión ∀x (Sent(x) & BewPA1(x) ⊃ Tr(x)) G
La Verdad como un punto fijo
Saul Kripke (1975) “Outline of a Theory of Truth” J.of Phil 72.Críticas al enfoque ortodoxo
No hay niveles intrínsecos desde donde se hagan las atribuciones de verdad, porque
(i) en el lenguaje natural tenemos un sólo predicado veritativo y no, tal como Tarski propone, una infinitud de predicados con subíndices
!
(ii) el predicado veritativo no es una expresión ambigua,
!
(iii) los hablantes que no tienen que comprometerse (ni implicitamente) con la existencia de metalenguajes de nivel apropiado que hagan posibles sus predicaciones de verdad.
!
(iv) un hablante no tiene manera de conocer los “niveles” en los que presuntamente están realizadas las predicaciones.
!
Críticas al enfoque ortodoxo
El ejemplo de Nixon
¿Cómo es posible que un lenguaje que contenga su propio predicado veritativo no conduzca a contradicción?
!
(1) La mayoría de las afirmaciones de Nixon acerca de Watergate son falsas (2) Todo lo que dice Juan sobre Watergate es verdadero
!
Juan emite (1) y Nixon emite (2)
Supongamos que (1) es la única afirmación que hace Juan sobre Watergate
Supongamos que las afirmaciones de Nixon sobre Watergate se encuentran repartidas por mitades entre la verdad y la falsedad, excepto por (2)
Críticas al enfoque ortodoxo
!
(1) La mayoría de las afirmaciones de Nixon acerca de Watergate son falsas
(2) Todo lo que dice Juan sobre Watergate es verdadero
!
¿Cuál es el valor veritativo de (1)?
Hay dos alternativas: que sea verdadera o que sea falsa.
!
Si (1) es verdadera, (2) es falsa Pero, si (2) es falsa, todo lo que Juan dice sobre
Watergate es falso. Pero, lo único que Juan dice sobre Watergate es (1). Por lo tanto, (1) es falsa y esto se deduce de haber supuesto su verdad.
!
Si (1) es falsa, (2) es verdadera. Pero, si (2) es verdadera, (1) es verdadera, ya que es todo lo que Juan dijo sobre Watergate. Pero, de suponer que (1) es falsa, se
La idea de
Fundamentación [grounding]
!
Hay oraciones cuyas condiciones de verdad pueden ser establecidas por medio de una oración que no contiene el concepto de verdad.
!
Las condiciones veritativas de estas oraciones dependen del mundo.
Hay otras oraciones cuyas condiciones de verdad no pueden ser establecidas de esta manera. En el establecimiento de sus condiciones de verdad no deja de
Infundación y patologicidad
Las oraciones paradójicas resultan ser en la teoría un
subconjunto
de las
oraciones infundadas
.
!
Dado que las oraciones infundadas carecen de valores de verdad, las
oraciones paradójicas poseen la misma propiedad. Por lo cual, se evita la
supuesta contradicción.
!
Oraciones fundadas
Oraciones Infundadas
Truthteller
El argumento del aprendizaje
El proceso de enseñanza del predicado veritativo consiste en
(i) mostrarle al que aprende cómo usar el mencionado predicado: cada vez que se sienta en condiciones de afirmar (o negar) una oración, y sólo en esos casos, se espera que se sienta en condiciones de afirmar (o negar) la verdad de esa oración.
!
(ii) se muestra que lo mismo vale de aquellas oraciones que predican verdad (o falsedad) de otras.
Las oraciones que predican valores veritativos tienen un carácter riesgoso: en circunstancias empíricas desfavorables (por ejemplo que antes se hayan o no efectuado otras emisiones) pueden siempre resultar paradójicas.
