Ferro y los procedimientos decisorios de la lógica

Autores/as

  • Diógenes Rosales Papa Pontificia Universidad Católica del Perú
    Profesor del Departamento de Humanidades de la PUCP

DOI:

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

Resumen

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.

Descargas

Los datos de descargas todavía no están disponibles.

Descargas

Publicado

1995-07-30

Cómo citar

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

Número

Vol. 7 Núm. 2 (1995)

Sección

Artículos

Licencia

Derechos de autor 2016 Areté

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.