Введение

Раннее исламское право придавало большое значение формулированию стандартов аргументации, что привело к возникновению «нового подхода к логике» (منطق manṭiq – «речь, красноречие») в Каламе (исламской схоластике). Однако с подъемом мутазилитских философов, высоко ценивших «Органон» Аристотеля, этот подход был вытеснен более ранними идеями эллинистической философии. Работы аль-Фараби, Авиценны, аль-Газали и других мусульманских логиков, которые часто критиковали и корректировали аристотелевскую логику, а также вводили собственные формы логики, также сыграли центральную роль в последующем развитии европейской логики в эпоху Возрождения. Согласно «Энциклопедии философии Рутледжа»:

Важные достижения, сделанные мусульманскими логиками, включали разработку «авиценновской логики» как альтернативы аристотелевской логике. Система логики Авиценны стала основой для введения гипотетического силлогизма, темпоральной модальной логики и индуктивной логики. Другие важные разработки в ранней исламской философии включают в себя развитие строгой науки цитирования – иснада, или «подкрепления», а также разработку научного метода открытого исследования для опровержения утверждений – ижтихада, который мог быть применен к широкому спектру вопросов.

Исламское право и богословие

Ранние формы аналогичного рассуждения, индуктивного рассуждения и категорического силлогизма были введены в фикх (исламская юриспруденция), шариат (исламское право) и Калам (исламское богословие) с VII века посредством процесса кияс, до арабских переводов трудов Аристотеля. Позднее, в период Исламского Золотого века, среди исламских философов, логиков и богословов развернулась логическая дискуссия о том, обозначает ли термин "кияс" аналогичное рассуждение, индуктивное рассуждение или категорический силлогизм. Некоторые исламские ученые утверждали, что кияс относится к индуктивному рассуждению, с чем не согласился Ибн Хазм (994–1064), полагая, что кияс не относится к индуктивному рассуждению, а обозначает категорический силлогизм в прямом смысле и аналогичное рассуждение – в переносном. Аль-Газали (1058–1111) и Ибн Кудама аль-Макдиси (1147–1223), напротив, утверждали, что кияс обозначает аналогичное рассуждение в прямом смысле и категорический силлогизм – в переносном. Другие исламские ученые того времени, однако, считали, что термин "кияс" обозначает как аналогичное рассуждение, так и категорический силлогизм в прямом смысле.

Аристотелевская логика

Первые оригинальные арабские работы по логике были созданы аль-Кинди (Алькиндусом) (805–873), который написал обзор более ранней логики до своего времени. Первые работы по логике с элементами, не относящимися к аристотелевской традиции, были созданы аль-Фараби (Аль-Фараби) (873–950), который рассматривал вопросы будущих случайностей, числа и взаимосвязи категорий, соотношения между логикой и грамматикой, а также неаристотелевские формы умозаключений. Ему также приписывают разделение логики на две отдельные группы: "идея" и "доказательство". Аверроэс (1126–98) был последним крупным логиком из Аль-Андалуса, который написал наиболее развернутые комментарии к аристотелевской логике.

Авиценнийская логика

Авиценна (980–1037) разработал собственную систему логики, известную как «авиценновская логика», в качестве альтернативы аристотелевской логике. К XII веку авиценновская логика заменила аристотелевскую логику как доминирующую систему логики в исламском мире. Первую критику аристотелевской логики выдвинул Авиценна, написавший самостоятельные трактаты по логике, а не комментарии. Он критиковал багдадскую логическую школу за их преданность Аристотелю. Он исследовал теорию определения и классификации, а также квантификацию предикатов категорических суждений и разработал оригинальную теорию «темпорально-модального» силлогизма, в посылках которого использовались модификаторы, такие как «во все времена», «в большинстве случаев» и «в какое-то время». Хотя в философии Авиценна часто опирался на дедуктивное рассуждение, в медицине он применял иной подход. Авиценна внес значительный вклад в развитие индуктивной логики, которую использовал для обоснования концепции синдрома. В своих медицинских трудах он первым описал методы согласия, различия и сопутствующих изменений, имеющие решающее значение для индуктивной логики и научного метода. Ибн Хазм (994–1064) написал труд «Объём логики», в котором подчеркнул важность чувственного восприятия как источника знания. Аль-Газали (Алгазель) (1058–1111) оказал значительное влияние на использование логики в теологии, применяя авиценновскую логику в каламе. Фахр ад-Дин ар-Рази (род. 1149) критиковал «первую фигуру» Аристотеля и разработал форму индуктивной логики, предвосхитив систему индуктивной логики, разработанную Джоном Стюартом Миллем (1806–1873). Систематические опровержения греческой логики были написаны школой иллауминатов, основанной Шахаб ад-Дином Сухраварди (1155–1191), который разработал идею «децизивной необходимости» – важную инновацию в истории логико-философских спекуляций – и выступал в пользу индуктивного рассуждения.