¿Hay declaraciones que no son ni verdaderas ni falsas?

Hay un número infinito de afirmaciones que no son ni verdaderas ni falsas. Aquí hay algunas formas de construirlos:

  • Algunas afirmaciones autorreferenciales no son ni verdaderas ni falsas. “Esta afirmación es falsa”, es el famoso ejemplo. El Teorema de la incompleta de Godel se basa en esto (y muestra que este es un problema para todos los sistemas bien definidos, no solo para el lenguaje natural).
  • Las declaraciones mal definidas no son ni verdaderas ni falsas. Por ejemplo, “El universo es sabroso”, no puede ser verdadero o falso sin una definición apropiada de “saboroso” tal como se aplica a “el universo”.
  • Las afirmaciones subjetivas sin un sujeto no son ni verdaderas ni falsas: “El azul es el mejor color”, no se puede evaluar como verdadero o falso. ” Joe piensa que el azul es el mejor color”, o incluso, “La mayoría de los estadounidenses dicen que el azul es el mejor color”. Se puede evaluar de una manera u otra.
  • Muchas (¿la mayoría?) Declaraciones éticas tampoco pueden ser probadas como verdaderas o falsas. Por ejemplo, “es mejor que 10 delincuentes salgan en libertad que 1 persona inocente sea condenada”, es una declaración que no se puede probar como verdadera o falsa. Nuevamente, podemos convertirlos en declaraciones verdaderas / falsas atribuyéndoles: “Creo que …” o incluso “Dios dice que …”

Supongo que te refieres a afirmaciones que se sabe que no son ni verdaderas ni falsas. Es decir, estoy descontando todas las afirmaciones que podrían ser verdaderas o falsas, pero aún no lo sabemos.

Aquí hay una declaración que garantiza ser verdadera o falsa (pero no sé cuál): el 80% de los argumentos en Internet se refieren a declaraciones en una de las cuatro categorías anteriores.

La declaración escrita a continuación es verdadera.

La declaración escrita anteriormente es falsa.

Estas declaraciones no pueden ser verdaderas, ni falsas.

Prueba

Terminología utilizada: S1 denota la declaración 1. S2 denota la declaración 2.

Supuestos: Verdadero y Falso son opuestos entre sí. Es decir, no es verdad es falso

Caso 1: Suponiendo que S1 es verdadero.

Si S1 es verdadero, entonces la declaración escrita a continuación (S2) es verdadera.

Si S2 es verdadero, entonces la declaración escrita anteriormente (S1) es falsa.

Pero asumimos que S1 es cierto.

Caso 2: Suponiendo que S1 es falso.

Si S1 es verdadero, entonces la declaración escrita a continuación (S2) es falsa.

Si S2 es falso, entonces la declaración escrita anteriormente (S1) es verdadera.

Pero asumimos que S1 es falso.

Puede comenzar asumiendo que S2 es Verdadero / Falso y seguir la misma línea de prueba.

Por lo tanto,

La declaración escrita a continuación es verdadera.

La declaración escrita anteriormente es falsa.

Estas declaraciones no pueden ser verdaderas, ni falsas.

Las declaraciones subjetivas, como los juicios de valor, a menudo no son susceptibles de categorización verdadera / falsa, por lo que supongo que no calificarían como verdaderas o falsas.

Sin embargo, si se está refiriendo a declaraciones válidas que objetivamente no son ni verdaderas ni falsas, entonces tendría que decir ‘No’. Las declaraciones pueden ser verdaderas de falsas. Si son declaraciones ambiguas , entonces carecen del detalle o la especificidad necesaria para evaluarlas adecuadamente.

Lo que es, es.

Esa tautología es la base de la lógica. . . la primera de las tres leyes del pensamiento: ley de identidad, ley de no contradicción y ley del medio excluido. Algunos filósofos afirman una cuarta ley: la Ley o Principio de razón suficiente.

Según la Ley de pensamiento wiki:

Las leyes del pensamiento se pueden expresar de manera más inteligible :

  1. Todo lo que es, existe.
  2. Nada puede ser simultáneamente y no puede ser.
  3. Todas y cada una de las cosas es o no es.
  4. De todo lo que es, se puede encontrar por qué es.

Entonces, de acuerdo con estas leyes, las declaraciones no pueden ser ni verdaderas ni falsas. Lo que es, es. No puede ser simultáneamente y no puede ser. O lo es o no lo es. Hay una razón suficiente para todo.

Iba a decir que sí, pero resulta que depende de lo que quieres decir con “declaración”. Algunos definen la “declaración” como aplicable solo a cosas que son verdaderas aptas . Es decir, tienes que ser verdadero o falso para ser una declaración. En cuyo caso, la respuesta a su pregunta es, por definición, no.

Pero, considera estas cadenas de palabras:

  • El helado de vainilla es mejor que el chocolate.
  • La tierra gira alrededor del Sol.
  • Dios existe.

Esos me parecen declaraciones. Dictionary.comm ofrece estas definiciones de “declaración”: “Algo declarado”. “Una sola frase o afirmación”.

Esas son oraciones, y las personas que dicen tales cosas casi siempre creen que están haciendo afirmaciones. Así que diría que, fuera de las clases de filosofía, hay afirmaciones que no son ni verdaderas ni falsas.

Un no cognitista argumentaría que “Dios existe” no tiene ningún significado (ya que “dios” no está definido) y, por lo tanto, no puede ser verdadero o falso.

“La vainilla es mejor que el chocolate”, es una expresión de punto de vista, ni verdadera ni falsa.

Desde Einstein, sabemos que todo movimiento es relativo al observador, que “la Tierra gira alrededor del Sol”, solo parece ser cierto si pensamos en las cosas de una manera determinada.

Entonces, la respuesta a tu pregunta es esta:
Para una definición de “declaración”, todas las declaraciones son verdaderas o falsas.
Para otra definición de “declaración”, algunas declaraciones no son ni verdaderas ni falsas.

¿Hay declaraciones que no son ni verdaderas ni falsas?

Hay declaraciones claras que no se pueden dar un valor de verdad, incluyendo:

  • Esta afirmación es falsa;
  • Todos los duendes huelen a azul; y
  • Quora es el mejor sitio de internet.

Pero permítanos restringirnos a proposiciones matemáticas formales que pueden ser probadas o refutadas. Entonces, dado un sistema formal suficiente para hacer aritmética básica, sabemos que el sistema es inconsistente o hay proposiciones que no pueden ser probadas ni refutadas. Este resultado se conoce como el primero de los teoremas de incompletitud de Gödel.

La existencia de una proposición no demostrable (una oración de Gödel) a menudo se parafrasea como “hay afirmaciones verdaderas que no se pueden probar”. Esto no es del todo correcto, ya que requiere una noción de verdad más allá de la demostrabilidad. Tales nociones existen, pero en el contexto matemático formal simplemente se convierten en probabilidad en un sistema formal más amplio.

En la práctica, se puede agregar una oración Gödel a los axiomas de un sistema como si fuera “verdadera”. O su negación se puede agregar como si fuera “falso”. No es ni puede ser tampoco. Más bien, es independiente de los otros axiomas del sistema, lo que hace que la noción de “verdadero” sea bastante resbaladiza.

El Axioma de elección (AC) es un ejemplo de tal proposición: es independiente de los otros axiomas en la teoría de conjuntos de Zermelo-Fraenkel, uno de los sistemas fundamentales en matemáticas. ¿Es AC verdadero? ¿AC ni es verdadero ni falso? En última instancia, esta es una pregunta filosófica que depende del significado de “verdad”. Las matemáticas simplemente ilustran que nuestra noción ingenua de lo que es verdad es bastante más complicada de lo que parece.

¡Eso hace que la respuesta a la pregunta original sea bastante complicada, incluso si restringimos las “declaraciones” a aquellas que tan bien deberían tener un valor de verdad claro!

Esto es lo inverso de ser ambos.

Estos pueden carecer actualmente de falsabilidad, lo que plantea el problema de demarcación.

La lógica tiene errores de categoría, hipótesis, posibilidades teóricas, a priori, clasificaciones, nombres, etiquetas, excepciones, funciones, código, instrucciones, condicionales, suposiciones, creencias, contingencias, aleatorización o lo desconocido. El formalismo puede tener sollipsismo, conjeturas, refutación, refutación, condena y efectos secundarios. Cualquier cosa sin un observador y, en particular, un sistema cuántico. Existen los elementos de la propia filosofía, como la ontología, la estética, la epistemología, la ética o la metafísica, que están fuera de la lógica. Estos también aparecen como ficción y arte. La no ficción incluye opiniones, editoriales, reseñas, comentarios o críticas. Las emociones pueden ser interpretadas de esta manera.

El metamoderno podría buscar, en cambio, una oscilación y tal vez un tercer valor.

La paradoja sería uno de los mejores ejemplos de una afirmación que no es verdadera ni falsa.
Luego hay declaraciones como estas
El sol sale por el este. Cierto
Pero en realidad el sol no sale ni se pone, es la rotación de la tierra lo que lo hace parecer así.

Como dije en la pregunta relacionada, la respuesta de Ed Caruthers a la lógica (filosofía): ¿Hay una afirmación que sea verdadera y falsa? No creo que las paradojas lógicas sean muy interesantes. Creo que la mayoría de las afirmaciones objetivas sobre la forma en que funciona el mundo son ciertas en algunos casos y falsas en otros, así que no son ciertas en algunos casos y no son falsas en otros.

Sí. Hay declaraciones que son lógicamente incoherentes y, por lo tanto, no tienen valor de verdad. Ejemplo:

Esta afirmación es falsa.

Yo prefiero el chocolate.
Mira esa hermosa puesta de sol!
Ese vestido te queda genial, cariño.
Los demócratas son mejores que los republicanos.
Esa nube parece un camello.

El cretense dice que todos los cretenses son mentirosos. ¿Es su afirmación verdadera o falsa?

Ninguno y ambos.

¿Qué pasa con el conjunto de todos los conjuntos que no son miembros de sí mismos. Hay una afirmación de que este conjunto es un miembro de sí mismo es verdadero y falso.

El Gzorny es kmawk para un smiuder.
No tiene sentido, pero es bastante claro al menos una especie de afirmación. 🙂