Los procedimientos decisorios para fórmulas monádicas de primer grado ideados por W. V. O. Quine.
Date
1966
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad Nacional Mayor de San Marcos
Abstract
La presente tesis examina los procedimientos decisorios desarrollados por W. V. O. Quine para fórmulas monádicas de primer grado, abordando su aplicabilidad en la lógica formal. Juan B. Ferro describe y evalúa en detalle tres métodos de decisión creados por Quine, que buscan determinar la validez de fórmulas en sistemas lógicos. La investigación discute el procedimiento QS, el cual se basa en una evaluación tabular para resolver problemas de decisión en expresiones monádicas, analizando sus ventajas y limitaciones en comparación con otros métodos. Asimismo, se exploran las técnicas de reducción y el impacto de los cuantificadores y operadores lógicos en la efectividad de estos métodos. La tesis concluye que los procedimientos de Quine representan una contribución significativa, aunque imperfecta, a la lógica matemática y la teoría de la decisión.
Description
Tesis de Bachiller
Keywords
Procedimientos decisorios, Monádicas, W. V. O. Quine, Teoría de la decisión, Lógica matemática