Return to search

Una interpretación algebraica de la lógica proposicional y de sus implicancias en fórmulas predicativas cerradas con cuantificadores

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.

Identiferoai:union.ndltd.org:Cybertesis/oai:cybertesis.unmsm.edu.pe:cybertesis/4831
Date January 2016
CreatorsMerma Mora, Miguel Angel
ContributorsLuis Piscoya Hermoza
PublisherUniversidad Nacional Mayor de San Marcos
Source SetsUniversidad Nacional Mayor de San Marcos - SISBIB PERU
LanguageSpanish
Detected LanguageSpanish
Typeinfo:eu-repo/semantics/bacherlorThesis
SourceRepositorio de Tesis - UNMSM, Universidad Nacional Mayor de San Marcos
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0019 seconds