История логики (краткий очерк)

Как самостоятельная наука логика сложилась более двух тысяч лет назад, в IV в. до н.э. Ее основателем является древнегреческий философ Аристотель (384—322 гг. до н.э.). В своих логических тру­дах, получивших общее название «Органон» (греч. «орудия позна­ния»), Аристотель сформулировал основные законы мышления: тождества, противоречия и исключенного третьего, описал важней­шие логические операции, разработал теорию понятия и суждения, обстоятельно исследовал дедуктивное (силлогистическое) умоза­ключение. Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики — ло­гики предикатов.

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

Среди других античных мыслителей, развивавших и комментиру­ющих логическое учение Аристотеля, следует назвать Галена, име­нем которого названа 4-я фигура категорического силлогизма; Порфирия, известного разработанной им наглядной схемой, отображаю­щей отношения подчинения между понятиями («древо Порфирия»); Боэция, сочинения которого длительное время служили ос­новными логическими пособиями.

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

Значительны успехи логической науки в Новое время. Важней­шим этапом в ее развитии явилась теория индукции, разработанная английским философом Ф. Бэконом (1561—1626). Бэкон подверг критике извращенную средневековой схоластикой дедуктивную ло­гику Аристотеля, которая, по его мнению, не может служить мето­дом научных открытий. Таким методом должна быть индукция, принципы которой изложены в его сочинении «Новый/Органон» (в отличие от старого, аристотелевского «Органона»). Разработка ин­дуктивного метода — огромная заслуга Бэкона, однако он неправо­мерно противопоставил его методу дедукции; в действительности эти методы не исключают, а дополняют друг друга. Бэкон разрабо­тал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж.С. Миллем (1806—1873).

Дедуктивная логика Аристотеля и индуктивная логика Бэкона — Милля составили основу общеобразовательной дисциплины, кото­рая в течение длительного времени была обязательным элементом европейской системы образования и составляет основу логического образования в настоящее время.

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

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

Французский философ Р. Декарт (1569—1650) выступил с крити­кой средневековой схоластики, он развил идеи дедуктивной логики, сформулировал правила научного исследования, изложенные в сочинении «Правила для руководства ума». В 1662 г. в Париже вышла книга «Логика, или Искусство мыслить», написанная последователя­ми Декарта А. Арно и П. Николем, известная также под названием «Логика Пор-Рояля». Книга оказала заметное влияние на всю пос­ледующую историю развития логики.

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

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

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

Символическая логика — интенсивно развивающаяся область логических исследований, включающая множество разделов, или, как их принято называть, «логик» (например, логика высказываний, логика предикатов, вероятностная логика и т.д.). Большое внимание уделяется разработке многозначной логики, в которой помимо при­нятых в традиционной логике двух значений истинности — «истин­но» и «ложно» — допускается много значений истинности. Так, в разработанной польским логиком Я. Лукасевичем (1878—1956) трехзначной логике вводится третье значение — «возможно» («нейтрально»). Им же построена система модальной логики со значения­ми «возможно», «невозможно», «необходимо» и т.п., а также четы­рехзначная и бесконечнозначная логики.

Перспективными являются такие разделы, как вероятностная логика, исследующая высказывания, принимающие множество сте­пеней правдоподобия — от 0 до 1, временная логика и многие другие.

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

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

Особенность формальной логики состоит в том, что она рас­сматривает формы мышления, отвлекаясь от их возникновения, изменения, развития. Эту сторону мышления изучает диалекти­ческая логика, впервые в развернутом виде представленная в объ­ективно-идеалистической философской системе Гегеля (1770— 1831) и с материалистических позиций переработанная в филосо­фии марксизма. Диалектическая логика изучает законы развития человеческого мышления, а также методологические принципы и требования, ко­торые формируются на их основе. К ним относятся объективность и всесторонность рассмотрения предмета, принцип историзма, раз­двоение единого на противоположные стороны, восхождение от аб­страктного к конкретному, принцип единства исторического и логи­ческого и др. Диалектическая логика служит методом познания диа­лектики объективного мира.

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

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

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

Поиск по сайту: