La Ley de Peirce y las formas de la negación

Authors :: Palau, Gladys
Durán, Cecilia
Source :: Memoria académica, SEDICI (UNLP), Universidad Nacional de La Plata, instacron:UNLP, Epistemología e historia de la ciencia 12, 458-463. (2006), Memoria Académica (UNLP-FAHCE), Universidad Nacional de La Plata. Facultad Humanidades y Ciencias de la Educación, instacron:UNLP-FAHCE
Publication Year :: 2006
Abstract: En 1885 Peirce axiomátizó la lógica preposicional con cinco axiomas (icons), los cuales en la formalización propuesta por Prior (1958) son: P1. ⊢ A → A (3.376) P2. ⊢ (A → (B → C)) → (B → (A → C)) (3.337) P3. ⊢ (A → B) → ((B → C) → (A → C)) (3.379) P4. ⊢ f → A (3.381) (EFQ) P5. ⊢ ((A → B) → A) → A (3.384) (LP) Es precisamente su quinto icon, el que se conoce en la literatura lógica con el nombre de Ley de Peirce (LP).<br />Facultad de Humanidades y Ciencias de la Educación

Subjects :: Lógica matemática
Filosofía de las ciencias
Peirce, Charles Sanders
Filosofía
Teorías
Lógica

Language :: Spanish; Castilian
ISSN :: 25251198
Database :: OpenAIRE
Journal :: Memoria académica, SEDICI (UNLP), Universidad Nacional de La Plata, instacron:UNLP, Epistemología e historia de la ciencia 12, 458-463. (2006), Memoria Académica (UNLP-FAHCE), Universidad Nacional de La Plata. Facultad Humanidades y Ciencias de la Educación, instacron:UNLP-FAHCE
Accession number :: edsair.dedup.wf.001..b02f2c9e0f2f447d8f7b72f2cc0eb6d7

Tools