Logica Matematica

LOGICA MATEMÁTICA. GENERALIDADES  
 
QUE PRETENDE LA LOGICA MATEMÁTICA.
La lógica matemática es el intento de dar una “forma universal” al pensamiento, expresándolo por un sistema unívoco designos (estos quiere decir, un sistema en el que cada signo tenga un solo significado en un mismo contexto), con un sistema de relaciones entre esos signos comparable al cálculo matemático, para alcanzarasí todas las verdades.
La lógica matemática pretende hacer que todas las relaciones reales se vuelvan formales; pretende reducirlas a una “expresión matemática” que pueda ser calculada como en lasmatemáticas.
Por esa razón es que se le llama también “álgebra de la lógica”.
OBJETO DE LA LOGICA MATEMÁTICA.
Al estudiar la lógica clásica, hemos constatado el hecho de que la relaciónfundamental que se estudia es la del verbo ser.
Eso es así porque la lógica clásica es una lógica que parte del “análisis de las proposiciones en sus términos” componentes: considerar sólo una relación oreducir las demás relaciones a una sola simplifica el asunto y posibilita la construcción formal de la lógica clásica.
La lógica matemática considera las proposiciones como formando una unidad designificado, como una proposición ya constituida, por eso es que la lógica matemática ha sido llamada también “lógica de proposiciones no analizadas”.
Esto significa que el interés de la lógicamatemática recae en la proposición integralmente considerada, lo cual no es obstáculo para efectuar en algún nivel ciertos análisis de las proposiciones.
METODO DE LA LÓGICA MATEMÁTICA.
Considera la lógicamatemática como punto de partida las relaciones de “inclusión” (producto lógico) y de “exclusión” (suma lógica).
A partir de esas relaciones se puede establecer un sistema de simbolización como eldel álgebra en el cual pueda expresarse toda proposición del lenguaje y de la ciencia.
Por ese medio pretenden analizar a un nivel metalógico (más que lógico) todo tipo de razonamiento desde la...