История логики

Как самостоятельная наука логика сложилась более двух тысяч лет назад, в IV в. до н.э. Ее основателем является древнегреческий философАристотель (348—322 гг. до н.э.). Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики — ло­гики предикатов.

Важным этапом в развитии учения Аристотеля явилась логика античных стоиков. Логика стоиков — основа другого направления математической ло­гики — логики высказываний.

име­немГалена названа 4-я фигура категорического силлогизма;

сочиненияБоэция которого длительное время служили ос­новными логическими пособиями.

Логика развивалась и в средние века, однако схоластика исказила учение Аристотеля, приспособив его для обоснования религиозной догматики.

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

Разработка ин­дуктивного метода — огромная заслуга Бэкона, однако он неправо­мерно противопоставил его методу дедукции; в действительности эти методы не исключают, а дополняют друг друга. Бэкон разрабо­тал методы научной индукции, систематизированные впоследствии английским философом и логикомДж.С. Миллем (1806—1873).

Эту логику принято называтьформальной, так как она возникла и развивалась как наука о формах мышления. Ее называют также традиционной, или аристотелевской логикой.

Дальнейшее развитие логики связано с именами таких выдаю­щихся западно-европейских мыслителей, как Р. Декарт, Г. Лейбниц, И. Кант и др.

Французский философР. Декарт (1569—1650) выступил с крити­кой средневековой схоластики, он развил идеи дедуктивной логики, сформулировал правила научного исследования, изложенные в сочинении «Правила для руководства ума».

Г. Лейбниц (1646—1716), сформулировал закон достаточного основания, выдвинувший идею математической логики, которая получила развитие лишь в XIX—XX вв.; немецкий философИ. Кант (1724—1804) и многие другие западно-европей­ские философы и ученые.

Ряд оригинальных идей выдвинулиМ.В. Ломоносов (1711— 1765),А.Н.Радищев (1749—1802),Н.Г.Чернышевский (1828— 1889). Известны своими новаторскими идеями в теории умозаключе­ний русские логикиМ.И. Карийский (1804—1917) иЛ.В. Рутков-ский (1859—1920). Одним из первых начал развивать логику отно­шений философ и логикС.И. Поварнин (1807—1952).

Во второй половине XIX в. в логике начинают широко применять разработанные в математике методы исчисления. Это направление разрабатывается в трудах Д.Буля, У.С. Джевонса, П.С. Порецкого, Г. Фреге, Ч. Пирса, Б. Теоретический анализ дедуктивных рассуждений метода­ми исчисления с использованием формализованных языков получил название математической, или символической, логики.