Explorando por Autor "Rosales Papa, Diógenes"

Mostrando 1 - 3 de 3

Texto completo enlazado
Ferro y los procedimientos decisorios de la lógica
(Pontificia Universidad Católica del Perú. Fondo Editorial, 1995) Rosales Papa, Diógenes
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.
Texto completo enlazado
Introducción a la filosofía de Carnap
(Pontificia Universidad Católica del Perú. Fondo Editorial, 1994) Rosales Papa, Diógenes
El artículo es una presentación general de la filosofía de Carnap, tanto de sus desarrollos en el campo de las ciencias formales como en el de las ciencias fácticas. En el primero, sus investigaciones están orientadas al estudio de la semiótica (construcción de lenguajes formalizados entendidos como instrumentos para el esclarecimiento de problemas filosóficos). Considera que los procedimientos teóricos de la ciencia requieren de la deducción y el cálculo para ser aplicados a las ciencias empíricas. En las ciencias fácticas, los enunciados sólo expresan regularidades del mundo. Estas son: las leyes universales y las leyes estadísticas; las primeras están formuladas como proposiciones condicionales universales y las últimas se valen de la lógica de la probabilidad, que es distinta de la inducción.
Acceso Abierto
Introducción a la lógica
(Pontificia Universidad Católica del Perú. Fondo Editorial, 2000) Trelles Montero, Óscar; Fuentes, Miguel Humberto; Montealegre Scott, Juan; Rosales Papa, Diógenes
Introducción a la Lógica busca familiarizar al lector con el manejo de los conceptos básicos de la lógica proposicional y cuantificacional, relacionando en estas dos partes los aspectos semánticos y sintácticos. La primera parte del texto, desarrollada por el profesor Óscar Trelles Montero, contiene la vinculación del lenguaje simbólico con los lenguajes naturales, tanto en la lógica proposicional como en la lógica cuantificacional. El instrumento de la decisión usado en esta parte es el método de los diagramas semánticos. La segunda parte, expuesta por el profesor Diógenes Rosales Papa, aborda el método de la deducción natural, con el objeto de demostrar las principales fórmulas válidas de la lógica proposicional y cuantificacional.