Lógica islámica

La ley islámica temprana dio importancia a la formulación de estándares de argumento, lo que dio lugar a un "enfoque novedoso de la lógica" (منطق manṭiq "discurso, elocuencia") en Kalam (escolástica islámica). Sin embargo, con el surgimiento de los filósofos Mu'tazili, que valoraron mucho el Organon de Aristóteles, este enfoque fue desplazado por las ideas más antiguas de la filosofía helenística. Las obras de al-Farabi, Avicena, al-Ghazali y otros lógicos musulmanes persas que a menudo 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 desarrollo posterior de la lógica europea durante el Renacimiento.

Según la Enciclopedia de Filosofía de Routledge:

y consideraban la teoría silogística como el punto focal de la lógica. Incluso la poética fue considerada como un arte silogístico de alguna manera por la mayoría de los principales aristotélicos islámicos".

Los desarrollos 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 desarrollos importantes en la filosofía islámica temprana incluyen el desarrollo de una ciencia estricta de citación, el isnad o "respaldo", y el desarrollo de un método científico de investigación abierta para refutar afirmaciones, el ijtihad, que generalmente podría aplicarse a muchos tipos de preguntas.

Ley islámica y teología.

Las primeras formas de razonamiento analógico, razonamiento inductivo y silogismo categórico se introdujeron en Fiqh (jurisprudencia islámica), Sharia (ley islámica) y Kalam (teología islámica) a partir del siglo VII con el proceso de Qiyas, antes de las traducciones al árabe de las obras de Aristóteles. Más tarde, durante la Edad de Oro islámica, hubo un debate lógico entre los 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 Qiyasno se refiere al razonamiento inductivo, sino al silogismo categórico en sentido real y al razonamiento analógico en 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. Sin embargo, otros eruditos islámicos de la época argumentaron que el término Qiyas se refiere tanto al razonamiento analógico como al silogismo categórico en un sentido real.

Lógica aristotélica

Los primeros escritos árabes originales sobre lógica fueron producidos por al-Kindi (Alkindus) (805–873), quien produjo un resumen sobre 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 futuros contingentes, el número y la relación de las categorías, la relación entre lógica y gramática, y no. -Formas aristotélicas de inferencia. También se le atribuye la categorización de la lógica en dos grupos separados, siendo el primero "idea" y el segundo "prueba".

Averroes (1126-1198) fue el último gran lógico de al-Andalus, que escribió los comentarios más elaborados sobre la lógica aristotélica.

Lógica aviceniana

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 de lógica dominante en el mundo islámico.

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ó a 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 las 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 casos" 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ó con inventiva al desarrollo de la lógica inductiva, que utilizó para promover la idea de un síndrome. En sus escritos médicos, Avicena fue el primero en describir los métodos de acuerdo, diferencia y variación concomitante que son fundamentales para la lógica inductiva y el método científico.

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. Al-Ghazali (Algazel) (1058-1111) tuvo una influencia importante en el uso de la lógica en la 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 Illuminationist, 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. 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 la validez, del silogismo y en favor del razonamiento inductivo.