Academia.eduAcademia.edu

Gráficos Alfa para la lógica intuicionista

Abstract

Los gráficos existenciales, considerados por Peirce su obra maestra, constituyen un sistema gráfico para la lógica clásica . A lo largo del siglo XX desde la matemática se estudiaron muchas lógicas alternativas, entre ellas la intuicionista (Caicedo 1990). Esta nota es una presentación de un sistema de gráficos para el cálculo proposicional intuicionista que generaliza el sistema Alfa de Peirce. De manera sorprendente, los diagramas nuevos que se introducen ya fueron usados en algunas ocasiones por el mismo Peirce.