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.

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.