• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

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

Merma Mora, Miguel Angel January 2016 (has links)
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.

Page generated in 0.1016 seconds