La ley islámica temprana dio importancia a la formulación de estándares de argumentación, lo que dio lugar a un "enfoque novedoso de la lógica " ( árabe : منطق manṭiq "discurso, elocuencia") en Kalam (escolasticismo islámico). [1] Sin embargo, con el surgimiento de los filósofos Mu'tazili , que valoraban mucho el Organon de Aristóteles , este enfoque fue desplazado por las ideas más antiguas de la filosofía helenística . [ cita necesaria ] Las obras de al-Farabi , Avicena , al-Ghazali y otros lógicos musulmanes que a menudo criticaron y corrigieron la lógica aristotélica e introdujeron sus propias formas de lógica, también jugaron un papel central en el desarrollo posterior de la lógica europea durante el Renacimiento. . [2]
Según la Enciclopedia de Filosofía de Routledge :
"Para los filósofos islámicos, la lógica incluía no sólo el estudio de los patrones formales de inferencia y su validez sino también elementos de la filosofía del lenguaje e incluso de la epistemología y la metafísica . Debido a las disputas territoriales con los gramáticos árabes, los filósofos islámicos estaban muy interesados en trabajaron la relación entre lógica y lenguaje, y dedicaron mucha discusión a la cuestión del tema y los 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. Los silogismos formulados en las Categorías de Aristóteles, De Interpretatione y Prior Analytics. En el espíritu de Aristóteles, consideraban el silogismo como la forma a la que podía reducirse toda argumentación racional, y consideraban la teoría silogística como el punto focal de la lógica. Fue considerado de alguna manera como un arte silogístico por la mayoría de los principales aristotélicos islámicos".
Los avances importantes realizados por los lógicos musulmanes incluyeron el desarrollo de la "lógica aviceniana" como reemplazo de la lógica aristotélica. El sistema de lógica de Avicena fue responsable de la introducción del silogismo hipotético , la lógica modal temporal y la lógica inductiva . Otros avances importantes en la filosofía islámica temprana incluyen el desarrollo de una ciencia estricta de la citación , el isnad o "respaldo", [3] [4] y el desarrollo de un método científico de investigación abierta para refutar afirmaciones, el ijtihad , que podría ser generalmente se aplica a muchos tipos de preguntas. [5] [6] [7] [8]
Las primeras formas de razonamiento analógico , razonamiento inductivo y silogismo categórico se introdujeron en el Fiqh (jurisprudencia islámica), la Sharia (ley islámica) y el Kalam (teología islámica) a partir del siglo VII con el proceso de Qiyas , antes de las traducciones árabes de las obras de Aristóteles. Más tarde, durante la Edad de Oro islámica , hubo un debate lógico entre filósofos, lógicos y teólogos islámicos sobre si el término Qiyas se refiere al razonamiento analógico, al razonamiento inductivo o al silogismo categórico. Algunos eruditos islámicos argumentaron que Qiyas se refiere al razonamiento inductivo, con lo que Ibn Hazm (994-1064) no estuvo de acuerdo, argumentando que Qiyas no se refiere al razonamiento inductivo, sino que se refiere al silogismo categórico en un sentido real y al razonamiento analógico en un sentido metafórico . Por otro lado, al-Ghazali (1058-1111) e Ibn Qudamah al-Maqdisi (1147-1223) argumentaron que Qiyas se refiere al razonamiento analógico en un sentido real y al silogismo categórico en un sentido metafórico. Otros eruditos islámicos de la época, sin embargo, argumentaron que el término Qiyas se refiere tanto al razonamiento analógico como al silogismo categórico en un sentido real. [9]
Los primeros escritos árabes originales sobre lógica fueron producidos por al-Kindi (Alkindus) (805–873), quien produjo un resumen de la lógica anterior hasta su época. Los primeros escritos sobre lógica con elementos no aristotélicos fueron producidos por al-Farabi (Alfarabi) (873-950), quien discutió los temas de los contingentes futuros , el número y relación de las categorías , la relación entre lógica y gramática , y no -Formas aristotélicas de inferencia . [10] También se le atribuye haber categorizado la lógica en dos grupos separados, siendo el primero "idea" y el segundo " prueba ".
Averroes (1126-1198) fue el último lógico importante de al-Andalus , que escribió los comentarios más elaborados sobre la lógica aristotélica. [11]
Avicena (980-1037) desarrolló su propio sistema de lógica conocido como "lógica aviceniana" como alternativa a la lógica aristotélica. En el siglo XII, la lógica aviceniana había reemplazado a la lógica aristotélica como el sistema lógico dominante en el mundo islámico. [12] [13]
Las primeras críticas a la lógica aristotélica fueron escritas por Avicena, quien produjo tratados independientes sobre lógica en lugar de comentarios. Criticó la escuela lógica de Bagdad por su devoción a Aristóteles en ese momento. Investigó la teoría de la definición y clasificación y la cuantificación de los predicados de proposiciones categóricas , y desarrolló una teoría original sobre el silogismo " modal temporal ". Sus premisas incluían modificadores como "en todo momento", "en la mayoría de los momentos" y "en algún momento".
Si bien Avicena a menudo se basó en el razonamiento deductivo en filosofía, utilizó un enfoque diferente en medicina. Avicena contribuyó de manera inventiva al desarrollo de la lógica inductiva , que utilizó para ser pionero en la idea de un síndrome . En sus escritos médicos, Avicena fue el primero en describir los métodos de concordancia, diferencia y variación concomitante que son fundamentales para la lógica inductiva y el método científico . [14]
Ibn Hazm (994-1064) escribió Alcance de la lógica , en el que destacó la importancia de la percepción sensorial como fuente de conocimiento. [15] Al-Ghazali (Algazel) (1058-1111) tuvo una influencia importante en el uso de la lógica en teología, haciendo uso de la lógica aviceniana en Kalam .
Fakhr al-Din al-Razi (n. 1149) criticó la " primera figura " de Aristóteles y desarrolló una forma de lógica inductiva , presagiando el sistema de lógica inductiva desarrollado por John Stuart Mill (1806-1873). Las refutaciones sistemáticas de la lógica griega fueron escritas por la escuela iluminacionista , fundada por Shahab al-Din Suhrawardi (1155-1191), quien desarrolló la idea de " necesidad decisiva ", una innovación importante en la historia de la especulación filosófica lógica. [15] [ verificación fallida ] Otra refutación sistemática de la lógica griega fue escrita por Ibn Taymiyyah (1263-1328), el Ar-Radd 'ala al-Mantiqiyyin ( Refutación de los lógicos griegos ), donde argumentó en contra de la utilidad, aunque no de la validez, del silogismo [16] y a favor del razonamiento inductivo . [17]