§3. История логики

Логика сформировалась как наука в Древней Греции. В древне­восточных цивилизациях не было того интереса к логике и рацио­нальному мышлению, который характерен для греков^[1].

Основоположником формальной логики считается знамени­тый греческий ученый и философ Аристотель (384-322 до и. э.). Он выделил и проанализировал схемы правильных рассужде­ний - силлогизмы (см. главу 6). Значительная часть того, что из­лагается в настоящем пособии в главах о понятии и суждении, также была создана им.

В Средние века логика была одним из главных предметов, из­учавшихся в университетах. Она входила в так называемый «три­виум» - тройку предметов, изучавшихся бакалаврами. Логика

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

Во второй половине XIX в. происходит математизация ло­гики. Формализация языка логики позволяла исключить много­значность, неточность, а также заменить содержательные рас­суждения оперированием со знаками по формальным правилам. Первые успехи математической логики породили чрезмерные на­дежды на то, что на пути формализации будут решены любые проблемы. Такого рода надежды высказывались и раньше. Вели­кий немецкий ученый и философ Г. Лейбниц (1646-1716) видел в создании специального идеального языка науки и философии ключ к решению всех проблем - не только научных, но и фило­софских и религиозных. В точном языке все проблемы превратят­ся в технические - в проблемы подсчета, считал он. Вместо спо­ров ученые и философы будут подходить к счетным устройствам и говорить: « Посчитаем!».

Пионерами в области математической логики были математи­ки Дж. Буль (1815-1864), О. де Морган (1806-1871) и др. В нача­ле XX в. логический позитивизм надеялся, что аппарат матема­тической логики позволит уточнить или решить традиционные философские проблемы: в частности, отделить (на уровне языка) научные утверждения от ненаучных. Со временем было осозна­но, что формализация всегда может иметь только частичный ха­рактер. Это поставило под сомнение самые смелые надежды. Тем не менее использование средств математической логики несет несомненную пользу: смутное осознание отношений между ут­верждениями заменяется в ней точными формальными прави­лами. Это развивает ту возможность, которая заложена в логике как таковой - строить рассуждения и доказательства, отвлекаясь от содержания наших утверждений, основываясь исключитель­но на отношениях, которые связаны только с логической формой наших утверждений.

Темы докладов

1. Роль логики в жизни человека.

2. Аристотель - основатель логики в Древней Греции.

3. Особенности индийской логики.

4. Парадоксы Гунсунь Луна и апории Зенона из Элеи: логика в Китае и в Древней Греции.

5. «Логика Пор-Рояля» и ее место в истории логики.