ALFRED TARSKI Y LA PARADOJA DEL MENTIROSO

JOSEP PRADAS
Alfred Tarski (1902-1983), polaco de nacimiento, luego nacionalizado americano (1945). Estudió en la Universidad de Varsovia (doctorado en 1923), donde luego dio clases hasta 1939. Exiliado a Estados Unidos, en 1942 se incorporó a la Universidad de California (Berkeley) como profesor de matemáticas, y después asumió funciones de investigación. En 1968 fue nombrado profesor emérito.


Obra: El concepto de verdad en los lenguajes formalizados (1935).

La verdad y la mentira
Cualquier intento de dar una definición general de verdad, válida para todos los lenguajes naturales, adolece de la paradoja del mentiroso, es decir, de la posibilidad de construir sentencias que digan de sí mismas que no son verdaderas, es decir:
  • Que no son verdaderas si lo son.
  • Que son verdaderas si son falsas.
La paradoja del mentiroso es conocida desde la Antigüedad. Hay una primera versión de Eubúlides de Mileto, que data del siglo IV a. C., y que reza así, más o menos: "Epiménides, cretense, dice que todos los cretenses son mentirosos" (por eso es conocida también como la paradoja de Epiménides).
  • Un hombre afirma ser un mentiroso. Lo que dice, ¿es verdadero o falso? Su propia afirmación, ¿es verdadera o falsa?
  • Si miente, dice la verdad.
  • Si dice la verdad, miente.
  • Su afirmación siempre es falsa.

Para evitar la paradoja del mentiroso, según Tarski, hace falta distinguir entre:
  • Lenguaje, natural o formal.
  • Metalenguaje, es decir, el ámbito en que se realizan afirmaciones sobre el lenguaje natural o formal.
Cualquier definición de verdad ha de hacerse desde el metalenguaje, es decir, en referencia a un lenguaje pero desde fuera de él, porque la paradoja reside en que es autoreferrencial.
La verdad sería, pues, una definición formalmente correcta y materialmente adecuada de una sentencia verdadera, construida desde el metalenguaje.









Comentarios

Publicar un comentario

Deja un comentario, a ser posible relacionado con la entrada. Gracias.

ENTRADAS MÁS VISITADAS EN LA ÚLTIMA SEMANA

LAS IDEAS INNATAS DE DESCARTES

JOSEP PRADAS
Las ideas innatas son contenidos puros de la mente (sin la interferencia de los sentidos o la imaginación). Los contenidos puros son aquellos que no pueden ser fruto de los sentidos: alma, Dios, causa, sustancia, etc. Su origen no puede atribuirse a un principio externo al yo. Descartes otorga validez a tales conceptos puros desde el principio, ya que desconfía de los sentidos. Pero en el momento en que comienza a indagar en el interior de su mente y descubre tales contenidos, tampoco puede apoyarse en nada más que el cogito . La reflexión cartesiana no puede trascender el propio yo, de modo que esas ideas puras o innatas que Descartes encuentra en su mente de forma más o menos espontánea sólo pueden atribuirse a la propia razón, al pensamiento en sí mismo.  Así, pues, las ideas innatas son contenidos de la razón, forman parte del bagaje racional humano. Con ese bagaje no nos representamos imágenes sino que se nos hacen inteligibles objetos no imaginables, a los que Descartes llama...
ENTRADAS ANTERIORES

CRONOLOGÍA DE LAS OBRAS DE PLATÓN

JOSEP PRADAS
El pensamiento platónico se desarrolla a lo largo de varias etapas, y sus obras pueden clasificarse según ese mismo esquema temático-cronológico. El orden cronológico se puede establecer a través de un análisis del estilo, del cual ha derivado una lista estilométrica, confeccionada bajo el criterio de que la fecha de un texto resulte menos incierta dentro del grupo de libros al que se asigna que entre los grupos diferentes. Este criterio permite a Popper, por ejemplo, colocar el Criton delante de la Apología , saltando las ordenaciones tradicionales, e incluso se dice que Laques  también estaría al principio de la lista (Popper, La sociedad abierta , cap. 3, nota 5). No obstante, aquí presentaremos la lista de las obras platónicas según la ordenación tradicional: 1. Diálogos socráticos   Entre 399 y 393 a. C., Platón escribe influenciado por la memoria de su maestro, Sócrates, muerto en 399. Son los llamados diálogos socráticos o menores, escritos fuera de At...
ENTRADAS ANTERIORES

DESCARTES Y LOS DIFERENTES TIPOS DE IDEAS

JOSEP PRADAS
Al investigar el origen de las ideas, y descubre que estas ideas pueden ser de tres tipos ( Med . III, pág. 134): Adventicias : derivadas de los sentidos, o sensaciones. Pueden ser simples o complejas. Son ideas que parece que nos llegan de fuera de nosotros (de ahí el nombre de adventicias). Sobre ellas Descartes ha lanzado la primera de sus dudas. Los empiristas, en cambio, considerarán que todos los contenidos de nuestra mente ha de provenir de ellas para ser válidos. A partir de las ideas mismas no se puede deducir que provengan de fuera de mi mente, se un mundo exterior, sino que esa es sólo una inclinación subjetiva que me lleva a creerlo ( Med . III, págs. 134-136 y VI, págs. 168-171; en VI considera que la veracidad del mundo exterior, de donde provienen las ideas adventicias, está garantizada por Dios, págs. 172-173). Facticias : derivadas de la asociación de ideas realizada por nuestra mente, a partir de la memoria y la imaginación. Son ideas complejas. Por ejemplo, la...
ENTRADAS ANTERIORES

LOS GRIEGOS Y LA LIBERTAD INDIVIDUAL

JOSEP PRADAS
Benjamin Constant, un liberal romántico, sostuvo que eran diferentes la libertad de los antiguos y la libertad de los modernos . Benjamin intentaba aclarar que los liberales de su época, los modernos , al teorizar sobre la defensa de la libertad, estaban refiriéndose a algo diferente de lo que los antiguos entendían por la misma palabra, pero cuyo sedimento semántico aún contaba en el uso común del lenguaje, generando confusiones en las discusiones sobre esta cuestión. Era necesario, pues, esclarecer el significado efectivo del concepto de libertad en uso en esa época . Popper, por ejemplo, estaría en el lado opuesto, contrario a determinismos y paradigmas. Toma a Platón como enemigo acérrimo de la democracia y del pensamiento individual libre de trabas, y como un precursor del totalitarismo, sin tener en cuenta que Platón se oponía más a la libertad de los antiguos, es decir, a la participación política del pueblo, que a la libertad de los modernos, es decir, a la libertad per...
ENTRADAS ANTERIORES