Ferro y los procedimientos decisorios de la lógica

Descripción del Articulo

El artículo es un esbozo general de los procedimientos decisorios para fórmulas monádicas de primer grado tratados por Juan Bautista Ferro. Se inicia con una breve semblanza de Ferro. Luego trata el problema de la decisión, y presenta los procedimientos decisorios de Quine (QS, QL y QM), Georg H. Vo...

Descripción completa

Detalles Bibliográficos
Autor: Rosales Papa, Diógenes
Formato: artículo
Fecha de Publicación:1995
Institución:Pontificia Universidad Católica del Perú
Repositorio:PUCP-Institucional
Lenguaje:español
OAI Identifier:oai:repositorio.pucp.edu.pe:20.500.14657/113255
Enlace del recurso:http://revistas.pucp.edu.pe/index.php/arete/article/view/5170/5162
https://doi.org/10.18800/arete.199502.003
Nivel de acceso:acceso abierto
Materia:Filosofía
Lógica
https://purl.org/pe-repo/ocde/ford#6.03.01
id RPUC_e53731e286e7e561b8260c17cdec6767
oai_identifier_str oai:repositorio.pucp.edu.pe:20.500.14657/113255
network_acronym_str RPUC
network_name_str PUCP-Institucional
repository_id_str 2905
spelling Rosales Papa, Diógenes2018-04-09T23:00:36Z2018-04-09T23:00:36Z1995http://revistas.pucp.edu.pe/index.php/arete/article/view/5170/5162https://doi.org/10.18800/arete.199502.003El artículo es un esbozo general de los procedimientos decisorios para fórmulas monádicas de primer grado tratados por Juan Bautista Ferro. Se inicia con una breve semblanza de Ferro. Luego trata el problema de la decisión, y presenta los procedimientos decisorios de Quine (QS, QL y QM), Georg H. Von Wright (VW), Bernays Schonfinkel (BS), S.C. Kleene y el procedimiento decisorio Ferro Herbrand (FH). Cada uno de estos métodos muestra el esfuerzo por reducir la lógica cuantificacional monádica de primer orden a la lógica proposicional; en este sentido, el método FH opera con mayores ventajas sobre los otros métodos.Pontificia Universidad Católica del Perú. Departamento de Humanidadesapplication/pdfspaPontificia Universidad Católica del Perú. Fondo EditorialPEurn:issn:2223-3741urn:issn:1016-913Xinfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0Areté; Vol. 7, Núm. 2 (1995)reponame:PUCP-Institucionalinstname:Pontificia Universidad Católica del Perúinstacron:PUCPFilosofíaLógicahttps://purl.org/pe-repo/ocde/ford#6.03.01Ferro y los procedimientos decisorios de la lógicainfo:eu-repo/semantics/articleArtículo20.500.14657/113255oai:repositorio.pucp.edu.pe:20.500.14657/1132552025-07-07 11:41:58.675http://creativecommons.org/licenses/by/4.0info:eu-repo/semantics/openAccessmetadata.onlyhttps://repositorio.pucp.edu.peRepositorio Institucional de la PUCPrepositorio@pucp.pe
dc.title.es_ES.fl_str_mv Ferro y los procedimientos decisorios de la lógica
title Ferro y los procedimientos decisorios de la lógica
spellingShingle Ferro y los procedimientos decisorios de la lógica
Rosales Papa, Diógenes
Filosofía
Lógica
https://purl.org/pe-repo/ocde/ford#6.03.01
title_short Ferro y los procedimientos decisorios de la lógica
title_full Ferro y los procedimientos decisorios de la lógica
title_fullStr Ferro y los procedimientos decisorios de la lógica
title_full_unstemmed Ferro y los procedimientos decisorios de la lógica
title_sort Ferro y los procedimientos decisorios de la lógica
author Rosales Papa, Diógenes
author_facet Rosales Papa, Diógenes
author_role author
dc.contributor.author.fl_str_mv Rosales Papa, Diógenes
dc.subject.es_ES.fl_str_mv Filosofía
Lógica
topic Filosofía
Lógica
https://purl.org/pe-repo/ocde/ford#6.03.01
dc.subject.ocde.none.fl_str_mv https://purl.org/pe-repo/ocde/ford#6.03.01
description El artículo es un esbozo general de los procedimientos decisorios para fórmulas monádicas de primer grado tratados por Juan Bautista Ferro. Se inicia con una breve semblanza de Ferro. Luego trata el problema de la decisión, y presenta los procedimientos decisorios de Quine (QS, QL y QM), Georg H. Von Wright (VW), Bernays Schonfinkel (BS), S.C. Kleene y el procedimiento decisorio Ferro Herbrand (FH). Cada uno de estos métodos muestra el esfuerzo por reducir la lógica cuantificacional monádica de primer orden a la lógica proposicional; en este sentido, el método FH opera con mayores ventajas sobre los otros métodos.
publishDate 1995
dc.date.accessioned.none.fl_str_mv 2018-04-09T23:00:36Z
dc.date.available.none.fl_str_mv 2018-04-09T23:00:36Z
dc.date.issued.fl_str_mv 1995
dc.type.none.fl_str_mv info:eu-repo/semantics/article
dc.type.other.none.fl_str_mv Artículo
format article
dc.identifier.uri.none.fl_str_mv http://revistas.pucp.edu.pe/index.php/arete/article/view/5170/5162
dc.identifier.doi.none.fl_str_mv https://doi.org/10.18800/arete.199502.003
url http://revistas.pucp.edu.pe/index.php/arete/article/view/5170/5162
https://doi.org/10.18800/arete.199502.003
dc.language.iso.none.fl_str_mv spa
language spa
dc.relation.ispartof.none.fl_str_mv urn:issn:2223-3741
urn:issn:1016-913X
dc.rights.es_ES.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.uri.*.fl_str_mv http://creativecommons.org/licenses/by/4.0
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0
dc.format.none.fl_str_mv application/pdf
dc.publisher.es_ES.fl_str_mv Pontificia Universidad Católica del Perú. Fondo Editorial
dc.publisher.country.none.fl_str_mv PE
dc.source.es_ES.fl_str_mv Areté; Vol. 7, Núm. 2 (1995)
dc.source.none.fl_str_mv reponame:PUCP-Institucional
instname:Pontificia Universidad Católica del Perú
instacron:PUCP
instname_str Pontificia Universidad Católica del Perú
instacron_str PUCP
institution PUCP
reponame_str PUCP-Institucional
collection PUCP-Institucional
repository.name.fl_str_mv Repositorio Institucional de la PUCP
repository.mail.fl_str_mv repositorio@pucp.pe
_version_ 1838174781455728640
score 13.87115
Ferro y los procedimientos decisorios de la lógica
Nota importante:
La información contenida en este registro es de entera responsabilidad de la institución que gestiona el repositorio institucional donde esta contenido este documento o set de datos. El CONCYTEC no se hace responsable por los contenidos (publicaciones y/o datos) accesibles a través del Repositorio Nacional Digital de Ciencia, Tecnología e Innovación de Acceso Abierto (ALICIA).

Ejemplares Similares