# data[].attributes.body
La lógica nació justo cuando el hombre fue creado, ya que desde el principio, los seres humanos son seres pensantes y por ende seres razonables y lógicos.
Sin embargo, se puede deducir que se originó formalmente en la Filosofía Eléata con Parménides, ya que se aplicaron los principios fundamentales de la misma:
1- Principio de Identidad
2- Principio de No Contradicción
3- Principio del Tercero Excluido
4- Principio de Razón Suficiente

# data[].attributes.body
Platón fundó la Academia de Atenas con el fin de formar a jóvenes aristócratas por medio de la Filosofía y la Política con el fin de que Siracusa fuera dirigida por filósofos.
Edificó su teoría del conocimiento con el fin de justificar el poder emergente de la figura del filósofo.
También estableció la existencia de dos mundos paralelos por medio de la Teoría de las Ideas o de las Formas:
1- El mundo de la ideas: en este se encuentra el alma y todo aquello que no puede ser corrompido y es eterno.
2- El mundo físico de los objetos: el cuerpo en el que se aprisiona el alma y que puede ser corrompido.
A grandes rasgos, establece la distinción marcada entre la percepción por medio de los sentidos y lo que se conoce por medio del intelecto.

# data[].attributes.body
Aristóteles es considerado como el fundador de la Lógica por haber alcanzado la más alta sistematización en la antigüedad, y aún en la actualidad.
Fue él quien creó el primer sistema lógico que analiza los principios de validez o invalidez de un razonamiento, dicho sistema es conocido como Silogismo Categórico y consiste en un argumento deductivo del que se infiere una conclusión a partir de dos premisas. Es autor del Organón, que es el conjunto de tratados en los que se contemplan un sistema de leyes y pensamientos para la adquisición de pensamientos.
Aristóteles estableció correspondencias recíprocas entre pensamiento lógica y estructura ontológica, y no hizo referencia a la Lógica como disciplina metafísica.

# data[].attributes.body
Euclides era matemático alejandrino, y fue el autor de la universal obra "Los Célebres Elementos"; es uno de los textos matemáticos más relevantes de la historia del pensamiento científico hasta el siglo XIX. En ella formuló el célebre postulado acerca de las Líneas Paralelas que en la Lógica se define con la afirmación: "En una superficie plana, a través del punto que se encuentra fuera de la línea recta puede trazarse sólo una línea que no cruce la dada".
También enseñó sobre los Axiomas, definiéndolos como proporciones matemáticas que son obvias, o cualquier regla matemática y lógica elemental.

# data[].attributes.body
"Pienso, luego existo"
Descartes parte de la duda universal como principio y prescinde de cualquier conocimiento previo que no puede ser demostrado por evidencia con que ha de manifestarse el espíritu. Él pone en duda todo conocimiento recibido, y aquello que se cree es la realidad, y confía solamente en la evidencia interior que se manifiesta en su propio sujeto. En conclusión "el ser humano puede llegar a la verdad a través del uso de la razón y el pensamiento lógico, sin necesidad de recurrir a la percepción o la experiencia".
Fue él quien creó la Geometría Analítica y aportó un corpus cuantitativo que permite el uso de métodos algebráicos.

# data[].attributes.body
Filósofo alemán, autor de Ciencia de la Lógica. Estaba fascinado por la obra de Kant y Rousseu, y a él se le atribuye la constitución de la Lógica Dialéctica entendida como principio motor del concepto que disuelve y produce las particularidades de lo universal.
La Lógica de Hegel, más que una ontología, un "decir del ser", es una historia del ser, no en el sentido habitual de historia, sino de genealogía del ser, siguiendo el esquema espiritual que no se reduce a un discurso diacrónico lineal, sino que cada momento conserva los anteriores y los supera.
Su filosofía es la identidad del ser y el pensamiento, y consideraba al espíritu como el proceso de evolución histórica del autoconocimiento de la Idea Absoluta.

# data[].attributes.body
Gottfried W. Leibniz fue Filósofo y Matemático alemán que fundó la Academia de Ciencias de Berlín en el año 1,700.
Enunció la necesidad de un leguaje riguroso, exacto y universal puramente formal. Descubrió el cálculo diferencial e integral, la dinámica, el lenguaje binario, el Ars Inveniendi y la máquina de calcular, entre otras invenciones, siendo caracterizado como "el gran pensador del Barroco".
Exigió un orden lógico en los conocimientos de cada región de Enciclopedia. La forma lógica, de la que nace dicho orden y hace posible la consolidación del sistema total de la Enciclopedia, consiste en la unión de los dos procedimientos máximos de llegar a lo desconocido: el análisis y la síntesis. Muchas de sus ideas y aportaciones tuvieron desarrollo en el siglo XX, conforme fueron conocidas.

# data[].attributes.body
Autor de la obra "Formulaire de Mathematiques" en la que desarrolla los principios que permiten la definición del conjunto de los números naturales. Fue uno de los fundadores de la Lógica Simbólica, como Matemático y Lógico se propuso el proyecto de expresar en un lenguaje simbólico la Lógica Matemática, entusiasmando a colaboradores que materializó en su obra.

# data[].attributes.body
Friederich G. Frege, Matemático y Lógico partió del análisis de los fundamentos de la matemática para llevar a cabo la más profunda renovación y desarrollo de la Lógica Clásica hasta el momento. Es el primero en introducir los cuantificadores u operadores y elaborar una Teoría de Cuantificación.
Completó sus estudios lógicos con estudios sobre semántica (filosofía del lenguaje). Estableció la distinción establecida entre sentido y referencia y entre objeto y función, y el tratamiento de los conceptos predicados como funciones.
Frege fue defensor del Logicismo por medio de su tesis de que las matemáticas son reducibles a la Lógica, en el sentido de que las verdades de la matemática son deducibles de las verdades de la Lógica.

# data[].attributes.body
George Boole, lógico y matemático aplicó el cálculo matemático a la Lógica, fundando el Álgebra de la Lógica.
Empleó símbolos y reglas operatorias adecuadas para permitir la representación de conceptos, ideas y razonamientos mediante variables y relaciones (ecuaciones) entre ellas.
Brindó un método general para formalizar la inferencia deductiva, representando raciocinios mediante sencillos sistemas de ecuaciones. Fue él quien sentó las bases de la computación actual "la Lógica Booleana" indica que todas las variables se definen en dos estados: verdadero o falso, o 1 y 0.

# data[].attributes.body
Augustus de Morgan fundamentó sus estudios en la Teoría del desarrollo de las relaciones y la matemáticas simbólica moderna o Lógica Matemática. Es el autor con mayor contribución como Reformador de la Lógica.
La formulación de Morgan fue influenciada por la alegorización de la Lógica emprendida por George Boole, que más tarde consolidó la afirmación De Morgan para el hallazgo.
La Primera Ley de Morgan sostiene que el complemento de un producto de "n" variables será igual a la suma de los complementos "n" variables.
La Segunda Ley de Morgan sostiene que el complemento de una suma de "n" variables será igual que el producto de los complementos de "n" variables.

# data[].attributes.body
Bertrand Rusell es uno de los creadores de la Logística y uno de los pensadores de mayor influencia en la Filosofía Científica contemporánea. Desarrolló la Lógica de las relaciones y perfeccionó el lenguaje del simbolismo lógico. A principios del siglo XX, junto a Whitehead y en pos de Frege, intentó fundamentar lógicamente las matemáticas (Logicismo).
Según Rusell la Lógica Matemática constituye una forma de tratar la Lógica Clásica mediante procedimientos semejantes de la matemática. Como la matemática (específicamente el álgebra) utiliza símbolos y signos de operaciones que en este caso se denominan lógicas.

# data[].attributes.body
Kurt Gödel aportó múltiples contribuciones a la Lógica Matemática, destacando la demostración de la consistencia de la Hipótesis Cantoriana del Continuo y el Teorema y prueba de "incompletez" semántica. Es decir que demostró que siempre que los axiomas puedan ser caracterizados por un sistema de reglas mecánicas, resulta indiferente para los enunciados tomados como axiomas.
Su primer Teorema de Incompletitud afirma que, bajo ciertas condiciones, ninguna teoría matemática formal capaz de describir los números naturales y la aritmética con suficiente expresividad, es a la vez consistente y completa.

# data[].attributes.body
Alan Turing fue un Matemático y Lógico pionero en Teoría de la Computación que contribuyó a importantes análisis lógicos de los procesos computacionales.
Las especificaciones para la computadora abstracta que él idea (conocida como la Máquina de Turing) resulta ser una de las más importantes contribuciones a la Teoría de la Computación. Probó la posibilidad de construir una máquina universal con la programación adecuada capaz de hacer el trabajo de cualquier máquina diseñada para resolver problemas específicos.

# data[].attributes.body
Luitzen Egbertus Jan Brouwer, Matemático y Lógico alemán fue el fundador de la Escuela de Lógica Intuicionista, contrarrestando definitivamente el formalismo de Hilbert. Fue miembro del Significs Group, destacando por sus trabajos Life, Art and Mysticism, y Sobre la Infabilidad de los Principio Lógicos.
Participó en el debate sobre los fundamentos de la matemática rechazando que la idea lógica debería ser el pilar de la matemática; más bien, la Lógica era solo una expresión de regularidades y patrones notorios en los sistemas construidos.

# data[].attributes.body
Alfred Tarski, Matemático, Lógico y Filósofo polaco fue un profesor destacado de la Universidad de California Berkeley, realizando importantes estudios sobre Álgebra en general, Teoría de Mediciones, Lógica Matemática, Teoría de Conjuntos, y Meta-matemáticas; estudios en los cuales incluyó respuestas a la paradoja de Banach-Tarski, el Teorema de la Indefinibilidad de la Verdad, Las Nociones de Cardinal, Ordinal y Relación, y fue inductor de las Álgebras Cilíndricas. Hizo aportaciones destacadas en la Teoría de Conjuntos, Lógica Polivalente, niveles de Lenguaje y Metalenguaje y conceptos semánticos. Fue el autor de "Introducción a la Lógica y a la Metodología de las Ciencias Deductivas" (1941) y La "Concepción Semántica de la Verdad y los Fundamentos de la Semántica" (1944).

# data[].attributes.body
Actualmente existe una cantidad incontable de personas que se dedican a la creación y operación de sistemas estructurados a base de la Lógica.
Cada persona con acceso a la tecnología, al aprendizaje y pensamiento racional, utiliza la Lógica en la vida cotidiana.
Podemos decir que la Lógica entonces se encuentra en los dispositivos electrónicos computacionales, en los lenguajes de programación, los algoritmos y las bases de datos virtuales. Es la Lógica la que posibilita el aprendizaje, la deducción y todo lo que se conoce como inteligencia artificial.