Afirma que el problema de la decisión en la lógica moderna, consiste en hallar un procedimiento algorítmico que permita, para toda fórmula construida de acuerdo a ciertos preceptos, determinar si es o no lógicamente verdadera, es decir, si resulta o no verdadera, en cualquier universo no vacío para toda, interpretación de sus letras predicativas, definidas en dicho elemento como interpretación de sus variables individuales, procedimientos que cumple un importante cometido en lógica deductiva. Encamina la investigación al análisis del problema de la decisión en determinadas clases de fórmulas o en determinados sistemas formales o en determinadas clases de fórmulas. Expone los procedimientos publicados por Quine, los que sostiene, representan un innegable esfuerzo por hallar una solución práctica, y sobre todo utilizable del problema de la decisión para fórmulas (predicat...

Busca un procedimiento decisorio para fórmulas monádicas de primer grado de fácil aplicación, por lo menos en el nivel de expresiones de módica pero no desdeñable complejidad, y de tal naturaleza que aparezca como inevitable continuación de las técnicas y objetivos propios de la lógica proposicional, sin cambios de orientación y con un mínimo de agregados.