José Miguel Sagüillo (Facultad de filosofía, Universidad de Santiago de Compostela)

Una de los múltiples significados de la palabra ‘información’ se encuentra implícitamente en los postulados y condiciones de la lógica info-teorética (L-I-T). La tradición de mirar los fenómenos lógicos desde una posición informacional se remonta hasta el s. XIX. Lógicos como Boole, de Morgan, Jevons y Venn ya sugerían que deducir es un cierto tipo de extracción de la información previamente contenida en las premisas dadas. En el siglo XX esta tradición es recuperada por Bar Hillel, Cohen y Nagel, y más recientemente por Corcoran. John Corcoran ha articulado en lógica un punto de vista específico de la teoría de la información con características propias. Intento explicar las ideas básicas de la L-I-T procurando establecer sus fundamentos filosóficos. Uno de los objetivos es complementar y arrojar luz sobre algunos defectos del hoy paradigmático concepto de consecuencia lógica en teoría de modelos. Otro es el de proveer una breve muestra de las cuestiones a las que ha de dirigirse una forma actualizada de la L-I-T, tal como el de la insuficiencia o el de la redundancia de la información en un conjunto de axiomas dado.

Artículo

Margarita Vázquez (Universidad La Laguna)

En este texto, analizo la paradoja conocida como “Paradoja del examen sorpresa” o “Paradoja del ahorcamiento inesperado”. Estudio algunas de sus interpretaciones, como las de Quine y Ned Hall, y ofrezco mi propia opinión sobre su solución, haciendo aproximaciones tanto desde la lógica clásica como desde la temporal o la epistémica.

Artículo