Идеи логики в арабоязычном мире средних веков реферат

Обновлено: 04.07.2024

Средневековая логика (VI—XV вв.) изучена еще недостаточ­но. В средние века теоретический поиск в логике развернулся главным образом по проблеме истолкования природы общих понятий. Так называемые реалисты, продолжая идеалистическую линию Платона, считали, что общие понятия существуют реаль­но, вне и независимо от единичных вещей. Номиналисты же, напротив, считали, что реально существуют только единичные предметы, а общие понятия — лишь имена, названия для них. Оба взгляда были неправильными, однако номинализм был бли­же к материализму.

Аль-Фараби выделяет в логике две ступени: первая охватыва­ет представления и понятия, вторая — теорию суждений, выво­дов и доказательств.

Сирийская логика послужила посредником между античной и арабоязычной наукой. Историки логики признают влияние логики арабов на развитие европейской логики в средние века.

Крупнейшими русскими логиками XIX в. в России были Ми­хаил Иванович Каринский (1840—1917) и его ученик Леонид Васильевич Рутковский (1859—1920), основные логические рабо­ты которых посвящены классификации умозаключений.

Структура умозаключения, по Каринскому, такая. Из двух посылок, имеющих структуру (1) и (2), делается заключение (3).

А находится в отношении R к В: (1)

В тождествен с С. (2)

__________________________________

А находится в отношении R к С. (3)

Москва находится восточнее Парижа.

Париж — столица Франции.

Москва находится восточнее столицы Франции.

Самара находится западнее озера Байкал.

Озеро Байкал — самое глубокое озеро мира.

Самара находится западнее самого глубокого озера мира.

Исследуя работы по логике М. И. Каринского, историк логи­ки Н. И. Стяжкин отмечал, что Каринский стремился охватить в своей классификации все виды умозаключений, встречающиеся в практике научного и общечеловеческого мышления. Но постав­ленная задача оказалась шире, чем принятые Каринским и поло­женные в основу его теории предпосылки. Она осталась невыпол­ненной.

Рутковский делит все выводы на две основные группы. Первая группа — выводы подлежащих (т. е. выводы по объему) — рас­падается на три вида: а) традукцию (выводы сходства, тождест-ва, условной зависимости); б) индукцию (полную и неполную); в) дедукцию (гипотетическую и негипотетическую).

Краткий анализ работ М. И. Каринского и Л. В. Рутковс-кого показывает, что их оригинальные работы по классификации видов умозаключений способствовали прогрессивному развитию традиционной логики в XIX в.

В этой концепции Лейбница неприемлемо прежде всего то, что все содержание наших понятий якобы может быть выражено их характеристическими числами. Несостоятельным было пред­ставление Лейбница и о том, что человеческое мышление может быть полностью заменено вычисляющей машиной.

Лейбниц полагал, что математику можно свести к логике, а логику считал априорной наукой. Сторонников такого обосно­вания математики называют логицистами — представителями субъективного идеалистического направления.

Лейбниц является предшественником логицизма в том смыс­ле, что он предложил сведение математики к логике и математи­зацию логики: построение самой логики как некоторой ариф­метики или буквенной алгебры. Но Лейбниц был предшественни­ком логицизма и в том, что пытался создать арифметизирован­ное логическое исчисление, о котором мы говорили.

Покажем, как это делал Лейбниц. Возьмем такой категоричес­кий силлогизм:

Всякий мудрый есть благочестивый.

Некоторые мудрые есть богаты.

Некоторые богатые есть благочестивы.


т. е. на обеих диагоналях стоят взаимно простые числа.

И заключение этому правилу также удовлетворяет, ибо на диагоналях стоят взаимно простые числа:


Чтобы воспользоваться исчислением Лейбница, люди долж­ны были свое рассуждение облечь в форму силлогизма и посмот­реть, правильный он или неправильный. Однако построенная Лейбницем система удовлетворяла этому требованию только в применении к правильным, по Аристотелю, построенным сил­логизмам. Автором настоящего пособия доказано, что все 19 правильных, по Аристотелю, модусов силлогизма окажутся пра­вильными и по критерию Лейбница. Но в отношении неправиль­ных модусов категорического силлогизма Аристотеля дело об­стоит по-иному. Всегда можно построить такой пример, когда при разных правильных наборах числовых характеристик для посыпок получаются разные оценки заключения: в одних случаях оно оказывается истинным, в других — ложным.

Исчисление Лейбница, таким образом, не выдержало провер­ки, что, конечно, заметил и сам Лейбниц, перешедший в даль­нейшем к построению буквенного исчисления по образцу алгеб­ры. Но тоже неудачно.

Однако в этих замыслах Лейбница не все было порочным. Сам по себе метод арифметизации в математической логике играет весьма существенную роль как вспомогательный прием. В нем состоит, например, сущность метода, с помощью которого известный австрийский математик и логик К. Гёдель доказал неосуществимость Лейбницевой мечты о создании такой всеобщей характеристики, которая позволит заменить все человеческое мышление вычислениями.

Ложной была именно метафизическая идея Лейбница о сведе­нии всего человеческого мышления к некоторому математичес­кому исчислению. Поэтому были ложны и вытекающие из нее следствия.

Интенсивное развитие математическая логика получила также в работах Д. Буля, Э. Шредера, С. Джевонса, П. С. Порецкого и других логиков.

Английский логик Джордж Буль (1815—1864) разрабатывал алгебру логики — один из разделов математической логики. Предметом его изучения были классы (как объемы понятий), соотношения между ними и связанные с этим операции. Буль переносит на логику законы и правила алгебраических действий.

По Булю, существует три типа символического выражения суждений: X=VY (только предикат не распределен): Χ=V (оба термина — субъект и предикат — распределены); VX=VY (оба термина не распределены).

Пропуском знака Шрёдер обозначает операцию пересечения классов, например ab. Применительно к высказываниям формой α+b он обозначает нестрогую дизъюнкцию.

Во взглядах Э. Шредера на отрицание можно отметить много интересного и нового по сравнению со взглядами Буля. Под отрицанием класса а Шрёдер понимает его дополнение до еди­ницы 16 .

Правило 2: если среди членов некоторой суммы находится хотя бы один, который оказывается отрицанием другого, то вся сумма равна 1:

Шредер формулирует правила, или требования, научной ква­лификации: 1) между родом и суммой его видов должно быть тождество; 2) все виды должны быть дизъюнктивными, т. е. должны исключать друг друга, и попарно в произведении давать 0; 3) для расчленения рода на виды должно быть одно основание. Используя отрицание, Шрёдер показал, как классифицируемый род делится на виды и подвиды.

В логическом исчислении, доведенном до наибольшей просто­ты, Шрёдер признает три основных действия: сложение (трактуя его как нестрогую дизъюнкцию), умножение и отрицание. Однако вычитание он считает не безусловно выполнимой операцией.

По нашему мнению, в логике классов вполне приемлема операция вычитания классов, но мы понимаем ее принципиально иначе, чем Буль и Шрёдер. Буль и Шрёдер считали, что в раз­ности (а—b) b должно полностью входить в а, если же b>а или а и b несовместимы, то операция вычитания невыполнима. В от­личие от Буля и Шрёдера мы допускаем возможной (т. е. выпол­нимой) разность всяких двух классов а и b, из которых b может и не быть частью а; в качестве следствий мы учитываем случаи вычитания, когда классы а и b являются пустыми или универсаль­ными. Данный подход рассмотрен выше на с. 57—59.

В качестве логических операций он признавал конъюнкцию, нестрогую дизъюнкцию и отрицание и не признавал обратных логических операций — вычитания и деления. Джевонс обознача­ет классы буквами А, В, С. а их дополнение до универсального класса, обозначаемого 1, или их отрицания — соответственно курсивными буквами а, b, с. Нулевой (пустой) класс он обозна­чает 0, а связку в суждении заменяет знаком равенства.

Обозначив положительные и отрицательные термины соот­ветственно через А и а, В и b, Джевонс записывает закон проти­воречия как Аа—0. Критерием ложности заключения, по Джевон-су, является наличие в нем противоречия, т. е. утверждения и отрицания одного и того же положения, что записывается, например, как наличие Аа, Вb, АВСа.

С. Джевонс говорил, что утвердительные суждения можно представлять в отрицательной форме. Но он напрасно столь категорически заявлял, что имеются сильные основания в пользу того, чтобы употреблять все предложения в их утвердительной форме, а различие (т. е. отрицательные суждения) не способно быть основанием умозаключения. С. Джевонс не отрицал, что утверждение и отрицание, сходство и различие, равенство и нера­венство представляют пары одинаково основных отношений, но утверждал, что умозаключение возможно только там, где прямо находится или подразумевается утверждение, сходство или раве­нство, словом, какой-нибудь вид тождества.

Согласно законам диалектики, тождество и различие являют­ся двумя сторонами единого предмета или процесса. Отражение отношений тождества и различия, имеющихся в самих предметах действительного мира, находит свое выражение и в мышлении, в формах умозаключений. Поэтому отбросить различие, выража­ющееся в отрицательных суждениях, и все свести только к тож­деству, выражающемуся в утвердительных суждениях, нельзя, да и нет в этом необходимости. Единство противоположностей — тождества и различия — неразрывно.

Интересны и оригинальны взгляды С. Джевонса на категори­ческий силлогизм с двумя отрицательными посылками. Он утвер­ждает, что его принцип умозаключения ясно отличает случаи, когда оно оказывается правильным или неправильным. Он при­водит пример умозаключения.

Все, что не металлично, не способно к сильному магнитному влиянию.

Уголь не металлнчен.

Уголь не способен ж сильному магнитному влиянию.

Здесь из двух отрицательных посылок получается истинное отрицательное заключение. С. Джевонс считает, что там, где возможно подставлять тождественное вместо тождественного, возможен вывод заключения из двух отрицательных посылок.

С. Джевонс внес значительный вклад в алгебру логики, осо­бенно в проблему отрицания классов и отрицательных суждений.

Следующий этап в развитии математической логики связан с именем русского логика, математика и астронома Платона Сергеевича Порецкого (1846—1907). Его работы 17 существенно обобщают и развивают достижения Буля, Джевонса и Шрёдера.

Анализируя понятия, Порецкий различает две формы: форму, обладающую данным признаком, обозначаемую буквами а, b, с. и форму, им не обладающую, обозначаемую а1,b1,с1и т. д. 18

1 обозначает класс людей, то а1— людей-не-артистов и т. д.

Операция отрицания над системами равенств, по мнению Порецкого, непригодна. К соединению двух и более равенств в одно новое равенство пригодны лишь две логические операции: сложение и умножение отдельных частей равенств, причем пред­варительно каждое отдельное равенство может быть в случае надобности заменено его отрицанием.

В созданной им теории логики Порецкий подчеркивал вза­имосвязь двух проблем: выведения следствия из заданной систе­мы посылок и нахождения тех посылок, из которых данное логическое равенство может быть получено в качестве следствия. Несколько подробнее остановимся на методе нахождения всех простых следствий из данных посылок, который в теории логики получил название метода Порецкого — Блэйка (его предложил американский математик Блэйк 19 на основе работы Порецкого).

Простым следствием из данных посылок называется дизъюн­кция каких-либо букв или их отрицаний, являющаяся логическим следствием из этих посылок, и притом таким, которое не погло­щается никаким более сильным следствием такого же вида. (Мы говорим, что а сильнее b, если из а следует b, но из b не следует а.)

Все простые следствия из данных посылок можно получить, выполнив преобразования следующих пяти типов:


1) привести конъюнкцию посылок к конъюнктивной нормаль­ной форме (КНФ). КНФ есть конъюнкция из дизъюнкций элемен­тарных высказываний или их отрицаний, эквивалентная данному выражению [т. е. если есть импликация, то се надо заменить на дизъюнкцию по формуле


3)использовать законы выявления, т. е. формулы


5) из всех повторяющихся членов оставить только один (на основании законов идемпотентности).

В результате получится силлогистический многочлен, кото­рый будет содержать все простые следствия из данных посылок, и только простые следствия. Они интереснее, чем обычные логи­ческие следствия, так как зависят от меньшего числа параметров (элементарных высказываний).


Покажем это на конкретной задаче. Из данных трех посылок, имеющих следующие формы: — требуется вывести все разные (неэквивалентные между собой) формы простых логических следствий. Для решения задачи выполним следующие операции.

1. Соединяем посылки знаками конъюнкции и приводим вы­ражение к КНФ:

или, в другой записи,

2. В полученной КНФ к членам 1 и 3 применяем закон выявления, получаем


Затем к членам 2 и 4 снова применяем этот же закон:



Вывод: при данных посылках суждения г и р истинны, а сужде­ние q ложно, т. е. если суждениями выражены некоторые собы­тия, то событие г и событие ρ наступят, а событие q не наступит.

Исследования Порецкого продолжают оказывать стимулиру­ющее влияние на развитие алгебраических теорий логики и в на­ши дни.

В XX в. математическая логика развивалась в трудах Ч. С. Пирса и Дж. Пеано.

Американский логик Чарльз Сандерс Пирс (1839—1914) внес существенный вклад в разработку алгебро-логических концепций и явился основоположником новой науки — семиотики (общей теории знаков). В работах Пирса содержится тенденция к рас­членению семиотики: на прагматику (анализирует отношение знака к его исследователю), семантику (выясняет отношение зна­ка к обозначаемому им объекту) и синтактику (исследует взаимо­отношения между знаками).

Пирс пишет о том, что реальное можно определить как нечто, свойства которого независимы от того, что о них мыслят. Наибо­лее общим подразделением знаков он считал такие: изображения (icons), индексы (indices) и символы (symbols). Пирс предлагал классификацию знаков и по другим основаниям.

Пирс предложил строить исчисление высказываний лишь на одной операции, этим предвосхитив результаты М. X. Шеффера (Шеффер также строил исчисление высказываний на одной опера­ции, которая вошла в историю логики под именем ее созда­теля — штрих Шеффера). Единственной логической операцией Пирс предлагал считать отрицание нестрогой дизъюнкции.

Пеано ввел следующие употребляющиеся и выне символы:

а) — знак принадлежности элемента к классу; б) — знак включения одного класса в другой класс; в) — знак объединения классов; г) — знах для обозначения операции пересечения классов.

Крупным вкладом Пеано в развитие аксиоматического мето­да явилась его система из пяти аксиом для арифметики натура­льных чисел. На базе своей аксиоматики Пеано строит всю теорию натуральных чисел.

На заключительном этапе своей научной деятельности Пеано приступил к систематическому изложению логики как особой, по его мнению, математической дисциплины.

Далее развитие математической логики осуществлялось по многим направлениям, а также в проблемном плане. Это было обусловлено необходимостью дальнейшего освоения как клас­сической и неклассической логик, так и в связи свозникшими трудностями в обосновании математики.

Средневековая логика - исторический этап развития традиционной (общей или аристотелевской) логики, возникший в Западной Европе периода Средневековья; логико-философское направление исследований средневековья ческих философов, связанный с новыми логико-семантическим и семиотическими проблемами, а также дальнейшее развитие формального аппарата традиционной логик. Относительно логики средневековья (как и всей тогдашней культуры) существуют противоположные точки зрения. Одни ученые рассматривают эту эпоху как время упадка культуры, другие, отмечая проявления прогресса, — как необходимый этап развития человечества.

Вложенные файлы: 1 файл

доклад.docx

Средневековая логика - исторический этап развития традиционной (общей или аристотелевской) логики, возникший в Западной Европе периода Средневековья; логико-философское направление исследований средневековья ческих философов, связанный с новыми логико-семантическим и семиотическими проблемами, а также дальнейшее развитие формального аппарата традиционной логик. Относительно логики средневековья (как и всей тогдашней культуры) существуют противоположные точки зрения. Одни ученые рассматривают эту эпоху как время упадка культуры, другие, отмечая проявления прогресса, — как необходимый этап развития человечества.

Цель средневековой логики заключалась не в нахождении истины, поскольку истина уже дана в божественном откровении, а в изложении и доказательстве этой истины посредством разума.

Средневековая логика, как и философия в целом, была поставлена на службу религии. Главное ее задание заключалось в обосновании догматов религии, доведении существования Бога, объяснении вопросов сотворения мира и бессмертия человеческой души и тому подобное.

Особенности средневековой логики:

1 Логика развивалась в контексте дальнейшего развития диалектики, риторики, грамматики с целью совершенствования логических методов ведения споров и приемов аргументации й в дискуссиях, в Средневековье имели религиозный смысл

2 В контексте споров об универсалиях появились логико-философские проблемы о природе абстрактных понятий и их связи с объективной реальнос ю

3 Обособленные реальная (материальная), формальная (общая сущность вещи) и умозрительная (логическая) разница существования объектов вследствие мыслительного сравнения, конкретные и абстрактные понятия

4 Дальнейшее й развитие формального аппарата традиционной логики из-за введения искусственных символов А, Е, И, О для обозначения четырех видов атрибутивных суждений и \"логического квадрата\" для схематического изображения логики ческих отношений между ними

5 Дальнейшее развитие модальной логики( МОДАЛЬНАЯ ЛОГИКА – область логики, в которой изучаются логические операторы, называемые модальностями ) 6 Разработка основ семиотики (Семио́тика, или семиоло́гия — наука, исследующая свойства знаков и знаковых систем) и логической семантики (ЛОГИЧЕСКАЯ СЕМАНТИКА - раздел логики, в котором изучаются отношения языковых знаков к обозначаемым ими объектам и выражаемому ими содержанию.)

Проводником между античной и арабоязычной логикой послужила наука, разрабатываемая в Сирии. Вопросами логики в арабском мире занимались такие ученые, как аль-Фараби, которого считают основателем сирийской логики, Ибн-Сина (Авиценна), Ибн-Рушд (Авер-роес).

Средневековая логика в истории философии получила название \"схоластическая логика\" (греч - школа, ученая беседа; лат - ученый, школьный) Весомый вклад в развитие традиционной логики сделали средневековые фил философ С Боэций, Т Аквинский, П Абеляр,П Испанский, Д Скотт

Декретом императора Зенона в 489 году была запрещена и закрыта аристотелевская перипатетическая школа, а в 529 году декретом Юстиниана была закрыта и последняя языческая философская школа в Афинах – школа неоплатоников. Многие философы переселялись в ближневосточные страны. Центром философии и логического знания становится Дамаск. Сюда перевозятся библиотеки, книги Платона, Аристотеля, переезжают античные математики, врачи, астрономы. Мусульманство ещё не представляло собой большой политической и религиозной силы, поэтому философы работали спокойно.

Арабская средневековая логика

В те времена в Багдаде жил Аль-Фараби. Он знал логику настолько хорошо, что последующие философы часто называли его вторым учителем. Первым учителем был, конечно же – Аристотель. В короткий срок Аль-Фараби в совершенстве овладел арабским языком и начал заниматься различными науками, прежде всего логикой.

В Багдаде популярным мыслителем был и Абу-Бишр Матта бен-Йунис. Он был известен не только в Багдаде, но и во всех культурных центрах Арабского халифата как крупный комментатор логического наследия Аристотеля. Ряды его учеников пополнил Аль-Фараби, который прилежно записал со слов Абу-Бишр Матта комментарии к трудам Аристотеля по логике. Влияние багдадского учителя на Аль-Фараби было значительным, ибо Абу-Бишр Матта обладал прекрасным стилем, тонкой культурой комментирования логических текстов.

Но у логики есть свои теоретические основы существования. Аль-Фараби сформулировал принцип разделения всего мира на два вида бытия. Первый вид – это те вещи, из сущности которых не вытекает их существование, эти вещи могут как существовать, так и не существовать. Поэтому Аль- Фараби называет их возможно-сущими. Для их существования имеется причина вне этих вещей. Но есть вещи, причина существования которых имеется в самих этих вещах, т.е. существование которых определяется их сущностью. Логику Аль-Фараби считал наукой, дающей разуму определенные законы и помогающей ему добиться достоверного знания. Логика, по Аль-Фараби, подобна весам, на которых можно взвешивать различные материалы и которые не меняются в зависимости от того, что на них взвешивается.

Изучение им научного мышления опиралось на концепцию истинности, разработанную Аристотелем. Структура логики Аль-Фараби состояла из двух частей, одна рассматривала представления и понятия, а другая изучала теорию суждений, вывода и доказательств. Особое внимание Аль- Фараби уделял вопросам теории познания и грамматике, переводам научного наследия народов мира на арабский язык, в том числе и логических трактатов, удовлетворяя тем самым настоятельную потребность в рациональной методике, организующей научную мысль в самых разнообразных областях арабской культуры и практики.

У Аль-Фараби было много последователей. Абу Сулейман Мухаммед Седжестани собрал вокруг себя в Багдаде во второй половине X в. кружок, проводивший культурные и философские собрания. Об этом известно из книги ученика Абу Сулеймана Абу Хайана Тавхиди.

Настоящим духовным учеником Фараби был Авиценна, признававший его в качестве своего учителя. В Андалузии идеи Фараби повлияли на Ибн Бахью, в Иране – на Сухраварди вплоть до Муллы Садра Ширази. Аль-Фараби всю жизнь искал консонанс в любомудрии, стремясь достичь согласия между учениями Платона и Аристотеля, между философией и пророческой религией.

Для большинства арабо-мусульманских мыслителей, трудившихся в различных отраслях знания, логика стала методом мышления: она использовалась языковедами, философами, теологами. Некоторые из них применяли её скрытно, используя иные названия. Опасались полемики с противниками греческой логики из числа мусульман. Одни считали ее наукой, чуждой арабской мысли и арабскому языку, наносящей вред религиозным убеждениям. Другие мыслители переводили логические труды на арабский язык и внимательно их изучали.

Имя Аль-Хорезми известно и благодаря слову алгоритм, которым арабы обозначали всю математику и логику математических исчислений. Аль-Хорезми впервые представил алгебру как самостоятельную науку об общих методах решения линейных и квадратных уравнений, дал классификацию этих уравнений.

Известный историк науки Д. Сартон назвал его величайшим математиком своего времени и, если принять во внимание все обстоятельства, одним из величайших учёных всех времён. Труды Аль-Хорезми переводились с арабского на латинский язык, а затем на новые европейские языки. На их основе создавались различные учебники по математике и логике.

Труды Аль-Хорезми сыграли важную роль в становлении науки эпохи Возрождения и оказали плодотворное влияние на развитие средневековой научной мысли в странах Востока и Запада. Аль-Хорезми разработал подробные тригонометрические таблицы, содержащие функции синуса. В XII и XIII веках на основании книг Аль-Хорезми на латыни были написаны работы, сохранявшие актуальность ещё много столетий.

Аль-Кинди прекрасно знал работы Аристотеля, Плотина, Порфирия, Птолемея, Евклида. В философии и логике он опирался на аристотелизм, и, как Аристотель, считал философию венцом всего научного знания. Аль-Кинди не ограничивался мусульманским мировоззрением и указывал, что истина – истина везде. И если, скажем, истину скажет иноплеменник, или человек другой веры, то истина от этой лжи не станет.

Большую роль в познании истины Аль-Кинди уделял математике. Аль-Кинди был рационалистом и вслед за Аристотелем считал, что при помощи разума возможно полное познание истины. Однако было и существенное отличие от Аристотеля, обусловленное мусульманским характером мировоззрения Аль-Кинди. Он утверждал, что целью всего существующего является Аллах, в котором и существует полнота истины. Полное познание этой истины достигается немногими, оно дается лишь пророкам. Это знание выше всякого разумного познания. Философ не может его достичь, ибо оно выше разума, выше логики.

Логика, писал он, есть наука, при помощи которой познаются различные методы перехода от вещей наличных в человеческом уме к вещам, познание которых он стремится приобрести. По Ибн-Сине, логика наряду с физикой и математикой входит в состав философии. Он считал, что логика анализирует четыре основных предмета: понятие, суждение, умозаключение и доказательство. Ибн-Сина исследовал связь общего и отдельного, субъекта и предиката в предложении.

Историки логики признают влияние логики арабов на развитие европейской логики в средние века. Авиценне была известна зависимость между категорическими и условными суждениями, выражение импликации через дизъюнкцию и отрицание.

Авиценна признавал разделение наук на теоретические и практические. Среди теоретических наук главной он считал метафизику, ибо она находится вне природы. Ниже лежит средняя наука, т.е. математика. Математика включает в себя астрономические и музыкальные науки. Средней она является потому, что, с одной стороны, изучает явления нематериальные, а с другой – те, которые относятся к материальному миру. Низшая наука – это физика, наука о чувственных вещах материального мира. Логику Авиценна считал введением во все науки.

Вслед за Аристотелем Ибн-Сина считал возможным познание мира, указывая, что истинным знанием является лишь знание, основанное на разуме. Проблема универсалий, как мы помним, восходит к спору Аристотеля и Платона об объективности идей. Так вот, согласно Ибн-Сине, универсалии существуют и в вещах, и в уме человека, и до вещей.

Именно Авиценне принадлежит терминология, которая войдет в католическую философию Фомы Аквинского. Универсалии существуют до вещей, и после вещей, т.е. в уме человека. Универсалии существуют в уме Бога, потом вещь оказывается причастной этой универсалии, затем и человек, познавая вещь, вырабатывает универсалии уже в своем собственном уме.

Сущность и существование совпадают только в Боге, а в любом другом предмете они различаются. Строго говоря, все вещи, существующие в мире, можно назвать и возможно-сущими, и необходимо-сущими одновременно.

Одним из философов, богословов, внёсших вклад в развитие логики, был Аль-Газали. Полное имя Абу Хамид Мухаммед ибн-Мухаммед Аль Г азали. Он родился и жил в Персии, на территории нынешнего Ирана. В молодости изучал философию, стремился к познанию истины, имел учеников.

Но вскоре он покидает город и становится дервишем, т.е. странником – аскетом, ведёт монашеский образ жизни на протяжении одиннадцати лет. Ученики уговорили его вернуться к учительской деятельности, и Аль-Газали начинает преподавать.

Естественные науки в те времена в арабском мире достигли значительного развития, и отрицать математику, и особенно медицину, было безрассудно.

Аль-Газали не возражал против естественных наук, он лишь утверждал, что естественные науки имеют свои границы: и математика, и физики, и медицина и другие науки имеют практическую пользу, и только в этом достоинство их существования.

Всемогущ только Бог, материя несамостоятельна, зависит от Бога и сотворена им. Бог знает все вещи непосредственно, для этого Ему не нужно создавать какие-то универсалии, какие-то общие сущности, это излишне. Ведь Бог познаёт без всяких посредников. Существуют лишь конкретные материальные тела, и Бог их творит непосредственно, минуя посредников в виде универсалий. Его творческая потенция всемогуща, поэтому сотворение мира Бог не ограничивает каким-то разовым актом, и творит мир постоянно, так, что в каждый момент он творит мир в новом облике. Мы не замечаем нового творения, и поэтому оно кажется нам изменением, вызванным предыдущим его состоянием. На самом деле, это новое состояние мира не имеет никакого отношения к предыдущему, а является новым творением Бога.

Всё в мире зависит от воли Бога, нет никакой свободы, нет никакой случайности. Хамид Аль-Газали стремился соединить логику с исламскими науками. Его деятельность была направлена на формирование всестороннего и систематического учения суфизма. Он сформулировал теоретические основы суфизма и добился его интеграции с общепризнанным исламом.

Получивший широкое распространение в мусульманском мире суфизм был мистическим учением, не признававшим ни чувственного, ни рационального познания. Множественность вещей, как они представляются в ощущениях и мышлении, суфизм считал обманчивой видимостью. Вместе с тем, обосновывая свой призыв к изучению логики, Аль-Газали говорил, что в логических исследованиях нет ничего такого, что отрицало или подтверждало бы религию. Это всего лишь подход к построению доказательств, изъяснение основ и условий выстраивания аргументации.

Стоит отметить творчество арабского логика, юриста и медика – Ибн-Рушда (Аверроэс), жившего в XII в. Аверроэс написал комментарии ко многим сочинениям Аристотеля, в том числе и к его сочинениям по логике (ни греческого, ни сирийского языка Аверроэс не знал, сочинения Аристотеля были известны ему лишь в арабском переводе).

Полемика вокруг приемлемости греческой логики и потребности в ней не помешала её использованию в дальнейших исламских исследованиях. Изучение и применение логики сыграли большую роль в эволюции методологии научных исследований у мусульман, как среди сторонников логики, так и среди тех, кто отвергал её.

Арабо-язычную логику можно охарактеризовать следующим образом:

  1. Теоретические источники средневековой арабоязычной логики следует искать в логике Аристотеля. Средневековая арабоязычная логика стояла на уровне наук своего времени, авторы систем логики были во всеоружии научного знания и двигали это знание вперед.
  2. Арабоязычная логика средневековья оказала значительное влияние на западноевропейскую логику эпохи развитого феодализма.
  3. Арабоязычная логика средневековья и по настоящее время бытует в качестве логики исламского богословия.
  4. Арабоязычная средневековая логика основывалась на законе противоречия в его метафизическом толковании, запрещавшем мыслить наличие противоречий в самих вещах и предметах действительности, и на связанном с ним законе исключенного третьего.

Средневековая логика является, по большей части, трактовкой и анализом античных философских теорий. В основном изучались вопросы модальной логики, теория логического следования, теория семантических парадоксов, а также проводился анализ выделяющих и исключающих суждений. Основными направлениями, рассматривающими вопросы логики, были направление реалистов и номиналистов. Первые считали, что общие понятия существуют независимо от единичных вещей. Номиналисты стояли на противоположных позициях и считали, что общие понятия лишь именуют единичные вещи, которые являются реальными. Следует отметить, что оба эти подхода неверны.

Проводником между античной и арабоязычной логикой послужила наука, разрабатываемая в Сирии. Вопросами логики в арабском мире занимались такие ученые, как аль-Фараби, которого считают основателем сирийской логики, Ибн-Сина (Авиценна), Ибн-Рушд (Авер-роес).

Данный текст является ознакомительным фрагментом.

Продолжение на ЛитРес

Глава 3 Средневековая философия: теоцентризм

Глава 3 Средневековая философия: теоцентризм Если греческая философия выросла на почве античного рабовладельческого общества, то философская мысль средних веков принадлежит к эпохе феодализма (V–XV века). Однако неверно было бы представлять себе дело так, что переход от

3. Средневековая арабоязычная философия

3. Средневековая арабоязычная философия Арабская философия в средние века развивается не только в лоне мифологии и религии, но и в лоне науки. Известны успехи арабских ученых в математике, астрономии, географии, медицине, истории, алхимии. Арабские философы, бывшие обычно

§5. Античная и средневековая демократия

§5. Античная и средневековая демократия Особенность исторического развития средневекового города создавалась не экономической противоположностью городского и негородского населения и формами их жизненного уклада. Решающим было положение города внутри политических и

Глава 2. Средневековая философия

Глава 2. Средневековая философия Если греческая философия выросла на почве античного рабовладельческого общества, то философская мысль Средних веков принадлежит к эпохе феодализма (V—XV вв.). Однако неверно было бы представлять себе дело так, что переход от одного к

5. Средневековая логика

5. Средневековая логика Средневековая логика является, по большей части, трактовкой и анализом античных философских теорий. В основном изучались вопросы модальной логики, теория логического следования, теория семантических парадоксов, а также проводился анализ

2. Средневековая философия

2. Средневековая философия Философия и религияФилософские идеи в средние века чаще всего были облачены в религиозные одежды. Строго говоря, религия не является философией. Религия — это богопослушание, сверхъестественная связь человека с богом. Для религии характерны

Глава 1.2 Средневековая философия

Логика открытия и логика оправдания гипотезы

Логика открытия и логика оправдания гипотезы В стандартной модели развития теории, которая разрабатывалась в рамках позитивистской традиции, логика открытия и логика обоснования резко разделялись и противопоставлялись друг другу. Отголоски этого противопоставления

СРЕДНЕВЕКОВАЯ ФИЛОСОФИЯ

СРЕДНЕВЕКОВАЯ ФИЛОСОФИЯ ВВЕДЕНИЕ Средневековая философия представляет собой тот длительный отрезок в истории европейской философии, который непосредственно связан с христианской религией. Лишь те философы, которые разделяли религиозные и светские позиции

СРЕДНЕВЕКОВАЯ ФИЛОСОФИЯ

СРЕДНЕВЕКОВАЯ ФИЛОСОФИЯ Пришествие Бога Сына, Иисуса Христа, на землю, его странствия, просветленные проповеди и притчи, обращенные к людям, его арест, крестные муки и Воскресение — начало эпохи христианства, эпохи Нового Завета, в которой люди стремились не только

1. Средневековая предыстория и Возрождение

1. Средневековая предыстория и Возрождение Картина Средних веков искажалась двояко[14].Такие попытки – при их кажущейся научной объективности и достоверности – практически сводят социальное исследование к собиранию бесчисленных подробностей и не позволяют понять ни

Читайте также: