Return to search

Ferro y los procedimientos decisorios de la lógica

El artículo es un esbozo general de los procedimientos decisorios parafórmulas monádicas de primer grado tratados por Juan Bautista Ferro. Seinicia con una breve semblanza de Ferro. Luego trata el problema de ladecisión, y presenta los procedimientos decisorios de Quine (QS, QL y QM),Georg H. Von Wright (VW), Bernays Schonfinkel (BS), S.C. Kleene y elprocedimiento 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.

Identiferoai:union.ndltd.org:PUCP/oai:tesis.pucp.edu.pe:123456789/113255
Date09 April 2018
CreatorsRosales Papa, Diógenes
PublisherPontificia Universidad Católica del Perú - Departamento de Humanidades
Source SetsPontificia Universidad Católica del Perú
LanguageEspañol
Detected LanguageSpanish
TypeArtículo
FormatPDF
SourceAreté; Vol. 7, Núm. 2 (1995); 227-243
RightsArtículo en acceso abierto, Attribution 4.0 International, https://creativecommons.org/licenses/by/4.0/

Page generated in 0.0015 seconds