Las lógicas de Schrödinger son un tipo de lógica no clásica en la que la ley de identidad está restringida.
Estas lógicas están motivadas por la consideración de que en la mecánica cuántica, las partículas elementales pueden ser indistinguibles, incluso en principio, sobre la base de cualquier medición. Esto a su vez sugiere que dichas partículas no pueden considerarse objetos autoidénticos en la forma en que tales cosas son tratadas habitualmente dentro de la lógica formal y la teoría de conjuntos. [1]
Las lógicas de Schrödinger son lógicas polisémicas en las que la expresión x = y no es una fórmula bien formada en general. Se puede proporcionar una semántica formal utilizando el concepto de cuasiconjunto. Las lógicas de Schrödinger fueron introducidas por da Costa y Krause. [2] [3]
La lógica de Schrödinger no está relacionada con la lógica cuántica , que es una lógica proposicional que rechaza las leyes de distributividad de la lógica clásica .