Historia de la lógica

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: laAntigua China, la Antigua India y la Antigua
Grecia.
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. El tratamiento formalmente sofisticado de la lógica proviene de la tradición griega,
especialmente
del Organon aristotélico, cuyos logros serían desarrollados por los 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 historia de la lógica es producto de la confluencia de cuatro líneas de pensamiento, que aparecen en momentos
históricos
diferentes:1

La lógica antigua, obra de Aristóteles, los megáricos y los estoicos.

La idea de un lenguaje único, completo y exacto para razonarsueño al que aspirabanRamón Llull y Leibniz.,
Los progresos en álgebra y geometría al comienzo del siglo XIX, y el desarrollo de un cálculo completo, obra de
Frege.
Ya en el siglo XX, Bertrand Russell y Whitehead culminaron el proceso de creación de la lógica. A partir de este
momento no cesarán de producirse nuevos desarrollos y de nacerescuelas y tendencias.

Índice
Edad Antigua
Mesopotamia
Antigua Grecia
Antigua India
Antigua China

Edad Media
Mundo islámico
Europa medieval

Edad Moderna
Edad Contemporánea (1860-1900)
Siglo XIX
Siglo XX

Véase también
Notas y referencias
Bibliografía adicional
Enlaces externos

Edad Antigua
La lógica, como un análisis explícito de los métodos de razonamiento, se desarrolló originalmente en tres civilizaciones de
la historia
antigua: China, India y Grecia, entre el siglo V y el siglo I a. C.
Mesopotamia
En Mesopotamia, el Manual de diagnóstico médico de Esagil-kin-apli, escrito en el siglo XI a. C., se basó en un conjunto
lógico de
axiomas 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 2
paciente, es posible determinar el problema del mismo, suetiología y su desarrollo futuro, y las posibilidades de
recuperación.
Durante los siglos VII y VIII, los astrónomos babilonios empezaron a utilizar una 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. 3 El pensamiento babilónico tuvo una
considerable influencia en el pensamiento de laGrecia
arcaica.4

Antigua Grecia
En la Antigua Grecia, emergieron dos tradiciones lógicas opuestas. La lógica estoica estaba enraizada en Euclides de
Megara, pupilo
de Sócrates, y con su concentración en laló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 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.
Se considera a Aristóteles el fundador de la lógica como propedéutica o herramienta básica para todas las ciencias.
Aristóteles fue el
primero en formalizar los razonamientos, utilizando letras para representar términos. También 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.
Sostuvo 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». Se refirió en
varios escritos
de su Órganon a cuestiones tales como concepto, proposición, definición, prueba y falacia. En su principal obra lógica, los
Primeros
analíticos, desarrolló el silogismo, un sistema lógico de estructura rígida. Aristóteles también formalizó el cuadro de
oposición de los
juicios y categorizó las formas válidas del silogismo. Además, Aristóteles reconoció y estudió los argumentos inductivos,
base de lo
que constituye la ciencia experimental, cuya lógica está estrechamente ligada al método científico. La influencia de los
logros de
Aristóteles fue tan grande que en el siglo XVIII Immanuel Kant llegó a decir que Aristóteles había prácticamente
completado la
ciencia de la lógica.

En Europa, Aristóteles fue el primero en desarrollar la lógica. La lógica aristotélica fue ampliamente aceptada en ciencias y
matemáticas y permaneció en uso amplio en Occidente hasta principios del siglo XIX. El sistema de lógica de Aristóteles
fue
responsable de la introducción del silogismo hipotético, de la lógica modal temporal, de la lógica inductiva, así como de
términos
influyentes tales como términos, predicables, silogismos y proposiciones. En Europa durante el último período de la época
medieval,
se hicieron grandes esfuerzos para demostrar que las ideas de Aristóteles eran compatibles con la fe cristiana. Durante la
Alta Edad
Media, la lógica se convirtió en el foco principal de los filósofos, que participarían en análisis lógicos críticos de los
argumentos
filosóficos, a menudo utilizando variaciones de la metodología del escolasticismo. En 1323, William de Ockham influyente
Summa
Logicae fue publicado. En el siglo XVIII, el enfoque estructurado de los argumentos había degenerado y había caído en
desgracia,
como se muestra en el juego satírico de Holber Erasmus
Montanus.g
Los filósofos estoicos introdujeron el silogismo hipotético y anunciaron la lógica proposicional pero no tuvo mucho
desarrollo.,
Por otro lado, la lógica informal fue cultivada por la retórica, la oratoria y la filosofía, entre otras ramas del conocimiento.
Estos
estudios se centraron principalmente en la identificación de falacias y paradojas, así como en la construcción correcta de
los
discursos.

En el periodo romano la lógica tuvo poco desarrollo, más bien se hicieron sumarios y comentarios a las obras recibidas,
siendo los
más notables: Cicerón, Porfirio y Boecio. En el período bizantino, Filopón.

Hasta el siglo XIX, la lógica aristotélica y estóica mantuvo siempre una relación con los argumentos formulados en lenguaje
natural.
Por eso aunque eran formales, no eran formalistas. Hoy esa relación se trata bajo un punto de vista completamente
diferente. La
formalización estricta ha mostrado las limitaciones de la lógica tradicional o aristotélica, que hoy se interpreta como una
parte
pequeña de la lógica de clases.

A través del latín en Europa occidental y de distintas lenguas orientales como el á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.

Antigua India
Dos de las seis escuelas indias de pensamiento están relacionadas con la lógica: Nyāya y Vaisheshika. Los Nyaya Sutras de
Aksapada
Gautama constituyen el núcleo de textos de la escuela Nyaya, una de las seis escuelas ortodoxas de filosofía hindú. Esta
escuela
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 idealista se convirtió en la principal oponente de los Naiyayikas. Nāgārjuna,
el
fundador del camino intermedioMadhyamika, desarrolló un análisis conocido como "catuskoti" otetralemma. 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 Dignāga 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 el siglo XVI.

En la India, las innovaciones en la escuela escolástica, llamado Nyaya, continuaron desde la antigüedad hasta principios
del siglo
XVIII con la escuela Navya-Nyaya. Hacia el siglo XVI se desarrollaron teorías semejantes a la lógica moderna, como "la
distinción
entre sentido y referencia de nombres propios" de Gottlob Frege y su "definición de número", así como la teoría de
"condiciones
restrictivas para universales" anticipando algunas de las Desarrollos en la teoría de conjuntos modernos. Desde 1824, la
lógica india
atrajo la atención de muchos estudiantes occidentales y ha influido en importantes lógicos del siglo XIX como Charles
Babbage,
Augustus De Morgan y George Boole. En el siglo XX, filósofos occidentales como Stanislaw Schayer y Klaus Glashoff han
investigado la lógica india más ampliamente.

Antigua 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 lógicos, es considerada por varios expertos como la primera
que
investigó la lógica formal. Desafortunadamente, debido a la 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 traducción y la investigación
escolarfue
lógica enreprimida por la dinastía Qin, acorde con la filosofía legista Desam. En India, la lógica duró bastante más: se
desarrolló (por
ejemplo con la nyāya) 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.
El filósofo lógico chino Gong Sunlong (325-250 a. C.) propuso la paradoja "Uno y uno no pueden ser dos, ya que ninguno se
convierte en dos." [24] En China, la tradición de la investigación académica en la lógica, sin embargo, fue reprimida por La
dinastía
Qin siguiendo la filosofía legalista de Han Feizi.

Edad Media
Con el nombre de dialéctica en la Edad Media la lógica mantiene la condición de ciencia propedéutica. Así se estudia en la
estructura
de las enseñanzas del Trivium como una de las artes liberales pero sin especiales aportaciones en laAlta
Edad Media.
 En su evolución hacia la Baja Edad Media son importantes los aportes árabes de
Al-
Farabi, Avicena y Averroes, pues fueron los árabes quienes reintrodujeron los
escritos de Aristóteles en Europa. En la Baja Edad Media su estudio era requisito
para entrar en cualquier universidad. Desde mediados del siglo XIII se incluyen en
la
lógica tres cuerpos separados del texto. En la logica vetus y logica nova es
tradicional escritos lógicos, especialmente el Órganon de Aristóteles y los
comentarios de Boecio y Porfirio. La parva logicalia puede ser considerada como
representativa de la lógica medieval.

La evolución crítica que se va desarrollando a partir de las aportaciones de Averroes, uno de los principales
Abelardo pensadores árabes en rescatar la
dinamizaron la problemática lógica y epistemológica a partir del siglo XIII (Pedro
lógica aristotélica y reintroducirla en
Hispano, Raimundo Lulio Lambert de Auxerre, Guillermo de Sherwood) que el mundo Occidental.
culminaron en toda la problemática del siglo XIV: Guillermo de Ockham, Jean
Buridan, Alberto de Sajonia.

Aquí están tratados una cantidad de nuevos problemas en la frontera de la lógica y la semántica que no fueron tratados
por los
pensadores antiguos. De especial relevancia es la problemática respecto a la valoración de los términos del lenguaje en
relación con
los conceptos universales así como el estatuto epistemológico y ontológico de éstos y el problema de
la,individuación.

Mundo islámico
Durante un tiempo tras la muerte de Mahoma, la 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 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,
Avicena, 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 aristotélica. El sistema lógico de Avicena fue responsable de la introducción del silogismo hipotético, 5 de la lógica
lógica
modo-
temporal,6 7 y de la lógica inductiva. 8 9 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 elsiglo XV.

Europa medieval
Se entiende habitualmente por "lógica medieval" (también conocida como "lógica escolástica") la forma de la lógica
aristotélica
desarrollada en la 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, 10 la tradición aristotélica
se
convirtió en la dominante debido a la importante influencia
delaverroí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 elsiglo 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.

Las últimas grandes obras de esta tradición son Logic de John Poinsot (1589–1644, conocido como John of St Thomas), y
Disputaciones metafísicasde Francisco Suárez (1548–1617).

Edad Moderna
Esta lógica adquiere un nuevo enfoque en las interpretaciones racionalistas de Port Royal, en el siglo XVII, (Antoine
Arnauld; Pierre
Nicole) pero tampoco supusieron un cambio radical en el concepto de la Lógica
comociencia.
Los filósofos racionalistas, sin embargo, aportaron a través del desarrollo del análisis y su desarrollo en las matemáticas
(Descartes,
Pascal y Leibniz) los temas que van a marcar el desarrollo posterior. Son de especial importancia la idea de Descartes de
una 11
Mathesis universalis y de Leibniz en la búsqueda de un lenguaje universal, especificado con precisión matemática sobre la
de que la sintaxis de las palabras debería estar en correspondencia con las entidades designadas como individuos o
base
elementos 12
metafísicos, lo que haría posible uncálculo o computación mediante algoritmo en el descubrimiento de la
verdad.
Aparecen los primeros intentos y realizaciones de máquinas de cálculo, (Pascal, Leibniz) y, aunque su desarrollo no fue
eficaz, sin
embargo la idea de una Mathesis Universal o «Característica Universal», es el antecedente inmediato del desarrollo de la
lógica a
partir del siglo XX.

Kant consideraba que la lógica por ser una ciencia a priori había encontrado su pleno desarrollo prácticamente con la
lógica 13
aristotélica, por lo que apenas había sido modificada desde
entonces.
Pero hace un uso nuevo de la palabra «lógica» como lógica trascendental, en el sentido de investigar los conceptos puros
del
entendimiento o categorías trascendentales.

La lógica del pensar trascendental acaba situándose en un proceso dialéctico como idealismo subjetivo en Fichte;
idealismo objetivo
en Schelling y, finalmente un idealismo absoluto en

Hegel considera la lógica dentro del Absoluto como un proceso dialéctico del Espíritu Absoluto 14 que produce sus
determinaciones
como concepto y su realidad como resultado en el devenir de la Idea del Absoluto como Sujeto 15 cuya verdad se
manifiesta en el
resultado del movimiento mediante la contradicción en tres momentos sucesivos, tesis-antítesis-síntesis La epistemología
y la.
ontología van unidas y expuestas en laFilosofía entendida ésta como Sistema
Absoluto.

Edad Contemporánea (1860-1900)

Históricamente, 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
mo,derna.
En 1889, Giuseppe Peano publicó la primera versión de la axiomatización lógica de la aritmética. Cinco de los nueve
axiomas16 son
conocidos como axiomas de Peano. Uno de estos axiomas fue una formalización del principio de la inducción
matemática.

Siglo XIX
A partir de la segunda mitad del siglo XIX, la lógica sería revolucionada profundamente. En 1847, George Boole publicó un
breve
tratado titulado El análisis matemático de la lógica, y en 1854 otro más importante titulado Las leyes del pensamiento. La
idea de
Boole fue construir a la lógica como un cálculo en el que los valores de verdad se representan mediante el 0 (falsedad) y el
1
(verdad), y a los que se les aplicanoperaciones matemáticascomo la suma y la
multiplicación.
Al mismo tiempo, Augustus De Morgan publica en 1847 su obra Lógica formal, donde introduce las leyes de De Morgan e
intenta
generalizar la noción de silogismo. Otro importante contribuyente inglés fue John Venn, quien en 1881 publicó su libro
Lógica
Simbólica, donde introdujo los famososdiagramas de Venn.

Charles Sanders Peircey Ernst Schröder también hicieron importantes

contribuciones.
Sin embargo, la verdadera revolución de la lógica vino de la mano de Gottlob Frege, quien frecuentemente es considerado
como el
lógico más importante de la historia, junto con Aristóteles. En su trabajo de 1879, laConceptografía, Frege ofrece por
primera vez un
sistema completo de lógica de predicados También desarrolla la idea de un lenguaje formal y define la noción de prueba.
Estas ideas.
constituyeron una base teórica fundamental para el desarrollo de lascomputadoras y las ciencias de la computación entre
otras cosas.,
Pese a esto, los contemporáneos de Frege pasaron por alto sus contribuciones, probablemente a causa de la complicada
notación que
desarrolló el autor. En 1893 y 1903, Frege publica en dos volúmenes Las leyes de la aritmética, donde intenta deducir toda
la
matemática a partir de la lógica, en lo que se conoce como el proyecto logicista. Su sistema, sin embargo, contenía una
contradicción
(la paradoja de Russell).

Siglo XX
El siglo XX sería uno de enormes desarrollos en lógica. A partir del siglo XX, la lógica pasó a estudiarse por su interés
intrínseco, y
no sólo por sus virtudes como propedéutica, por lo que estudió a niveles mucho más
abstractos.
En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica un trabajo monumental en el que
logran gran,
parte de la matemática a partir de la lógica, evitando caer en las paradojas en las que cayó Frege. Los autores reconocen
el mérito de
Frege en el prefacio. En contraste con el trabajo de Frege,Principia mathematicatuvo un éxito rotundo, y llegó a considerarse
uno de
los trabajos de no ficción más importantes e influyentes de todo el siglo XX. Principia mathematica utiliza una notación
inspirada en
la de Giuseppe Peano, parte de la cual todavía es muy utilizada hoy en
día.
Si bien a la luz de los sistemas contemporáneos lalógica aristotélica puede parecer equivocada e incompleta, Jan
Łukasiewicz mostró
que, a pesar de sus grandes dificultades, la lógica aristotélica era consistente, si bien había que interpretarse como lógica
de clases, lo
cual no es pequeña modificación. Por ello la silogística prácticamente no tiene uso
actualmente.
 Enlaces externos
Además de la lógica proposicional y la lógica de predicados, el siglo XX vio el desarrollo de muchos otros sistemas lógicos;
entre los
que destacan las muchaslógicas modales.
Historia de la lógica y de sus relaciones con la ontología: bibliografía anotada
Overview of Indian and Greek Development of Logic and Language
Véase también
Petrus Hispanus
Paul Spade's "Thoughts Words and Things"
John of St
Historia deThomas
la filosofía occidental
Joyce's Principles of Logic (Traditional Logic Primer)
Lógica de primer orden
Article on Logic in Britannica 1911 - a good summary of developments in logic before Frege-Russell
Traducciones de textos Lógica de la China Pre-Han a Lengua Española Traducción de XunZi, Gong Sun Long Zi y
Hui Shi por Nuño Valenzuela.
Notas y referencias
1. Izuzquiza Otero, Ignacio; Corellano Aznar, Luis; Frechilla García, Ana Rosa; Peña Calvo, José Vicente; Villamayor
Lloro, Santiago (2008). «El Universo de la lógica». En Achón, Elena; Álvarez, Gema. Filosofía y ciudadanía (Manuel
Obtenido de «https://es.wikipedia.org/w/index.php?title=Historia_de_la_lógica&oldid=106335897»
Andaluz edición). Madrid: Grupo Anaya Sociedad Anónima. p. 310. ISBN 9788466773195.
2. Horstmanshoff, H. F. J.; Stol, Marten; Tilburg, Cornelis (2004). Magic and Rationality in Ancient Near Eastern and
Graeco-Roman Medicine Brill Publishers. p. 99. ISBN 90-04-13666-5..
3.SeBrown, D. (2000).
editó esta páginaMesopotamian
por última vezPlanetary
el 18 marAstronomy-Astrology
2018 a las 23:45. Styx Publications. ISBN 90-5693-036-2..
4. Buccellati, Giorgio (1981). «Wisdom and Not: The Case of Mesopotamia». Journal of the American Oriental Society
El101 (1):está
texto 35-47.
disponible bajo laLicencia Creative Commons Atribución Compartir Igual 3.0pueden aplicarse cláusulas;
5.adicionales.
Goodman, Lenn Evan
Al usar este(2003).Islamic Humanism
sitio, usted acepta Oxford University
nuestrostérminos de usoPress p. 155.
y nuestra política ...
de privacidad.
ISBN 0-19-513580-6
6.Wikipedia®
«History ofesLogic:
una Arabic
marca Logic» (https://web.archive.org/web/20071012144108/http://www.britannica.com/ebc/article-
registrada de laFundación Wikimedia, Inc. una organización sin ánimo de lucro.,
65928). Encyclopædia Britannica Archivado desde el original (http://www.britannica.com/ebc/article-65928 el 12 de.)
octubre de 2007.
7. Dr. Nabavi, Lotfollah. «Sohrevardi's Theory of Decisive Necessity and Kripke's QSS System» (https://web.archive.or
g/web/20080126100838/http://public.ut.ac.ir/html/fac/lit/articles.html) Journal of Faculty of Literature and Human.
Sciences. Archivado desde el original (http://public.ut.ac.ir/html/fac/lit/articles.html) 26 de enero de 2008.el
8. «Science and Muslim Scientists».Islam Herald.
9. Hallaq, Wael B. (1993). Ibn Taymiyya Against the Greek Logicians Oxford University Press. p. 48. ISBN 0-19-824043-0..
10. Washell, Richard F (1973). «Logic, Language, and Albert the Great»..Journal of the History of Ideas34 (3): 445-450.
11. Descartes, René. «Regla V». Reglas para la dirección de la mente.
12. Enciclopedia Oxford de Filosofía. op. cit.
13. Kant, Immanuel (1781). Crítica de la razón pura. «La lógica de Aristóteles no ha tenido que retroceder un solo
paso... Es también digno de atención que tampoco haya podido dar, hasta ahora, ningún paso hacia adelante, y que,
según toda apariencia, parece ya cerrada y acabada. Cuando algunos modernos han tratado de extenderla
introduciendo capítulos, s´lo han hecho palpable la ignorancia que tienen de la propia naturaleza de esta ciencia.
Cuando se traspasan los límites de una ciencia y se entra en otra no es un aumento lo que se produce, antes bien
una desnaturalización. Los límites de la lógica están claramente determinados, el ser una ciencia que sólo expone y
demuestra rigurosamente las reglas formales del pensar.»
14. Hegel, G. W. F. (1970). «Libro I: La doctrina del ser. Sección I: Determinación (cualidad). Capítulo I: c) Devenir. 1.-
La unidad del ser y la nada.» [Clemente Fernández, S.I. Los filósofos modernos, selección de textos]. Ciencia de la
Lógica. Madrid. «El puro ser y la pura nada son, por lo tanto, la misma cosa. Lo que constituye la verdad no es ni el
ser ni la nada, sino aquello que no traspasa, sino que ha traspasado; vale decir, el ser [traspasado] en la nada y la
nada [traspasada] en el ser Pero, al mismo tiempo, la verdad no es su indistinción, sino el que ellos no son lo mismo.
sino que son separables, e inmediatamente cada uno desaparece en su opuesto. Su verdad, pues, consiste en este
movimiento del inmediato desaparecer de uno en otro: el devenir; un movimiento donde los dos son diferentes, pero
por vía de una diferencia que el mismo tiempo se ha resuelto inmediatamente.»
15. El Absoluto se ha de entender como Sujeto, no como sustancia; frente a la idea aristotélica del ser que ha
predominado en la filosofía tradicional. Para una exposición sintética del pensamiento de Hegel: Zubiri. Naturaleza,
Historia y Dios. 1963. Editora Nacional.”Hegel y el problema metafísico”. p.223 y ss.
16. Astro, Juan (2002). Nuestro sistema solar Buenos Aires: Emecé..

Bibliografía adicional
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-1940Princeton University Press,..
Kneale, William and Martha, 1962.The Development of Logic Oxford University Press,ISBN 0-19-824773-7..