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álisis Matemático de la Lógica ", en el que sostenía que la lógica debe estar aliada con las matemáticas 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 : AND , OR y NOT. Estas tres funciones forman la base de su premisa . Eran , y siguen siendo , las únicas operaciones necesarias para realizar comparaciones o funciones matemáticas básicas .
Matemáticas
La lógica simbólica ha contribuido al desarrollo de nuevos marcos axiomáticos , sistemas formales utilizados para derivar teoremas lógicos , en varias ramas de las matemáticas, incluyendo la aritmética , la geometría y el análisis . El estudio de la lógica simbólica en matemáticas desarrollaron lo que se llamó " la teoría de conjuntos ", con sus primeros pioneros del siglo 20 , incluyendo David Hilbert , Kurt G ö del y Gerhard Gentzen . El desarrollo de la teoría de conjuntos demostró que casi todas las matemáticas ordinarias se pueden formalizar en términos de conjuntos .
Proposiciones y operadores
En el lenguaje, la lógica simbólica puede ser deducido de proposiciones , que son declaraciones que no se pueden descomponer sin pérdida de significado . Las proposiciones se representan así: A = B , B = C , entonces A = C , con A , B , y C que simboliza declaraciones no refutables . Dentro de estas proposiciones son operadores - "y ", " o bien ... o ", " si ... entonces", " si " y " implica ", entre otros - que actúan como bloques de conexión . En la proposición , " Joe vendrá a la fiesta sólo si Jane está ahí", " sólo si " actúa como un operador. Si la proposición " Jane no es en la fiesta " es cierto, entonces la proposición " Joe no es también en la fiesta, " está implícito . La adición de más operadores de resultados en las estructuras lógicas más complejas .
Informática
Toda la lógica simbólica es tan complejo como el trabajo con los números formados por unos y ceros . Como resultado , la evolución de Boole en las matemáticas han contribuido de manera espectacular en el campo de la informática. Hoy en día, todas las computadoras utilizan el sistema de lógica de Boole a través microchips que contienen miles de diminutos interruptores electrónicos dispuestos en "puertas " lógicas - las tres operaciones básicas AND, OR, NOT. Estos producen conclusiones previsibles y fiables y permiten que el ordenador ejecute sus operaciones utilizando un lenguaje binario.