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

Mostrar todas las versiones(5)

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)...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Palau, Gladys, Durán, Cecilia
Formato: Articulo
Lenguaje:Español
Publicado: 2006
Materias:
Filosofía
Lógica
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/89476
http://www.memoria.fahce.unlp.edu.ar/library?a=d&c=arti&d=Jpr9672
https://rdu.unc.edu.ar/handle/11086/2968
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-89476
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Filosofía
Lógica
spellingShingle Filosofía
Lógica
Palau, Gladys
Durán, Cecilia
La Ley de Peirce y las formas de la negación
topic_facet Filosofía
Lógica
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).
format Articulo
Articulo
author Palau, Gladys
Durán, Cecilia
author_facet Palau, Gladys
Durán, Cecilia
author_sort Palau, Gladys
title La Ley de Peirce y las formas de la negación
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
publishDate 2006
url http://sedici.unlp.edu.ar/handle/10915/89476
http://www.memoria.fahce.unlp.edu.ar/library?a=d&c=arti&d=Jpr9672
https://rdu.unc.edu.ar/handle/11086/2968
work_keys_str_mv AT palaugladys laleydepeirceylasformasdelanegacion
AT durancecilia laleydepeirceylasformasdelanegacion
bdutipo_str Repositorios
_version_ 1764820490566762498

Ejemplares similares