Раннее исламское право придавало большое значение формулированию стандартов аргументации, что привело к появлению «нового подхода к логике » ( араб . منطق manṭiq «речь, красноречие») в Каламе (исламская схоластика). [1] Однако с появлением философов -мутазилитов , которые высоко ценили «Органон» Аристотеля , этот подход был вытеснен более старыми идеями из эллинистической философии . [ необходима ссылка ] Работы аль-Фараби , Авиценны , аль-Газали и других мусульманских логиков, которые часто критиковали и исправляли аристотелевскую логику и вводили свои собственные формы логики, также сыграли центральную роль в последующем развитии европейской логики в эпоху Возрождения . [2]
Согласно энциклопедии философии Routledge :
«Для исламских философов логика включала в себя не только изучение формальных моделей вывода и их обоснованности, но и элементы философии языка и даже эпистемологии и метафизики . Из-за территориальных споров с арабскими грамматиками исламские философы были очень заинтересованы в разработке взаимосвязи между логикой и языком, и они посвятили много дискуссий вопросу о предмете и целях логики по отношению к рассуждению и речи. В области формального логического анализа они разработали теорию терминов , предложений и силлогизмов , сформулированную в трудах Аристотеля «Категории», «Об интерпретации» и «Первая аналитика». В духе Аристотеля они считали силлогизм формой, к которой можно свести всю рациональную аргументацию, и они считали силлогистическую теорию фокусом логики. Даже поэтика рассматривалась как силлогистическое искусство в некотором роде большинством основных исламских аристотеликов».
Важные разработки, сделанные мусульманскими логиками, включали разработку «логики Авиценны» в качестве замены логики Аристотеля. Система логики Авиценны была ответственна за введение гипотетического силлогизма , временной модальной логики и индуктивной логики . Другие важные разработки в ранней исламской философии включают разработку строгой науки цитирования , иснад или «поддержки», [3] [4] и разработку научного метода открытого исследования для опровержения утверждений, иджтихад , который мог быть в целом применен ко многим типам вопросов. [5] [6] [7] [8]
Ранние формы аналогического рассуждения , индуктивного рассуждения и категорического силлогизма были введены в фикх (исламская юриспруденция), шариат (исламское право) и калам (исламская теология) с 7-го века с процессом кийас , до арабских переводов работ Аристотеля. Позже, во время исламского золотого века , среди исламских философов, логиков и теологов был логический спор о том, относится ли термин кийас к аналогическому рассуждению, индуктивному рассуждению или категорическому силлогизму. Некоторые исламские ученые утверждали, что кийас относится к индуктивному рассуждению, с чем не соглашался Ибн Хазм (994-1064), утверждая, что кийас не относится к индуктивному рассуждению, но относится к категорическому силлогизму в реальном смысле и к аналогическому рассуждению в метафорическом смысле. С другой стороны, аль-Газали (1058–1111) и Ибн Кудама аль-Макдиси (1147–1223) утверждали, что кийас относится к рассуждению по аналогии в реальном смысле и категорическому силлогизму в метафорическом смысле. Другие исламские ученые того времени, однако, утверждали, что термин кийас относится как к рассуждению по аналогии, так и к категорическому силлогизму в реальном смысле. [9]
Первые оригинальные арабские сочинения по логике были созданы аль-Кинди (Алкиндусом) (805–873), который составил резюме по более ранней логике, существовавшей до его времени. Первые сочинения по логике с неаристотелевскими элементами были созданы аль-Фараби (Альфараби) (873–950), который обсуждал темы будущих контингентов , числа и отношения категорий , отношения между логикой и грамматикой и неаристотелевских форм вывода . [10] Ему также приписывают категоризацию логики на две отдельные группы, первая из которых — «идея», а вторая — « доказательство ».
Аверроэс (1126–1198) был последним крупным логиком из Аль-Андалуса , который написал самые подробные комментарии к аристотелевской логике. [11]
Авиценна (980–1037) разработал собственную систему логики, известную как «логика Авиценны» как альтернативу логике Аристотеля. К XII веку логика Авиценны заменила логику Аристотеля в качестве доминирующей системы логики в исламском мире. [12] [13]
Первые критические замечания по поводу аристотелевской логики были написаны Авиценной, который создал независимые трактаты по логике, а не комментарии. Он критиковал логическую школу Багдада за их преданность Аристотелю в то время. Он исследовал теорию определения и классификации , а также квантификацию предикатов категорических суждений и разработал оригинальную теорию « временного модального » силлогизма. Ее предпосылки включали такие модификаторы , как «всегда», «в большинстве случаев» и «в какое-то время».
В то время как Авиценна часто полагался на дедуктивное рассуждение в философии, он использовал другой подход в медицине. Авиценна внес изобретательный вклад в развитие индуктивной логики , которую он использовал для пионера идеи синдрома . В своих медицинских трудах Авиценна был первым, кто описал методы согласия, различия и сопутствующей вариации , которые имеют решающее значение для индуктивной логики и научного метода . [14]
Ибн Хазм (994–1064) написал « Область логики» , в которой он подчеркнул важность чувственного восприятия как источника знания. [15] Аль-Газали (Альгазель) (1058–1111) оказал важное влияние на использование логики в теологии, используя логику Авиценны в Каламе .
Фахр ад-Дин ар-Рази (р. 1149) критиковал « первую фигуру » Аристотеля и разработал форму индуктивной логики , предвосхищая систему индуктивной логики, разработанную Джоном Стюартом Миллем (1806–1873). Систематические опровержения греческой логики были написаны школой иллюминатов , основанной Шахаб ад-Дином Сухраварди (1155–1191), который развил идею «решительной необходимости », важное новшество в истории логической философской спекуляции. [15] [ неудачная проверка ] Другое систематическое опровержение греческой логики было написано Ибн Таймией (1263–1328), «Ар-Радд 'ала аль-Мантикиййин» ( «Опровержение греческих логиков» ), где он выступал против полезности, хотя и не против обоснованности силлогизма [ 16] и в пользу индуктивного рассуждения . [17]