Analizamos dos presupuestos fundamentales del Teorema de Kochen-Specker: a) la condición de funcionalidad FUNC, que expresa el hecho de que no todos los observables son independientes, como tampoco lo son los valores asignados a ellos, y b) la cuestión de la identidad de los proyectores en diferentes contextos de medición. Mostramos que las semánticas no deterministas de Nmatrices y la teoría de qsets Q pueden complementarse brindando una semántica adecuada para el retículo de proyectores cuánticos. Considerando valuaciones que no son homomorfismos y admitiendo la posibilidad de contar con proyectores indiscernibles (no idénticos), establecemos las bases de una semántica para la lógica cuántica, motivada en una ontología de no individuos cuánticos, en la cual no puede arribarse a la paradoja de Kochen-Specker.
Analizamos dos presupuestos fundamentales del Teorema de Kochen-Specker: a) la condición de funcionalidad FUNC, que expresa el hecho de que no todos los observables son independientes, como tampoco lo son los valores asignados a ellos, y b) la cuestión de la identidad de los proyectores en diferentes contextos de medición. Mostramos que las semánticas no deterministas de Nmatrices y la teoría de qsets Q pueden complementarse brindando una semántica adecuada para el retículo de proyectores cuánticos. Considerando valuaciones que no son homomorfismos y admitiendo la posibilidad de contar con proyectores indiscernibles (no idénticos), establecemos las bases de una semántica para la lógica cuántica, motivada en una ontología de no individuos cuánticos, en la cual no puede arribarse a la paradoja de Kochen-Specker.
El análisis de los vínculos que pueden ser establecidos entre la lógica cuántica, las semánticas no deterministas de Nmatrices y las teorías de cuasiconjuntos es el núcleo central de este trabajo. La necesidad de tal análisis ha surgido de forma natural luego de que la relación entre Nmatrices y lógica cuántica quedó explicitada en un trabajo previo: los estados cuánticos, entendidos como medida de probabilidad, pueden ser interpretados como valuaciones de una cierta Nmatriz para el retículo cuántico de proyectores. El Teorema de Kochen-Specker priva a la lógica cuántica de veritativo funcionalidad, pero no de admitir una semántica no determinista Nmatricial. Esto es, la semántica de Nmatrices es compatible con los requerimientos semánticos y algebraicos del retículo de proyectores cuánticos. Si tenemos en cuenta que las teorías de cuasiconjuntos (Quasi-sets y Quasets) han surgido motivadas por la ontología cuántica, que las teorías de conjuntos están fuertemente vinculadas con la lógica y que originalmente uno de los objetivos de la teoría de quasets QST era brindar una semántica para los entes cuánticos, entonces el puente establecido entre la lógica cuántica y las semánticas no deterministas puede ser visto como el detonador que inicia la búsqueda de vínculos entre estas teorías. Por un lado, la lógica cuántica de Birkhoff y von Neumann está comprometida con la representación de espacios de Hilbert de la Mecánica cuántica. Por otro lado, esta representación (como quedará claro más adelante) está comprometida con una ontología de individuos. Por lo tanto, la lógica cuántica y la ontología están vinculadas a través del formalismo de espacios de Hilbert. Como dijimos, las teorías de cuasiconjuntos han surgido motivadas por la ontología de los entes del micromundo. Esto implica que los cuasiconjuntos y la lógica cuántica mantendrían de forma indirecta cierta relación.
La interpretación modal Hamiltoniana de la mecánica cuántica sostiene que los sistemas, en el ámbito de la realidad cuántica, son haces de propiedades posibles, sin sustancia subyacente. Las propiedades que se hacen actuales, es decir aquéllas que adquieren valor definido instante a instante, no pueden ser todas, ya que esto llevaría a inconsistencias, como lo muestra el Teorema de Kochen-Specker. Esto implica que debemos elegir un contexto de actualización, esto es, un subconjunto de todo el conjunto de propiedades posibles, cuyas propiedades adquieren valores definidos. En este sentido, la interpretación modal-Hamiltoniana elige como contexto de actualización la descomposición átomica del espacio de Hilbert en autosubespacios del Hamiltoniano y todas las composiciones de éstos. Esto permite explicar satifactoriamente varios problemas interpretativos de la mecánica cuántica: el problema de la medición, el problema de la contex- tualidad, el problema de la indistinguibilidad y el problema de la no-localidad, como también permite describir adecuadamente un conjunto de ejemplos físicos típicos de la práctica de la física. Durante el trabajo de esta tesis doctoral, se desarrolló una reformulación de la interpretación modal-Hamiltoniana de la mecánica cuántica. Para ello se aplicaron ideas de la teoría de grupos, con el fin de asegurar la invariancia del contexto de actualización ante el cambio de sistema de referencia. De modo natural, entonces, se definió el contexto de actualización como aquel identificado por los operadores de Casimir del grupo de simetría de la mecánica cuántica: el grupo de Galileo extendido centralmente. Posteriormente se estudió la posibilidad de extender estas ideas al ámbito de la teoría cuántica relativista, donde el grupo de simetría es el de Poincaré y algún otro grupo de simetría interna compacto. Finalmente, con el fin de asegurar que los observables con valores actuales en las teorías relativistas y no relativistas estuviesen correctamente relacionados a través de un límite adecuado, se empleó una contracción de Inönü-Wigner del grupo de Poincaré extendido trivialmente al grupo de Galileo extendido centralmente. De este modo, los operadores de Casimir de ambos grupos quedaron correctamente relacionados y se pudo definir la regla de actualización correspondiente al ámbito relativista
En este trabajo trataremos de responder las siguientes preguntas: 1. ¿Qué entendemos por «lógica» de una teoría física? 2. ¿Cuál es la lógica de la física clásica? 3. ¿Cómo se puede construir una lógica basada en la mecánica cuántica? 4. ¿Para qué sirve y para qué podría servir la lógica cuántica? Para ello, empezaremos estudiando la lógica de un sistema clásico sencillo. Después introduciremos la lógica cuántica propuesta por Birkhoff y von Neumann. Terminaremos describiendo tres ejemplos (el teorema de Kochen-Specker, el programa de las escuelas de Harvard y Ginebra, y el programa de Putnam) que ilustran los éxitos, expectativas y fracasos de la lógi ca cuántica.
En este trabajo estudiamos dos características no clásicas de los sistemas a cuánticos compuestos, a saber, el entrelazamiento y la indistinguibilidad, usando herramientas lógicas y algebraicas. Primero estudiamos a las mezclas impropias desde un punto de vista lógico y geométrico. Esto se hace extendiendo el retículo de proposiciones de von Neumann de forma tal de incluir a las mezclas impropias como átomos del nuevo retículo. Luego estudiamos la indistinguibilidad cuántica. Usamos una estructura cuántica que es una modificación de la teoría de conjuntos de Zermelo-Frenkel basada en la mecánica cuántica, a saber, la teoría de cuasiconjuntos (Q). Usando Q desarrollamos una formulación de la mecánica cuántica que no usa la identidad de primer orden en sus bases lógicas. Luego, desarrollamos un marco de retículos proposicionales para partículas idénticas. Estas construcciones responden a discusiones interesantes planteadas en la literatura.
La mereología se ocupa del estudio de las relaciones entre el todo y las partes. En estetrabajo, discutimos diferentes desarrollos y problemas abiertos relacionados con la formulaciónde una mereología cuántica. En particular, discutiremos diferentes avances en el desarrollode sistemas formales destinados a describir la relación todo-partes en el contexto de la teoríacuántica. Dado que se supone que los sistemas físicos macroscópicos están compuestos pormuchos sistemas cuánticos, comprender los desafíos asociados al desarrollo de una mereologíacuántica es relevante para el problema de explicar el surgimiento de una realidad clásicamacroscópica a partir de un reino cuántico microscópico. Se aborda esta cuestión desde laperspectiva de dos teorías de conjuntos inspiradas en la ontología cuántica, las teorías decasi-conjuntos sin átomos Q−y la de quasets QST, y también desde un formalismos mereológicomotivado por los entes del micromundo (ZF∗). Todos estos sistemas se caracterizan, a diferenciade ZF, por cierto grado de no extensionalidad. Para nosotros, la no extensionalidad es unacaracterística indispensable de los formalismos que quieran dar cuenta de las peculiaridades delos entes cuánticos. Se relacionan estos formalismo y dejan algunas cuestiones abiertas, quepueden marcar nuevos rumbos en el desarrollo de futuras merelogías para la Mecánica cuántica
Es pensado que la Mecánica Cuántica es una de las teorías fundamentales en la física. Esta teoría no solo ha permitido el estudio detenido de las propiedades de la naturaleza a una escala atómica, sino que también ha logrado una asombrosa convergencia con gran parte de las teorías clásicas. Un rasgo distintivo de la Mecánica Cuántica es su naturaleza probabilística, lo que implica que no puede prever con absoluta certeza el resultado de un experimento, sino tan solo asignar una probabilidad específica a su ocurrencia. En virtud de esta característica, la Mecánica Cuántica introduce un contexto donde llevar a cabo una medición se convierte en un proceso intrínseco. A pesar de ello, ninguno de sus fundamentos aborda explícitamente la definición de lo que constituye una medición cuántica. Aunque este procedimiento evidencia tanto la naturaleza probabilística a pequeña escala como el carácter determinista del ámbito macroscópico, surge de manera pertinente la pregunta: ¿qué se entiende por medición? O, al menos, ¿cómo llevar a cabo una medición? Diversos esfuerzos han sido realizados con el fin de construir un marco conceptual riguroso que describa el proceso de medición cuántica. En este estudio, se examinará detenidamente el esquema de medición propuesto por von Neumann interpretado a partir de la interacción entre el sistema principal y su entorno, así como los posibles tipos de mediciones que pueden surgir en estos sistemas. Sin embargo, al adentrarnos en el ámbito de la Teoría Cuántica de Campos y buscar realizar mediciones en este contexto, es imperativo ampliar la noción de medición de acuerdo con los principios de localidad y causalidad. Por ende, al establecer un marco claramente definido para las mediciones, también se delinean ciertas operaciones que son físicamente permitidas. Este trabajo se propone examinar los protocolos de medición en campos relativistas con el objetivo de comprender el protocolo propuesto por Fewster y Verch como una generalización de la teoría de medición cuántica no relativista.