Ferro y los procedimientos decisorios de la lógica
| dc.contributor.author | Rosales Papa, Diógenes | es_ES |
| dc.date.accessioned | 2018-04-09T23:00:36Z | |
| dc.date.available | 2018-04-09T23:00:36Z | |
| dc.date.issued | 1995 | es_ES |
| dc.description.abstract | 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. | es_ES |
| dc.description.sponsorship | Pontificia Universidad Católica del Perú. Departamento de Humanidades | |
| dc.format | application/pdf | |
| dc.identifier.doi | https://doi.org/10.18800/arete.199502.003 | |
| dc.identifier.uri | http://revistas.pucp.edu.pe/index.php/arete/article/view/5170/5162 | |
| dc.language.iso | spa | |
| dc.publisher | Pontificia Universidad Católica del Perú. Fondo Editorial | es_ES |
| dc.publisher.country | PE | |
| dc.relation.ispartof | urn:issn:2223-3741 | |
| dc.relation.ispartof | urn:issn:1016-913X | |
| dc.rights | info:eu-repo/semantics/openAccess | es_ES |
| dc.rights.uri | http://creativecommons.org/licenses/by/4.0 | * |
| dc.source | Areté; Vol. 7, Núm. 2 (1995) | es_ES |
| dc.subject | Filosofía | es_ES |
| dc.subject | Lógica | es_ES |
| dc.subject.ocde | https://purl.org/pe-repo/ocde/ford#6.03.01 | |
| dc.title | Ferro y los procedimientos decisorios de la lógica | es_ES |
| dc.type | info:eu-repo/semantics/article | |
| dc.type.other | Artículo |