Science and Technology Production
Article
Authorship
Date
1996
Publishing House and Editing Place
Centro de Estudios de la Provincia de Santiago de México de la Orden de Predicadores
Magazine
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
Centro de Estudios de la Provincia de Santiago de México de la Orden de Predicadores
ISSN
0188-896X
Summary
Information provided by the agent in
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.
Show more
Show less
Key Words
SISTEMA DE SECUENTESLOGICA INTUICIONISTALEY DE PEIRCE