Historia+De+La+Lògica

= media type="custom" key="5619827" =

====Históricamente se considera a Aristóteles como el fundador de la **lógica** como herramienta básica para todas las Ciencias. ==== ====La lógica formal, como un análisis explícito de los métodos de razonamientos, se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el siglo V y el siglo I a. C. ==== ====En China no duró mucho tiempo: la traducción y la investigación escolar en lógica fue reprimida por la dinastia Quin. En India, la lógica duró bastante más: se desarrolló hasta que en el mundo islámico apareció la escuela de Asharite, la cual suprimió parte del trabajo original en lógica. (A pesar de lo anterior, hubo innovaciones escolásticas indias hasta principios del siglo XIX, pero no sobrevivió mucho dentro de la India Colonial). El tratamiento sofisticado y formal de la lógica moderna aparentemente proviene de la tradición griega. ==== ====Aristóteles, fue el primero en emplear el término “Lógica” para referirse al estudio de los argumentos dentro del "lenguaje apofántico" como manifestador de la verdad en la ciencia. Pensaba que la verdad se manifiesta en el juicio verdadero y el argumento válido en el silogismo: “Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente". ==== ====Kant en el siglo XVIII pensaba que Aristóteles había llevado la lógica formal a su perfección, por lo que básicamente hasta entonces no había habido modificaciones de importancia. Y lo justificaba al considerar que siendo la lógica una ciencia formal, era por ello analítica y a priori, lo que justifica su necesidad y su universalidad. ==== ====A partir de mediados del Siglo XIX la lógica formal comenzó a ser estudiada en el campo de las matemáticas y posteriormente por las ciencias computacionales, naciendo así la Lógica Simbólica.La lógica simbólica trata de esquematizar los pensamientos de forma clara y sin ambigüedades. Para ello usa un lenguaje formalizado constituido como cálculo. ====

-Historia de la Lógica Matemática:
===="Lógica Matemática" fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lógica de Aristóteles, pero desde el punto de vista de una nueva notación, más abstracta, tomada del álgebra. ==== ====Fueron George Boole y Augustus de Morgan, a mediados del siglo XIX, quienes primero presentaron un sistema matemático para modelar operaciones lógicas. La lógica tradicional aristotélica fue reformada y completada, obteniendo un instrumento apropiado para investigar sobre los fundamentos de la matemática. ====