Explorando por Autor "Trelles, Óscar"

Mostrando 1 - 2 de 2

Texto completo enlazado
Filosofía, lógica y computación
(Pontificia Universidad Católica del Perú. Instituto Riva-Agüero, 1991-06-09) Trelles, Óscar
El seminario consiste en la lectura comentada y el análisis del libro Computability, Computable Functions, Logic, and the Foundations of Mathematics, de Richard L. Epstein y Walter A. Carnielli. Este texto trata problemas de lógica y matemáticas vinculados con sus fundamentos filosóficos y sus alcances en el campo de la informática.
Texto completo enlazado
Proposiciones vs. oraciones eternas en Quine
(Pontificia Universidad Católica del Perú. Fondo Editorial, 1989) Trelles, Óscar
En el artículo primero se pone de manifiesto la necesidad de aclarar qué son los portadores de valores de verdad; luego se revisan las objeciones de Quine a la teoría de las proposiciones; y por último, a partir de la consideración de las oraciones tipo eternas de Quine se propone a las proposiciones como las portadoras de valores de verdad.