Filosofía analítica: ¿Cuál es el estado de esta declaración: ‘Esto no es una declaración’?

Es una dialetheia: ‘una oración, A , de modo que tanto ella como su negación, ¬ A , son verdaderas’, o, también, una verdadera contradicción (Graham Priest, Dialetheism, Stanford Encyclopedia of Philosophy). Más específicamente, es una contradicción que no conduce a la trivialidad. Indica que uno está trabajando dentro de una lógica paraconsistente, que dice que no todas las contradicciones necesariamente conducen a la trivialidad. – Esa es la respuesta de la filosofía analítica (lógica formal y filosofía de la lógica, específicamente).

También se puede responder desde el lado continental, lo que implicaría a Deleuze, Derrida, Lacan. Lo que llevaría demasiado lejos, supongo. Pero permítanme agregar que el lógico Graham Priest está muy del lado del mismísimo filósofo ‘continental’ Hegel, en el tema de la contradicción.

Dialetheism (Stanford Encyclopedia of Philosophy)

La interpretación de esta oración depende del contexto. Podría haber sido algo impreso; podría ser algo que dijo un agente (o robot), o podría ser una oración de un sistema en el que las oraciones no son declaraciones, digamos una en la que las declaraciones están en carteleras y esta oración no lo es. También podría ser una réplica impropia que sea acusatoria, como una más apropiada, “¡Eso no es una declaración!”. Por lo tanto, la oración debe tener un contexto antes de poder determinar su uso. La regla general en PNL es que una frase (s) que comienza con una letra mayúscula y termina con una puntuación no es necesariamente una oración. Se considera que una oración es un enunciado compuesto que puede interpretarse como que tiene un significado. Eso implica que debe haber un contexto en algunos casos. También implica que las “oraciones” pueden extenderse a través de varias oraciones puntuadas sintácticamente correctas.

Sea ‘P’ ser “P no es una declaración”.

Si P es verdadero, entonces P no es una declaración, y P no puede evaluarse como verdadero o falso. Pero las declaraciones (proposiciones) deben ser verdaderas o falsas. Entonces P no puede ser verdad. En la lógica clásica y suponiendo que todas las declaraciones reciban valores de verdad, se deduce que P es falso.

Si P es falso, entonces no es cierto que P, es decir. No es cierto que P no sea una declaración. Luego, en la lógica clásica, se deduce que P es una declaración. Pero esto contradice lo que P dice si es cierto, que no es una declaración. Y si P es falso, entonces P es verdadero y luego, razonando arriba, ¡P también es falso! Por lo tanto, P es una contradicción que implica tanto una verdad como su negación.

No es necesario invocar una lógica no clásica para explicar que P no es una declaración bien construida y no puede evaluarse sin generar contradicciones.

Puede que no sea una declaración. Puede ser una opinión, o una cita, o una cadena de caracteres, pero si dice no ser una declaración, que así sea.

¿No es simplemente falso … es / es / una declaración? La “paradoja del mentiroso” es una paradoja real … esto no es … ¿Me equivoco aquí? ¿Me estoy perdiendo de algo?