Semántica kripkeana y modalidad en mecánica cuántica

G. DOMENECH, H. FREYTES Y C. DE RONDE

Tucumán

Congreso; XIV Reunión Nacional de Filosofía; 2007

Las versiones contemporáneas de las interpretaciones modales comienzan con el análisis semántico que B. van Fraassen realizara de la lógica cuántica [4], en el que se proponía clarificar cuáles propiedades, de entre todas las estructuradas en el retículo ortomodular de los subespacios del espacio de estados puros, podían considerarse como "pertenecientes al sistema". Sin embargo, es posible demostrar la intratabilidad de la lógica ortomodular en la construcción standard de modelos de Kripke [2]. En nuestro trabajo hemos desarrollado, a partir de un sistema modal [1], modelos de Kripke basados en semánticas monoidales recientemente concebidas en lógica difusa [3], como así también un teorema de completud de Kripke para esta lógica modal ortomodular.