1. Antecedentes
1.1. Hablar de la historia de la Lógica es hablar de la historia misma del ser humano. Desde tiempos inmemoriales, el hombre ha estado en contacto con la naturaleza, preguntándose cómo es que ésta funciona, cuestionando los fenómenos que observaba, todo esto con la finalidad de tratar de entender el entorno en el que se desenvolvía
1.2. La lógica tiene sus primeros antecedentes en la Grecia Antigua, con Aristóteles quien comienza a utilizar el adjetivo lógico, cuyo significado comprende los términos razón y palabra. Podríamos considerar la lógica como la ciencia de pensar rectamente, es decir como un proceso intelectual ordenado a obtener razonamientos correctos o formalmente válidos.
2. Historia
2.1. Lógica Clasica
2.1.1. 450 BCE Protágoras de Abdera (480 - 410 a.C.) Introdujo la idea del relativismo, la cual consiste en entender la posibilidad de emitir un juicio a favor y en contra sobre un fenómeno observado, y que ambos juicios sean válidos
2.1.2. 427 BCE Platón (427 - 347 a.C.) Él asegura que la explicación de la existencia del mundo en el que vivimos radica en las ideas, las cuales se van transmitiendo de persona a persona mediante el diálogo (la dialéctica).
2.1.3. 400 BCE Aristóteles (384 - 322 a.C.) Fue el primero en tratar de formalizar el razonamiento humano, utilizando un lenguaje ordinario
2.1.4. 300 BCE Euclides (325 - 265 a.C.) Sus aportaciones más relevantes fueron en materia de Geometría plana, en su obra "Los Elementos". Introdujo el algoritmo del máximo común divisor de dos números.
2.2. Lógica Matemática
2.2.1. 1637 René Descartes (1596 - 1650) Es considerado el padre de la Filosofía Moderna y de la Geometría Analítica. Se le atribuye la frase "Pienso, luego existo"
2.2.2. 1672 Isaac Newton (1642-1727) Se le atribuyen innumerables aportaciones: Ley de la Gravitación Universal; leyes del movimiento; cálculo infinitesimal;etc
2.2.3. 1684 Gottfried Wilhelm Leibniz (1646-1716) Fue el primero en formular la Lógica como base del razonamiento matemático (Lógica Moderna), convirtiéndose en precursor de la Lógica Matemática, la cual, en esencia, consiste en expresar con un lenguaje artificial la veracidad de las afirmaciones.
2.3. Lógica Simbólica
2.3.1. 1838 Augustus De Morgan (1806-1871) Hizo grandes aportaciones en materia de Lógica y Matemáticas. Definió el término Inducción Matemática, el cual es un método de demostración de proposiciones.
2.3.2. 1847 George Boole (1815-1864) Bool retomó los trabajos de Leibniz y formalizó la idea de construir la Logica mediante cálculos matemáticos, con la utilización de un nuevo lenguaje al que llamó Álgebra Booleana (también conocida como Álgebra de Conjuntos)
2.3.3. 1874 Georg Ferdinand Cantor (1845-1918) Creó la Teoría de Conjuntos. Definió a un conjunto como una colección de objetos distintos, definidos, de nuestra percepción o nuestro pensamiento.
2.3.4. 1879 Gottlob Frege (1848-1925) Se considera como el padre de la Lógica Matemática. Concebía que la idea del número natural se podía reducir a conceptos lógicos, y que por lo tanto se podía demostrar que la Aritmética era una parte de la Lógica.
2.3.5. 1884 Giuseppe Peano (1858-1932) Peano da continuidad a los trabajos realizados en el siglo XIX en materia de Lógica Matemática.
2.3.6. 1910 Bertrand Russell (1872 - 1970) y Alfred North Whitehead (1861 - 1947) Ellos argumentaban que la Matemática se derivaba de la Lógica. Realizaron grandes aportaciones en cuestión de Lógica Matemática a la civilización occidental
2.3.7. 1930 Kurt Gödel (1906 - 1978) Su tésis doctoral consistía en la demostración del Teorema de las Proposiciones Indecidibles.
2.3.8. 1936 Alan Mathison Turing (1912 - 1954) Sentó las bases del concepto moderno de Algoritmo, gracias a que retomó algunos de los trabajos de Gödel para posteriormente inventar una máquina capaz de realizar un proceso y mostrar el resultado del mismo, mediante la lectura de datos de entrada.
2.3.9. 1956 John McCarthy (1927 - 2011) Se le considera el padre de la Inteligencia Artificial. Proponía el desarrollo de un nuevo lenguaje de programación centrado en proporcionar "inteligencia" a las máquinas.
3. Relación con otras ciencias
3.1. Lógica y Derecho
3.1.1. Se relaciona porque esta va a estudiar los conceptos, juicios y razonamientos.
3.2. Lógica y Psicologia
3.2.1. Se relaciona porque esta estudia la forma de pensar del sujeto y el razonamiento elaborado
3.3. Lógica y Gramatica
3.3.1. Se relaciona porque esta necesita lógica para que un argumento o palabra tenga orden y coherencia
3.4. Lógica y Matemática
3.4.1. Se relaciona porque esta ciencia ocupa el razonamiento para tener un argumento lógico
3.5. Lógica y Filosofía
3.5.1. Se relaciona porque estudian al ser y las disciplinas del ser en su entorno.
3.6. Lógica y Linguistica
3.6.1. Se relaciona porque también se encarga del orden de los argumentos
3.7. Lógica y Computación
3.7.1. Se relaciona porque esta ocupa demasiado un razonamiento subseptible
3.8. Lógica y Etimología
3.8.1. Se relaciona porque en esta se ocupa de un discurso científico para convalidar las consecuencias que derivan de estos