En la lógica formal, ¿hay un operador cuántico que pueda ser tanto verdadero como falso al mismo tiempo? Si los axiomas son declaraciones que se supone que son siempre verdaderas, ¿cómo llamamos declaraciones de verdad condicional?

Muchas cosas. Vamos a desglosarlos.

Lógica cuántica

En la lógica formal, ¿hay un operador cuántico que pueda ser tanto verdadero como falso al mismo tiempo?”

La lógica cuántica es bastante nueva, y están trabajando a través de varias iteraciones de lógicas paraconsistentes difusas, así como lógicas lineales con operadores no abelianos que representan el tipo de operaciones que se ven en el mundo cuántico.


Sistemas axiomáticos

Si los axiomas son declaraciones que se supone que son siempre verdaderas, ¿cómo llamamos declaraciones de verdad condicional?”

Los axiomas son sus definiciones o declaraciones deseadas sobre los sistemas en los que está trabajando. Ahora, con eso fuera del camino, puede crear axiomas que sean 100% verdaderos y que den como resultado estados inconsistentes para sus objetos.

Es probable que no entiendas exactamente qué es un axioma. Dejame darte un ejemplo. Me gustaría decir que sé que mi objeto de manzana es agua. Puedo asignar una verdad del 87% a esa declaración. Analicemos ESTO de nuevo.

P: “Las manzanas están hechas de agua”

P: “P es 87% cierto”

Su axioma es Q. No es P. Está asignando un valor de verdad del 100% a su afirmación de que hay un valor de verdad del 87% para las manzanas hechas de agua. Está muy anidado a este respecto, pero la afirmación Q es su axioma, y ​​es 100% cierto cuando está trabajando con él.

Si luego decide trabajar con manzanas secas, entonces su axioma ya no se mantiene, y ya no puede suponer que las cosas que siguen de Q siguen después de cambiar Q.

Mi conocimiento rudimentario de lógica formal y mecánica cuántica está limitado, pero no creo que haya una conexión o interdependencia real entre los dos.