¿Es "Esta frase es verdadera" verdadera o falsa (o ambas); es una proposición?

Question

Por lo que tengo entendido, una proposición es verdadera o falsa, pero no ambas. "Esta frase es falsa" no puede ser ni verdadera ni falsa y, por tanto, no es una proposición.

Sin embargo, ¿"Esta frase es verdadera" es verdadera o falsa (o ambas)? Y por lo tanto, ¿es "Esta frase es verdadera" una proposición?

Answer 1

La dicotomía frase/proposición es bastante complejo de gestionar, debido a sus implicaciones filosóficas.

Véase, por ejemplo, Nik Weaver, Verdad y asertividad , World Scientific PC (2015), página 4:

Muchos filósofos consideran que la verdad es fundamentalmente un atributo de las oraciones, sino de un correlato más abstracto de las oraciones llamado "proposiciones". La idea es que las oraciones funcionan refiriéndose a proposiciones abstractas o expresándolas, y son estas proposiciones las "portadoras primarias de la verdad". Esta parece ser una opinión común, pero es pero es controvertida, y algunos disidentes niegan que existan las proposiciones. como proposiciones.

Por lo tanto, si queremos permanecer en el ámbito de lógica proposicional podemos decir que las entidades básicas son frases es decir, entidades lingüísticas, que tienen un valor de verdad definido.

Si es así, una frase como: "Esta frase es falsa", que no puede ser ni verdadera ni falsa, no es una frase con sentido para ser utilizada en el contexto de la lógica proposicional.

¿Qué hay de ?

¿"Esta frase es verdadera"?

¿Es paradójico? Yo creo que sí.

Supongamos que la frase es verdadero y luego su negación: "Esta frase es no verdadero" debe ser falso .

Pero la frase negada equivale a "Esta frase es falsa".

Pero si "Esta frase es falsa" es falso entonces la frase (que afirma algo sobre una frase, es decir, una entidad lingüística) "está de acuerdo" con la forma en que son las cosas, y esto significa que es verdadero .

De nuevo, hemos llegado a una contradicción.

Answer 2

Es una "antiparadoja", el resultado verdadero o falso es totalmente la elección del lector, no la afirmación en sí, a diferencia de "Esta frase es falsa", que es autocontradictoria, e independiente del lector. El propio lector podría considerarse autocontradictorio, pero no el enunciado, y el enunciado es autocoherente en cualquiera de las dos opciones.

Esto podría explicar la aparente contradicción que los físicos tienen en el "experimento de la doble rendija", donde se observa una dualidad partícula/onda. El observador puede elegir si un fotón, un electrón, etc., se observa como una partícula o como una onda, mediante la elección del dispositivo de detección. El resultado del experimento depende de la elección del observador.

El resultado es explicable si nuestra realidad aparente no es material sino pura información ("energía", movimiento) sobre una verdadera realidad material (el éter). El fenómeno del tiempo sería sólo la secuencia de la información.

En los circuitos electrónicos, el equivalente a "Esta afirmación es falsa" es un inversor con retroalimentación (la salida vuelve a la entrada). Si la entrada es "0" la salida es "1", y viceversa. El circuito se volvería autocontradictorio, la salida oscilaría en "0" y "1".
"Esta afirmación es verdadera", el equivalente electrónico es un flip-flop (biestable, memoria de un bit) con retroalimentación. Si la entrada es "0" la salida es "0", y lo mismo con "1". El circuito se autoafirma, una salida estable, sin oscilar.

Answer 3

"Esta frase es verdadera" -llamada frase TT- no es paradójica. Se le puede asignar cualquiera de los valores de verdad T o F. La negación de TT no es la frase paradójica Liar "Esta frase es falsa", ya que el 'esto' en estas dos frases se refiere a frases diferentes. La negación de TT podría ser traducida como "La frase 'Esta frase es verdadera' es falsa" -llamada esta frase NT-, lo cual es incómodo pero bastante autoconsistente, ya que TT puede ser consistentemente falsa; de hecho, NT también puede ser verdadera o falsa: como uno esperaría, su valor de verdad debe ser el opuesto al valor de verdad de TT. Conviene subrayar que el hecho de ser una oración que puede ser verdadera o falsa no es nada particularmente notable. La mayoría de las sentencias de la lógica están en esta categoría. Nada de esto tiene que ver con el experimento de la doble rendija, la teoría cuántica o la naturaleza de la realidad física.