Sobre la ley de Peirce y las relaciones entre la lógica intuicionista y la lógica clásica

Producción CyT

Artículo

Autoría

LEGRIS, JAVIER

Fecha

1996

Editorial y Lugar de Edición

Centro de Estudios de la Provincia de Santiago de México de la Orden de Predicadores

Revista

Analogía Filosófica, vol. 10 (pp. 165-177) - ISSN 0188-896X
Centro de Estudios de la Provincia de Santiago de México de la Orden de Predicadores

ISSN

0188-896X

Resumen Información suministrada por el agente en SIGEVA

Este trabajo se ocupa de la llamada Ley de Peirce, que caracteriza al condicional clásico frente al condicional intuicionista. En el trabajo se detallan los orígenes de la formulación de este principio en un artículo de Charles S. Peirce de 1885, donde el condicional es la constante lógica esencial y la negación es definida en términos de condicional y el concepto de contradicción. Se muestra que este principio es independiente de, pero a ... Este trabajo se ocupa de la llamada Ley de Peirce, que caracteriza al condicional clásico frente al condicional intuicionista. En el trabajo se detallan los orígenes de la formulación de este principio en un artículo de Charles S. Peirce de 1885, donde el condicional es la constante lógica esencial y la negación es definida en términos de condicional y el concepto de contradicción. Se muestra que este principio es independiente de, pero a la vez equivalente con, los principios de la negación clásica. Para ello se recurre a su formulación en un sistema de secuentes singulares.

Ver más Ver menos

Palabras Clave

SISTEMA DE SECUENTESLOGICA INTUICIONISTALEY DE PEIRCE