¿La concepción semántica de la verdad X de Tarski es verdadera si y solo si p (donde X es el nombre de una oración y p es la oración misma) se aplica a todas las oraciones o solo a los hechos (entendidos como oraciones contingentes)?
Mi pregunta está motivada por el siguiente ejemplo:
(1) 'está lloviendo hoy' es verdadero si está lloviendo hoy
(2) '7 es un número primo' es verdadero si y solo si 7 es un número primo
El primer caso, que corresponde a un hecho, no me plantea ningún problema, pero, de alguna manera, me incomoda un poco la segunda frase. Porque podría decir que
(3) '7 es un número primo' es verdadero porque solo se puede dividir por 1 o por sí mismo.
¿O, tal vez, solo mezclo los conceptos de verdad y demostrabilidad? Cualquier entrada apreciada.
No hay problema en decir eso
'7 es un número primo' es verdadero si 7 solo se puede dividir por 1 o por sí mismo
ya que por supuesto es consistente con
'7 es un número primo' si y solo si 7 es un número primo.
Es importante señalar que el llamado esquema T :
X es verdadera si y solo si p
no es la definición de verdad de Tarski, sino que es una condición que, según su concepción, cualquier definición de verdad debería satisfacer (es decir, una definición de verdad correcta debería implicar todas las instancias del esquema T). Y eso no significa que p sea la única forma, por así decirlo, en la que X es verdadera .
El punto de la definición de Tarski es: Una oración s = 'X' es verdadera si y sólo si X se cumple, es decir, si X es un hecho.
Este principio se aplica a ambos ejemplos. La oración '7 es un número primo' es verdadera si y solo si es un hecho que 7 es un número primo. Y esto último se cumple porque el número 7 es divisible solo por 1 y por sí mismo, lo cual también es un hecho.
Sí, creo que mezclas la verdad con el método de encontrar la verdad. La definición de Tarski debería evitar que digas que está lloviendo pero no creas que está lloviendo, ya que SI está lloviendo ENTONCES es cierto que está lloviendo. Y debes entender que tu creencia es falsa.
Podríamos preguntar: ¿Qué ES entonces la verdad? Y luego es cuestionable si nos volvemos mucho más sabios cuando nos dicen que para todas las declaraciones x, x es verdadera IFF x. https://en.wikipedia.org/wiki/Verdad
carnero tobolski