La lógica trivaluada de Reichenbach para la teoría cuántica

Ponente(s): Fernando Cano Jorge

En 1935, Hans Reichenbach propuso una interpretación restringida de la mecánica cuántica (al estilo Bohr-Heisenberg) en términos de un lenguaje lógico que incluyera, además del "verdadero" y el "falso", un tercer valor de verdad "indeterminado" asignable a proposiciones físicas que involucran (la medición de) dos o más cantidades no conmutantes (e.g. posición y momento). Numerosas objeciones, tanto desde el área de la lógica como desde la de la física, fueron presentadas contra su trabajo. En esta plática reportaré los resultados de un artículo de investigación donde nos propusimos dar una semántica relacionante (estilo Dunn) para la lógica de Reichenbach, así como dar nuevas respuestas desde esta semántica a las viejas objeciones estrictamente lógicas o formales que se adujeron en contra de la lógica de Reichenbach. Además, nuestra semántica permite separar fragmentos contra-clásicos de la lógica de Reichenbach, lo que la acerca a discusiones muy recientes en lógicas no-clásicas que no estaban disponibles en tiempos de Reichenbach.