Возникновение и этапы развития логики

Возникновение логики как науки имело две предпосылки. Во—первых, это зарождение и первоначальное развитие наук. Этот процесс получает развитие в Древней Греции с VI в. до н. э. Зарождение науки требовало исследования природы мышления как средства познания.

Во—вторых, возникновение логики было связано с развитием ораторского искусства. Логика должна была объяснить, как должна строиться речь и какими свойствами она должна обладать. Поэтому не случайно, что именно Греция стала родиной такой науки, как логика.

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

1) основные виды бытия, которые подпадают под отдельные понятия и определения;

2) соединения и разделения этих видов бытия, которые выражаются в суждении;

3) способы, которыми ум при посредстве рассуждений может перейти от истины известной к истине неизвестной.

Аристотель также выделяет основные виды бытия и соответствующие им роды понятий. Всего их десять:

1) сущность (например, «человек» или «лошадь»);

2) количество (например, «в три метра длиной»);

3) качество (например, «белый»);

4) отношение (например, «больше»);

5) место (например, «в Ликее»);

6) время (например, «вчера»);

7) состояние (например, «ходьба»);

8) обладание (например, «быть вооруженным»);

9) действие (например, «рубить» или «жечь»);

10) претерпевание (например, «быть разрубаемым» или «быть сжигаемым»).

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

Логика одна из древнейших наук. В Европе она начинает формироваться приблизительно в V-IV веках до н.э. Логические проблемы решали Сократ, Протагор, Демокрит, Платон, Английский философ Фрэнсис Бэкон разработал основы индуктивной логики, методы определения причинной связи между явлениями. Далее, в XIX веке, разработка вопросов научной индукции была продолжена Дж.Ст.Миллем и другими логиками.

Немецкий философ и математик Г.В.Лейбниц (XVIIв.) по праву считается основоположником математической логики, он первым применил математические методы для исследования форм мысли, пытался создать универсальный язык, с помощью которого споры между людьми можно было бы разрешать посредством вычисления. Лейбниц полагал, что математику можно свести к логике (логицизм), а логику считал априорной наукой. Интенсивное развитие математическая логика получила в работах Д.Буля,Э.Шрёдера, С.Джевонса, Г.Фреге, Б.Рассела. Сегодня невозможно представить себе прогресс логического знания без математических логик. Союз логики и математики оказался удивительно продуктивным как для логики, так и для математики. Одним из результатов этого союза стало появление информатики и вычислительной техники.