Complemento al tema 5: el requisito de adecuación material y el esquema T de Tarski. Texto: fragmento de A. Tarski, "La concepción semántica de la verdad y los fundamentos de la semántica" (1944). Traducción de Paloma García Abad en A parte rei (disponible en internet), secciones 3 y 4 (páginas 3-­‐5): http://serbal.pntic.mec.es/~cmunoz11/tarski.pdf Otras traducciones al español están en las compilaciones: M. Bunge (comp.), Antología semántica, Nueva Visión, Buenos Aires, 1960 (páginas 111-­‐157); L. M: Valdés (ed.), La búsqueda del significado, Tecnos, Madrid, 1991 (páginas 275-­‐312); J. A. Nicolás y M. J. Frápolli (eds.) Teorías de la verdad en el siglo XXI, Tecnos, Madrid, 1997 (páginas 65-­‐108). a) Preguntas para reflexionar sobre el texto 1. Inventar ejemplos en los que se diga: a) “de lo que es que no es”, b) “de lo que no es que es”, c) “de lo que es que es”, d) “de lo que es que no es”. 2. ¿Cuál sería, de acuerdo con la definición tentativa de “verdad de una oración” que presenta Tarski en términos de adecuación, la definición de “falsedad de una oración”? 3. ¿Cuál sería, de acuerdo con la definición tentativa de “oración verdadera” que presenta Tarski en términos de estados de cosas, la definición de “oración falsa”? 4. Inventar dos ejemplos de equivalencias de la forma (T). 5. ¿Por qué dice Tarski que la expresión (T) no es una oración, sino un esquema de oración? b) Resumen esquemático Tarski quiere captar adecuadamente con su definición el significado (la intensión) del concepto “verdad”, pero: -­‐ el término es ambiguo en el uso ordinario -­‐ los filósofos han construido distintas concepciones de verdadero y falso: a) concepción aristotélica clásica b) “teoría de la correspondencia” c) formulación en términos de estados de cosas * Tarski se basará en la concepción aristotélica. Tesis de Tarski: De acuerdo con la concepción clásica, para cualquier oración p a la que se pone el nombre X, su verdad vendrá dada por la equivalencia: (T) X es verdadera si, y sólo si, p. Requisito de adecuación material: una buena definición de “verdadero” deberá implicar todas las equivalencias de la forma (T).