La presente investigación se circunscribe principalmente en el ámbito de la filosofía de la lógica y del metaanálisis lógico, en la medida en que se efectúa una exploración metalógica. El método empleado aplica procedimientos hipotético-deductivos al análisis del lenguaje formal de la lógica proposicional estándar. Esta metodología permite caracterizar aspectos sintácticos y semánticos de la lógica proposicional al dotarla de una interpretación no estándar de tipo algebraico. La interpretación algebraica efectuada permite proponer un método decisorio formulado en términos algebraicos para fórmulas predicativas monádicas de primer orden con identidad. De este modo, se le da continuidad a la investigación sobre los métodos decisorios, formulados ahora algebraicamente, puesto que así se tiene la ventaja de extender la decisión sobre las afirmaciones matemáticas. La presente investigación se vio alentada por la necesidad de realizar estudios interdisciplinarios o de frontera entre la lógica moderna y las matemáticas. Se ha dado un pequeño paso en este proyecto que otros investigadores pueden continuar.
Identifer | oai:union.ndltd.org:Cybertesis/oai:cybertesis.unmsm.edu.pe:cybertesis/4831 |
Date | January 2016 |
Creators | Merma Mora, Miguel Angel |
Contributors | Luis Piscoya Hermoza |
Publisher | Universidad Nacional Mayor de San Marcos |
Source Sets | Universidad Nacional Mayor de San Marcos - SISBIB PERU |
Language | Spanish |
Detected Language | Spanish |
Type | info:eu-repo/semantics/bacherlorThesis |
Source | Repositorio de Tesis - UNMSM, Universidad Nacional Mayor de San Marcos |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0196 seconds