Реферат: Этапы развития логики как науки и основные направления современной символической логики

Теоретические источники средневековой арабоязычной логи­ки следует искать в логике Аристотеля. Основателем арабоязыч­ной логики считается сирийский математик аль-Фараби (ок. 870-950), который прокомментировал весь аристотелевский “Органон”. Логика аль-Фараби направлена на анализ научного мышления. Имисследуются вопросы и теории познания, и грамматики. У него, как и у Аристотеля, метод мышления соотносится с реальными отношениями и связями бытия. Аристотель был “духовным настав­ником” аль-Фараби в области логики.

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

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

Таджик Ибн-Сина (Авиценна) (ок. 980-1037) комментирует Аристотеля и сам пытается развить логику. Авиценне известна зависимость между категорическими и условными суждениями, выражение импликации через дизъюнкцию и отрицание, т. е. фор­мула

(р → q) ( q)

В учебнике “Логика” Ибн-Сина стремился обобщить аристотелевскую силлогистику. Вначале Ибн-Сина пользовался комментариями к работе Аристотеля “Метафизика”, сделанными аль-Фараби.

Другим крупным арабским аристотеликом был Ибн-Рушд (Аверроэс) (1126-1198). Он также тщательно комментировал логические тексты Аристотеля. Ибн-Рушд развивал понимание модальностей.

Во второй половине ХIII в. самым популярным руководством по логике было “Summulae logicales” Петра Испанского (прибл. 1220-1277). В трактате Петра Испанского имеется ряд новых идей (по сравнению с мегаро-стоической школой), относящих­ся к логике высказываний.

Логику разрабатывали также англичанин Дунс Скот, испанец Раймунд Луллий, англичанин Вильям Оккам, француз Жан Буридан, немец Альберт Саксонский.

Логика эпохи Возрождения и Нового времени'

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

В разработку материалистических основ логики большой вклад внес Фрэнсис Бэкон (1561-1626) - родоначальник англий­ского материализма. Выступая против крайностей рационализ­ма и эмпиризма, Бэкон говорил, что ученый не должен уподоб­ляться ни пауку, ткущему паутину из самого себя, ни муравью, который только собирает и накапливает материал, а должен, подобно пчеле, собирать и перерабатывать материал, преобра­зуя его в научную теорию.

Ф. Бэкон разработал основы индуктивной логики в своем зна­менитом произведении “Новый органон”. Как показывает само заглавие, Бэкон противопоставляет свою логику логике Аристо­теля. Его “Новый органон” должен заменить старый аристоте­левский “Органон”. Но Бэкон был несправедлив по отношению к Аристотелю, он не знал подлинного Аристотеля, знакомился с его работами в изложении средневековых философов. Заслугой Бэкона является разработка им вопросов научной индукции, целью которой является раскрытое причинных связей между явлениями окружающего мира. Ф. Бэкон разработал методы определения причинной связи между явлениями: метод сходства, метод разли­чия, соединенный метод сходства и различия, метод сопутствующих изменений, метод остатков. Далее, в XIX в., разработка вопросов научной индукции была продолжена Дж. Ст. Миллем и другими логиками.

Французский философ Рене Декарт (1596-1650) сформулиро­вал четыре правила, которыми надо руководствоваться при вся­ком научном исследовании. Его последователи Арно и Николь в 1662 г. написали книгу “Логика, или Искусство мыслить” (“Ло­гика Пор-Рояля”), в которой поставили задачу освобождения ло­гики Аристотеля от внесенных в нее поздними логиками схола­стических искажений.

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

Кант считал, что знание выражается в форме суждения. Он различал аналитические суждения, которые, не давая нового знания, раскрывают в предикате знание, уже заложенное в субъекте (например: “Все тела протяженны”), и синтетические суждения, в которых знание, заключенное в предикате, синтезируется со знанием, содержащимся в субъекте (например: “Некоторые тела тяжелы”). В свою очередь, синтетические суждения Кант делил на апостериорные, в которых связь субъекта с предикатом осно­вывается на опыте (например: “Некоторые люди чернокожие”), и априорные, в которых эта связь мыслится как предшествующая опыту и даже являющаяся его предпосылкой (например, сужде­ние, выражающее закон причинности: “Все, что случится, имеет причину”).

Априорные синтетические суждения Канта вызвали большую дискуссию среди логиков и философов, продолжающуюся до сих пор.

Одним из вкладов Канта в логику является отличение им ло­гического основания и логического следствия от реальной при­чины и реального следствия.

Самый знаменитый представитель немецкой классической фи­лософии - Г. В. Ф. Гегель (1770-1831). Он критиковал Канта, в том числе и по вопросам логики, но его критика осуществлялась с позиций идеалистической диалектики. Логика у Гегеля совпа­дает с диалектикой. Поэтому, критикуя формальную логику, он отвергает последнюю. Гегель, говоря об отражении в мышлении понятий движения объективного мира, объективный мир пони­мал идеалистически, а именно как инобытие абсолютной идеи. Критику законов формальной логики Гегель дал во второй книге своего труда “Наука логики” в разделе “Учение о сущности”.

Рациональное зерно философии Гегеля - диалектика. Он раз­рабатывал проблемы диалектики мышления и диалектической логики.

Логика в России

Русские логики, такие, как П. С. Порецкий, Е. Л. Буницкий и многие другие, внесли существенный вклад в развитие логики на уровне мировых логических концепций.

Первый трактат по логике появился в России в Х в. Это был перевод философской главы из “Диалектики” византийского писателя VII в. Иоанна Дамаскина, которая представляла собой изложение работ Аристотеля и его комментариев. Первое систематическое учебное пособие по логике, включавшее ари­стотелевскую логику и отдельные идеи Гоббса, было подготов­лено во второй половине XVII в. Тогда же в России начали рас­пространяться отдельные идеи математической логики.

В XVIII в. в России появляются оригинальные логические ре­зультаты. Первым их добивается Михаил Васильевич Ломоносов (1711-1765). Он вносит существенные изменения в традиционную силлогистику, предлагая свою классификацию умозаключений,

отграничивает суждение от грамматического предложения и др. Дмитрий Сергеевич Аничков (1733-1788) в трактате “Заметки по логике, метафизике и космологии” (“Annotationes in logicam, metaphisicam et cosmologiam”) исследовал модальные суждения, подразделяя их на четыре вида - необходимые, невозможные” возможные и не невозможные, сформулировал систему правил для ведения диспутов.

Философ-материалист Александр Николаевич Радищев (1749-1802) одним из первых в мировой литературе поставил проблему необходимости логического анализа отношений, которого нет ни в логике Аристотеля, ни в логике средневековых схоластов. Он писал о суждениях, что они представляют собой сравнение двух понятий или познание отношений, существую­щих между вещами. А. Н. Радищев дает следующую классифи­кацию умозаключений:'

1) “рассуждение” (т. е. силлогизм);

2) “уравнение”, т. е. умозаключения равенства, основанные на следующей аксиоме: равные и одинаковые вещи состоят в равном или одинаковом союзе или отношении;

3) “умозаключения по сходству”.