logica simbolica
Base de la lógica simbólica moderna
El desarrollo moderno de la lógica simbólica se inició con el matemático inglés George Boole. En 1847, publicó un panfleto, "Análisismatemático de la lógica", en el que sostenía que la lógica se debía aliar con la matemática en lugar de la filosofía. Observando la relación entre el razonamiento deductivo y los símbolos del álgebra,ideó un lenguaje algebraico, con tres operaciones básicas: "Y", "O" y "NO". Estas tres funciones formaron la base de su premisa. Eran, y siguen siendo, las únicas operaciones necesarias para realizarcomparaciones o funciones matemáticas básicas.
Matemática
La lógica simbólica ha contribuido al desarrollo de nuevos marcos axiomáticos, es decir sistemas formales utilizados para derivar teoremaslógicos, en varias ramas de la matemática, incluida la aritmética, la geometría y el análisis. El estudio de la lógica simbólica en matemática desarrolló lo que se llamó "la teoría de conjuntos", con suspioneros del siglo 20, incluido David Hilbert, Kurt Gödel y Gerhard Gentzen. El desarrollo de la teoría de conjuntos demostró que casi todas la matemática ordinaria se pueden formalizar en términosde conjuntos.
Proposiciones y operadores
En el lenguaje, la lógica simbólica se puede deducir de las proposiciones, que son declaraciones que no se pueden descomponer sin pérdida de significado. Lasproposiciones se representan así: A = B, B = C, entonces A = C, siendo A, B, y C símbolos de declaraciones no refutables. Dentro de estas proposiciones son operadores, "y", "o", "si ... entonces"...
Regístrate para leer el documento completo.