Historia de la lógica

La historia de la lógica se ocupa del estudio del desarrollo de la ciencia de la inferencia válida (lógica). Las lógicas formales se desarrollaron en la antigüedad en India, China y Grecia. Los métodos griegos, particularmente la lógica aristotélica (o término lógica) tal como se encuentran en el Organon, encontraron una amplia aplicación y aceptación en la ciencia y las matemáticas occidentales durante milenios. Los estoicos, especialmente Crisipo, comenzaron el desarrollo de la lógica de predicados.

Filósofos cristianos e islámicos como Boecio (fallecido en 524), Ibn Sina (Avicena, fallecido en 1037) y Guillermo de Ockham (fallecido en 1347) desarrollaron aún más la lógica de Aristóteles en la Edad Media, alcanzando un punto culminante a mediados del siglo XIV, con Jean Buridán. El período comprendido entre el siglo XIV y principios del siglo XIX fue testigo de una gran decadencia y abandono, y al menos un historiador de la lógica considera este período estéril. Los métodos empíricos gobernaron el día, como lo demuestra el Novum Organon de Sir Francis Bacon de 1620.

La lógica revivió a mediados del siglo XIX, al comienzo de un período revolucionario en el que el tema se convirtió en una disciplina rigurosa y formal que tomó como modelo el método exacto de demostración utilizado en las matemáticas, un recuerdo de la tradición griega. El desarrollo de la lógica "simbólica" o "matemática" moderna durante este período por parte de Boole, Frege, Russell y Peano es el más significativo en los dos mil años de historia de la lógica, y podría decirse que es uno de los más importantes. eventos importantes y notables en la historia intelectual humana.

It is a long established fact that a reader will be distracted by the readable content of a page when looking at its layout. The point of using Lorem Ipsum is that it has a more-or-less normal distribution of letters, as opposed to using 'Content here, content here', making it look like readable English.