Kolmogorov, Heyting y Gentzen sobre las constantes lógicas intuicionistas
Contenido principal del artículo
Resumen
Los primeros autores en elaborar definiciones semánticas de las constantes lógicas intuicionistas fueron Kolmogorov, Heyting y Gentzen, a comienzos de la década de 1930. Aunque sus explicaciones puedan a primera vista parecer equivalentes (y en concreto, por lo que respecta a Kolmogorov y Heyting, ellos mismos las percibieron como tales), el conciso estudio que presento en este artículo demuestra la existencia de diferencias sutiles pero nada triviales entre ellas, diferencias cuyas consecuencias filosóficas he explorado en detalle en otras publicaciones.
Descargas
Detalles del artículo
Métricas de PLUMX
Crítica, Revista Hispanoamericana de Filosofía by Universidad Nacional Autónoma de México is licensed under a Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional License.
Creado a partir de la obra en http://critica.filosoficas.unam.mx/index.php/critica.