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

Autores
Palau, Gladys; Durán, Cecilia
Año de publicación
2006
Idioma
español castellano
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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).
Facultad de Humanidades y Ciencias de la Educación
Fuente
Memoria académica
Materia
Filosofía
Lógica
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/89476
Acceder
id SEDICI_b02f2c9e0f2f447d8f7b72f2cc0eb6d7
oai_identifier_str oai:sedici.unlp.edu.ar:10915/89476
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling La Ley de Peirce y las formas de la negaciónPalau, GladysDurán, CeciliaFilosofíaLógicaEn 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).Facultad de Humanidades y Ciencias de la Educación2006info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionArticulohttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdf458-463http://sedici.unlp.edu.ar/handle/10915/89476<a href="http://www.memoria.fahce.unlp.edu.ar" target="_blank">Memoria académica</a>reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLPspainfo:eu-repo/semantics/altIdentifier/url/http://www.memoria.fahce.unlp.edu.ar/library?a=d&c=arti&d=Jpr9672info:eu-repo/semantics/altIdentifier/url/https://rdu.unc.edu.ar/handle/11086/2968info:eu-repo/semantics/altIdentifier/issn/2525-1198info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)2025-09-03T10:50:06Zoai:sedici.unlp.edu.ar:10915/89476Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:50:06.393SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv La Ley de Peirce y las formas de la negación
title La Ley de Peirce y las formas de la negación
spellingShingle La Ley de Peirce y las formas de la negación
Palau, Gladys
Filosofía
Lógica
title_short La Ley de Peirce y las formas de la negación
title_full La Ley de Peirce y las formas de la negación
title_fullStr La Ley de Peirce y las formas de la negación
title_full_unstemmed La Ley de Peirce y las formas de la negación
title_sort La Ley de Peirce y las formas de la negación
dc.creator.none.fl_str_mv Palau, Gladys
Durán, Cecilia
author Palau, Gladys
author_facet Palau, Gladys
Durán, Cecilia
author_role author
author2 Durán, Cecilia
author2_role author
dc.subject.none.fl_str_mv Filosofía
Lógica
topic Filosofía
Lógica
dc.description.none.fl_txt_mv 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).
Facultad de Humanidades y Ciencias de la Educación
description 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).
publishDate 2006
dc.date.none.fl_str_mv 2006
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Articulo
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/89476
url http://sedici.unlp.edu.ar/handle/10915/89476
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://www.memoria.fahce.unlp.edu.ar/library?a=d&c=arti&d=Jpr9672
info:eu-repo/semantics/altIdentifier/url/https://rdu.unc.edu.ar/handle/11086/2968
info:eu-repo/semantics/altIdentifier/issn/2525-1198
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
458-463
dc.source.none.fl_str_mv <a href="http://www.memoria.fahce.unlp.edu.ar" target="_blank">Memoria académica</a>
reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260378490241024
score 13.13397

Publicaciones similares