Ferro y los procedimientos decisorios de la lógica

Authors

  • Diógenes Rosales Papa Pontifical Catholic University of Peru image/svg+xml

DOI:

https://doi.org/10.18800/arete.199502.003

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 cuan ti ficacional 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.

Downloads

Download data is not yet available.

Author Biography

  • Diógenes Rosales Papa, Pontifical Catholic University of Peru
    Profesor del Departamento de Humanidades de la PUCP

Downloads

Published

1995-07-30

Issue

Vol. 7 No. 2 (1995)

Section

Articles

License

Copyright (c) 2016 Areté

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How to Cite

Ferro y los procedimientos decisorios de la lógica. (1995). Areté, 7(2), 227-243. https://doi.org/10.18800/arete.199502.003