slangarit1 escribió:
Me lo puedes explicar, no lo veo
El enunciado T expresa: "X es verdadera si y solo si p", donde "p" es una oración cualquiera y "X" es el nombre de esa oración. Dice Tarski en
La concepción semántica de la verdad y los fundamentos de la semántica:
Debemos subrayar que ni la expresión (V) [es decir, T] misma (que no es una oración sino sólo un esquema de oración), ni caso particular alguno de la forma (V) pueden considerarse como una definición de la verdad. Sólo podemos decir que toda equivalencia de la forma (V), obtenida reemplazando "p" por una oración particular, y "X" por un nombre de esta oración, puede considerarse una definición parcial de la verdad, que explica en qué consiste la verdad de esta oración individual. La definición general debe ser, en cierto sentido una conjunción lógica de todas estas definiciones parciales. VALDÉS, Luis M.
La búsqueda del significado, Madrid, 2012, 304.
Esa definición parcial es, de hecho, el requisito de adecuación material. Pero, como ya habrás estudiado, Tarski también impone el requisito de corrección formal, etc. Supongo que éste es el sentido en que debemos entender la opción c).