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.