Diferencia entre revisiones de «Historia de la lógica»
Contenido eliminado Contenido añadido
m BOT - Posible vandalismo de 190.182.16.34, revirtiendo hasta la edición 27809753 de Muro Bot. ¿Hubo un error? |
Página blanqueada |
||
| Línea 1: | Línea 1: | ||
La '''historia de la lógica''' documenta el desarrollo de la [[lógica]] en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lógico estaba ya implícito en [[Babilonia]] en algún sentido, la lógica como análisis explícito de los métodos de razonamiento ha recibido un tratamiento sustancial solo originalmente en tres tradiciones: la [[lógica en china|china]], la [[lógica india|india]] y la [[filosofía griega|griega]]. |
|||
Aunque las dataciones exactas son inciertas, particularmente en el caso de la [[India]], es probable que la lógica emergiese en las tres sociedades hacia el [[siglo IV a. C.|siglo IV a. C.]] El tratamiento formalmente sofisticado de la lógica proviene de la tradición griega, especialmente de la [[Organon|lógica aristotélica]], que sería más tarde desarrollada por los [[Lógica en la filosofía islámica|lógicos islámicos]] y, luego, por los lógicos de la Edad Media europea. El descubrimiento de la lógica india entre los especialistas británicos en el [[siglo XVIII]] influyó también en la lógica moderna. |
|||
== La lógica en Mesopotamia == |
|||
En [[Mesopotamia]], el ''Manual de diagnóstico médico'' de Esagil-kin-apli, escrito en el [[siglo XI a. C.|siglo XI a. C.]], se basó en un conjunto lógico de [[axioma]]s y asunciones, entre las que se incluyen la visión moderna de que, a través del examen e inspección de los síntomas de un paciente, es posible determinar el problema del mismo, su [[etiología]] y su desarrollo futuro, y las posibilidades de recuperación.<ref name=Stol-99>H. F. J. Horstmanshoff, Marten Stol, Cornelis Tilburg (2004), ''Magic and Rationality in Ancient Near Eastern and Graeco-Roman Medicine'', p. 99, [[Brill Publishers]], ISBN 90-04-13666-5.</ref> |
|||
Durante los siglos VIII y VII, los [[astronomía babilonia|astrónomos babilonios]] empezaron a utilizar una [[demostración consistente|lógica interna]] en sus sistemas de predicción planetaria, que fue una importante contribución a la lógica y la [[filosofía de la ciencia]].<ref name=Brown>D. Brown (2000), ''Mesopotamian Planetary Astronomy-Astrology '', Styx Publications, ISBN 90-5693-036-2.</ref> El pensamiento babilónico tuvo una considerable influencia en el pensamiento de la [[Grecia arcaica]].<ref>Giorgio Buccellati (1981), "Wisdom and Not: The Case of Mesopotamia", ''Journal of the American Oriental Society'' '''101''' (1), p. 35-47 [43].</ref> |
|||
== La lógica en Grecia == |
|||
En [[Grecia]], emergieron dos tradiciones lógicas opuestas. La lógica [[estoicismo|estoica]] estaba enraizada en [[Euclides de Megara]], pupilo de [[Sócrates]], y con su concentración en la [[lógica proposicional]] es la que quizás esté más próxima a la lógica moderna. Sin embargo, la tradición que sobrevivió a las influencias de culturas posteriores fue la [[escuela peripatética|peripatética]], que tuvo su origen en el conjunto de obras de Aristóteles conocido como ''[[Organon]]'', "instrumento", la primera obra griega sistemática sobre lógica. El examen de Aristóteles del [[silogismo]] permite interesantes comparaciones con el esquema indio de la inferencia y la menos rígida discusión china. |
|||
A través del latín en Europa occidental y de distintas lenguas orientales, como el [[idioma árabe|árabe]], [[armenio]] y [[georgiano]], la tradición aristotélica fue considerada de forma especial para la codificación de las leyes del razonamiento. Solo a partir del [[siglo XIX]] cambió este enfoque. |
|||
== La lógica en la India == |
|||
{{AP|Lógica india}} |
|||
Dos de las seis escuelas indias de pensamiento están relacionadas con la lógica: [[Nyaya]] y [[Vaisheshika]]. Los [[Nyaya Sutras]] de [[Aksapada Gautama]] constituyen el núcleo de textos de la escula Nyaya, una de las seis escuelas ortodoxas de filosofía [[hinduismo|hindú]]. Esta escuela [[realismo filosófico|realista]] trabajó con un rígido esquema de inferencia de cinco miembros que engloba una premisa inicial, una razón, un ejemplo, una aplicación y una conclusión. La [[filosofía budista]] [[idealismo|idealista]] se convirtió en la principal oponente de los Naiyayikas. [[Nagarjuna]], el fundador del camino intermedio [[Madhyamika]], desarrolló un análisis conocido como "catuskoti" o [[tetralemma]]. Esta argumentación de cuatro aspectos examinó y rechazó sistemáticamente la afirmación de una proposición, su negación, la afirmación conjunta y negación, y finalmente, el rechazo de su afirmación y negación. Pero fue con Dignaga y su sucesor Dharmakirti con quienes la lógica budista alcanzó su mayor altura. Su análisis, centrado en la definición de la implicación necesariamente lógica, "vyapti", conocida también como concomitancia o penetración invariable. A este fin, fue desarrollada una doctrina conocida como "apoha" o diferenciación. Comprende lo que se podría llamar la inclusión y exclusión de propiedades definitorias. Las dificultades concernientes a esta empresa, en parte, estimularon a la escuela neoescolástica de [[Navya-Nyāya]], que introdujo un análisis formal de la inferencia en al [[siglo XVI]]. |
|||
== La lógica en China == |
|||
{{AP|Lógica china}} |
|||
En China, un contemporáneo de [[Confucio]], [[Mozi]], "Maestro Mo", es considerado como el fundador de la escuela Mohista ([[mohísmo]]), cuyos principios están relacionados con temas como la inferencia válida y las condiciones de las conclusiones correctas. En particular, una de las escuelas que siguieron al mohísmo, los [[escuela de los nombres|lógicos]], es considerada por varios expertos como la primera que investigó la [[lógica formal]]. Desafortunadamente, debido a la [[legismo|rígida normativa legal]] durante la [[dinastía Qin]], esa línea de investigación desapareció de China hasta la introducción de la filosofía india por parte del [[budismo]]. |
|||
== La lógica en la filosofía islámica == |
|||
Durante un tiempo tras la muerte de [[Mahoma]], la [[sharia|ley islámica]] consideró importante formular estándares para los argumentos, lo que dio lugar a una nueva aproximación a la lógica en [[Kalam]], pero esta aproximación fue más tarde desplazada por ideas tomadas de la [[filosofía griega]] y [[filosofía helenística|helenística]] con el auge de los filósofos de la escuela [[Mu'tazili]], que valoraron extraordinariamente el ''Organon'' de Aristóteles. Las obras de los filósofos islámicos con influencias helenísticas fueron cruciales para la recepción de la lógica aristótelica en la Europa medieval, junto con los comentarios sobre el ''Organon'' elaborados por [[Averroes]]. Las obras de [[al-Farabi]], [[Avicenna]], [[al-Ghazali]] y otros lógicos musulmanes que en ocasiones criticaron y corrigieron la lógica aristotélica e introdujeron sus propias formas de lógica, también desempeñaron un papel central en el subsecuente desarrollo de la lógica europea medieval. |
|||
La lógica islámica no solo incluye el estudio de modelos formales de inferencia y su validación, sino también elementos de la [[filosofía del lenguaje]] y elementos de [[epistemología]] y [[metafísica]]. Debido a disputas con gramáticos árabes, los filósofos islámicos estuvieron muy interesados en trabajar en el estudio de las relaciones entre lógica y lenguaje, y dedicaron muchas discusiones a la cuestión del objeto de interés y objetivos de la lógica en relación con el razonamiento y el habla. En el área del análisis lógico-formal, elaboraron la teoría de los términos, proposiciones y silogismos. Consideraron el silogismo como la forma a la que toda argumentación racional podía reducirse, y consideraron la teoría silogística como el punto central de la lógica. Incluso, la [[poética]] fue considerada, en ciertos aspectos, como un arte silogístico por muchos de los más importantes lógicos islámicos. |
|||
Entre los más importantes desarrollos realizados por los lógicos musulmanes está el de la lógica de Avicena como sustituta de la lógica aristotélica. El sistema lógico de [[Avicena]] fue responsable de la introducción del silogismo hipotético,<ref name=Goodman>Lenn Evan Goodman (2003), ''Islamic Humanism'', p. 155, [[Oxford University Press]], ISBN 0-19-513580-6.</ref> de la lógica modo-temporal,<ref>[http://www.britannica.com/ebc/article-65928 History of logic: Arabic logic], ''[[Encyclopædia Britannica]]''.</ref><ref>Dr. Lotfollah Nabavi, [http://public.ut.ac.ir/html/fac/lit/articles.html Sohrevardi's Theory of Decisive Necessity and kripke's QSS System], ''Journal of Faculty of Literature and Human Sciences''.</ref> y de la lógica inductiva.<ref>[http://www.islamherald.com/asp/explore/science/science_muslim_scientists.asp Science and Muslim Scientists], Islam Herald.</ref><ref>Wael B. Hallaq (1993), ''Ibn Taymiyya Against the Greek Logicians'', p. 48. [[Oxford University Press]], ISBN 0-19-824043-0.</ref> Otro importante desarrollo en la filosofía islámica es el de una estricta ciencia de la cita, la [[isnad]] o "revisión", y el desarrollo de un método científico de investigación abierta para poner en cuestión determinadas afirmaciones, la [[ijtihad]], que podía aplicarse normalmente a muchos tipos de cuestiones. Desde el [[siglo XII]], a pesar de la sofisticación lógica de [[al-Ghazali]], el auge de la escuela [[Asharite]] al final de la Edad Media limitó poco a poco la obra original sobre lógica en el mundo islámico, aunque continuó posteriormente en el [[siglo XV]]. |
|||
== La lógica en la Europa medieval == |
|||
Se entiende habitualmente por "lógica medieval" (también conocida como "lógica escolástica") la forma de la [[organon|lógica aristotélica]] desarrollada en la [[Edad Media|Europa medieval]] en el periodo de c 1200–1600. Esta tarea comenzó tras las traducciones al latín del siglo XII, cuando textos árabes sobre lógica aristotélica y la lógica de Avicena fueron traducidos a la lengua de Roma. Aunque la lógica de Avicena tuvo influencia en los primeros lógicos medievales europeos tales como [[Alberto Magno]],<ref>Richard F. Washell (1973), "Logic, Language, and Albert the Great", ''Journal of the History of Ideas'' '''34''' (3), p. 445-450 [445].</ref> la tradición aristotélica se convirtió en la dominante debido a la importante influencia del [[averroísmo]]. |
|||
Tras la fase inicial de traducciones, la tradición de la lógica medieval fue desarrollada en manuales como el de [[Petrus Hispanus]] (fl. [[siglo XIII]]), de identidad desconocida, que fue autor de un manual estándar sobre lógica, el ''Tractatus'', que fue bien conocido en Europa durante varios siglos. |
|||
La tradición alcanzó su punto más alto en el [[siglo XIV]], con las obras de [[Guillermo de Ockham]] (c. 1287–1347) y [[Jean Buridan]]. |
|||
Un rasgo del desarrollo de la lógica aristotélica se conoce con el nombre de ''[[teoría de la suposición]]'', un estudio de la semántica de los términos de la proposición. |
|||
La últimas grandes obras de esta tradición son ''Logic'' de [[John Poinsot]] (1589–1644, conocido como [[John of St Thomas]]), y ''Disputas metafísicas'' de [[Francisco Suárez]] (1548–1617). |
|||
== La lógica tradicional == |
|||
La expresión "lógica tradicional" hace referencia, habitualmente, a la tradición de manuales que comienza con ''Logic, or the Art of Thinking'' de [[Antoine Arnauld]] y [[Pierre Nicole]], más conocido como ''[[Lógica de Port-Royal]]''. Publicada en [[1662]], fue la más influyente obra sobre lógica en [[Inglaterra]] hasta el ''Sistema Lógico'' de Mill de 1825 [N4]. El libro presenta una muy libre doctrina cartesiana (que la proposición es una combinación de ideas antes que de términos, por ejemplo) dentro de un marco que se deriva ampliamente de la lógica de términos aristotélica y medieval. Entre 1664 y 1700 se publicaron ocho ediciones, y el libro tuvo considerable influencia. Fue frecuentemente reeditado en Inglaterra hasta finales del siglo XIX. |
|||
El tratamiento que realiza Locke de la proposición en el Ensayo es, esencialmente, el de Port-Royal: "Las proposiciones verbales, que son palabras, [son] los signos de nuestras ideas, ya vayan juntas o separadas en oraciones afirmativas o negativas. Así, pues, la proposición consiste en juntar o separar esos signos, de acuerdo con las cosas con las que están de acuerdo o en desacuerdo." (Locke, ''An Essay Concerning Human Understanding'', IV. 5. 6) |
|||
Los trabajos más conocidos dentro de esta tradición son los de [[Isaac Watts]], ''Logick: Or, the Right Use of Reason'' (1725), [[Richard Whately]], ''Logic'' (1826), y [[John Stuart Mill]], ''A System of Logic'' (1843), que fue una de las últimas grandes obras de la tradición. |
|||
== El advenimiento de la lógica moderna == |
|||
Historicamente, [[Descartes]] puede que haya sido el primer filósofo en haber tenido la idea de usar el [[álgebra]], especialmente sus técnicas para resolver cantidades desconocidas en las ecuaciones, como vehículo para la exploración científica. La idea de un cálculo de razonamiento fue también cultivada por [[Gottfried Wilhelm Leibniz]]. Leibniz fue el primero en formular la noción de un sistema de lógica matemática aplicable de forma generalizada. Sin embargo, los documentos relevantes al respecto no fueron publicados hasta 1901 y muchos de ellos siguen sin estar publicados, y la actual comprensión del poder de los descubrimientos de Leibniz no empezó a desarrollarse hasta los años ochenta. |
|||
[[Gottlob Frege]] en su ''[[Begriffsschrift]]'' (1879) extendió la lógica formal más allá de la lógica proposicional para incluir constructores como "todo" y "algunos". Mostró cómo introducir variables y cuantificadores para revelar la estructura lógica de las oraciones, que podría estar ocultas tras su estructura gramatical. Por ejemplo, "Todos los seres humanos son mortales" se convierte en |
|||
"Toda cosa x es tal que, si x es un ser humano entonces x es mortal." La peculiar doble notación dimensional de Frege hizo que su obra fuese ignorada durante muchos años. |
|||
En un magistral artículo de 1885 leído por [[Peano]], [[Ernst Schröder]] y otros, [[Charles Peirce]] introdujo el término "[[Lógica de segundo orden]]" proporcionando la mayor parte de la moderna notación lógica, incluyendo los símbolos prefijados para la cuantificación universal y existencial. Los lógicos de finales del siglo XIX y de comienzos del XX estuvieron más familiarizados con el sistema lógico de Peirce-Schröder, aunque generalmente se reconoce que Frege es el Padre de la lógica moderna. |
|||
En [[1889]] [[Giuseppe Peano]] publicó la primera versión de la axiomatización lógica de la aritmética. Cinco de los nueve axiomas son conocidos como [[axiomas de Peano]]. Uno de estos axiomas fue una formalización del principio de la inducción matemática. |
|||
== Véase también == |
|||
* [[Lógica de términos]] |
|||
* [[Ernst Schröder]] |
|||
* [[Charles Peirce]] |
|||
== Notas == |
|||
{{Listaref}} |
|||
== Referencias == |
|||
* [[Alonzo Church]], 1936-8. "A bibliography of symbolic logic". ''Journal of Symbolic Logic 1'': 121-218; ''3'':178-212. |
|||
* [[Dov Gabbay]] and John Woods, eds, 2004. ''Handbook of the History of Logic. Vol. 1: Greek, Indian and Arabic logic; Vol. 2: Mediaeval and Renaissance logic; Vol. 3: The Rise of Modern Logic: from Leibniz to Frege; Vol. 4: British logic in the Nineteenth century''. Elsevier, ISBN 0-444-51611-5. |
|||
* [[Ivor Grattan-Guinness]], 2000. ''The Search for Mathematical Roots 1870-1940''. Princeton University Press. |
|||
* Kneale, William and Martha, 1962. ''The development of logic''. Oxford University Press, ISBN 0-19-824773-7. |
|||
== Enlaces externos == |
|||
* [http://www.formalontology.it/history-of-logic.htm Historia de la lógica y de sus relaciones con la ontología: bibliografía anotada] |
|||
* [http://en.wikipedia.org/wiki/User:Hbmartin/Overview_of_Indian_and_Greek_Development_of_Logic_and_Language Overview of Indian and Greek Development of Logic and Language] |
|||
* [http://plato.stanford.edu/entries/peter-spain Petrus Hispanus] |
|||
* [http://pvspade.com/Logic/docs/thoughts1_1a.pdf Paul Spade's "Thoughts Words and Things"] |
|||
* [http://www.newadvent.org/cathen/08479b.htm John of St Thomas] |
|||
* [http://uk.geocities.com/frege@btinternet.com/joyce/principlesoflogic.htm Joyce's Principles of Logic (Traditional Logic Primer)] |
|||
* [http://uk.geocities.com/frege@btinternet.com/cantor/Logic1911.htm Article on Logic in Britannica 1911 - a good summary of developments in logic before Frege-Russell] |
|||
[[zh:逻辑史] |
|||
[[Categoría:Lógica]] |
|||
[[en:History of logic]] |
|||
[[fi:Logiikan historia]] |
|||
[[fr:Histoire de la logique]] |
|||
[[hu:A logika története]] |
|||
[[nl:Geschiedenis van de logica]] |
|||
[[pl:Historia logiki]] |
|||
[[pt:História da lógica]] |
|||
[[tr:Mantık tarihi]] |
|||
[[zh:逻辑史]] |
|||