Examen Intuicionista de la Ley de Doble Negación

En la presente obra se pretende polemizar sobre la doble negación (delimitar su aplicabilidad) utilizando como marco el sistema intuicionista de Heyting. La estrategia pasa primero, por discutir en qué sentido se dice que una proposición puede ser verdadera o falsa. Acto seguido se presenta lo que el autor llama significado semántico clásico de la negación. Este recorrido permite finalmente concluir que a partir de cierta estructura proposicional derivada en el mencionado sistema, y considerando el significado semántico intuicionista de la negación, obtenemos que no es el caso que ¿ (¿¿ P ¿ P) es probable en el sistema proposicional intuicionista de Heyting. La intención de fondo no es limitarse al sistema intuicionista sino discutir el alcance de la noción lógica de la doble negación. - Dr. Alfonso Arroyo Santos.