"Antes del pensamiento que aspira a una coherencia lógicahallamos fe en una u otra magia".

Por: Carlos A. Caycedo Narváez

El nacimiento de la lógica propiamente dicho está directamente relacionado con el nacimiento intelectual del ser humano. La lógica emerge como mecanismo espontáneo en el enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla.
Actualmente la Lógica incorpora la fusión entre matemáticas y computación. Las computadoras tienden a explorar datos inteligentemente transfiriendo información de las bases de datos a las bases de conocimiento interconectadas a través de la Red a escala infinitesimal.
Alan Turing Matemático y Lógico pionero en Teoría de la Computación que contribuye a importantes análisis lógicos de los procesos computacionales. Las especificaciones para la computadora abstracta que él idea -conocida como Máquina de Turing-(ver imagen), resulta ser una de sus más importantes contribuciones a la Teoría de la Computación.

En la matemática, una estructura algebraica es un conjunto de elementos con unas propiedades operacionales determinadas, es decir, lo que define a la estructura del conjunto son las operaciones que se pueden realizar con los elementos de dicho conjunto y las propiedades matemáticas que dichas operaciones poseen. Estructuras algebraicas principales son: Semigrupo, Monoide, Grupo, Anillo, Cuerpo, Módulo, Espacio vectorial
El Álgebra de Boole (también llamada Retículas booleanas) en informática y matemática, son estructuras algebraicas que rigorizan las operaciones lógicas Y, O y NO, así como el conjunto de operaciones unión, intersección y complemento.
Se denomina así en honor a George Boole, matemático inglés que fue el primero en definirla como parte de un sistema lógico a mediados del siglo XIX. Específicamente, el álgebra de Boole fue un intento de utilizar las técnicas algebraicas para tratar expresiones de la lógica proposicional los matemáticos británicos George Boole y Augustus De Morgan abrieron un nuevo campo a la lógica, hoy conocido como lógica simbólica (o moderna), El sistema lógico de Russell y Whitehead cubre un espectro mayor de posibles argumentaciones que las que se pueden encontrar en la lógica silogística. Introduce símbolos para frases enteras y para las conjunciones que las unen, como “o”, “y”, “si... entonces...”. Cuenta con símbolos diferentes para el sujeto lógico y el predicado lógico de una frase; y adjudica símbolos para distinguir las clases, para los miembros de las clases y para las relaciones de la pertenencia a una clase y la inclusión en una clase. La lógica matemática disipa numerosos equívocos. Durante siglos, los logicistas se habían preguntado si enunciados tales como "el círculo cuadrado es imposible" incluía la idea de que el concepto de "círculo cuadrado" existía "de alguna forma" (pues de lo que no existe no se puede hablar). Russel y Whitehead, en sus Principia Mathematica, mostraron que el problema desaparece si se transcribe el enunciado de una forma más rigurosa. Por ejemplo: "No existe un X tal que X sea a la vez cuadrado y redondo".
Gracias a la logística, la abstracción matemática se ha ampliado considerablemente. Se han hipotetizado no solamente lógicas a dos valores (sí y no), sino también a tres valores, a cuatro, a diez valores, a una infinidad de valores, al mismo tiempo que lógicas de probabilidades, lógicas polivalentes, lógicas modales etc.
En la actualidad, el álgebra de Boole se aplica de forma generalizada en el ámbito del diseño electrónico. Claude Shannon fue el primero en aplicarla en el diseño de circuitos de conmutación eléctrica biestables, en 1938.

BIBLIOGRAFIA

TRACTATUS LOGICO-PHILOSOPHICUSde WITTGENSTEIN, LUDWIG EDITORIAL TECNOSNº Edición: 1ªAño de edición: 2007Plaza edición: MADRID
DICCIONARIO DE LÓGICA Y FILOSOFIA DE LA CIENCIAde MOSTERIN, JESUS y TORRETTI, ROBERTOALIANZA EDITORIAL S.A.Nº Edición: 1ªAño de edición: 2002
LA LOGICA DE LA INVESTIGACION CIENTIFICAde POPPER, KARL RAIMUNDEDITORIAL TECNOS. Nº Edición: 1ªAño de edición: 1985Plaza edición: MADRID