LÓGICA, MUNDOS POSIBLES Y CONEXIONES DE GALOIS

Resumo

Se argumenta que la característica distintiva de las lógicas contemporáneas, proposicional, cuantificacional y sus tipos modales, son un tipo de oposiciones de oposiciones llamadas “conexiones de Galois”. Para ello, se explica la noción de mundo posible kripkeano, se explicitan las conexiones de Galois presentes en la cuantificación, en las modalidades aléticas y se muestra cómo estás oposiciones, mediante una sugerencia de Montague, aparecen en el tratamiento de modalidades no-aléticas como la posibilidad y necesidad física.