§ 5. ИСТОРИЯ ЛОГИКИ (КРАТКИЙ ОЧЕРК)

§ 5. ИСТОРИЯ ЛОГИКИ (КРАТКИЙ ОЧЕРК)

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

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

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

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

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

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

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

Дальнейшее развитие логики связано с именами французского философа Р. Декарта (1596—1650), внесшего существенный вклад в дедуктивную логику[10]; немецкого философа Г. Лейбница (1646—1716), сформулировавшего закон достаточного основания, выдвинувшего идею математической логики, которая получила развитие значительно позднее; немецкого философа И. Канта (1724— 1804) и многих других европейских философов и ученых.

Ряд оригинальных логических идей выдвинули и развили мыслители стран Востока: Ибн Сина (Авиценна), Ибн Рушд (Аверроэс) и др.

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

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

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

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

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

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

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

Диалектическая логика — наука о диалектическом мышлении, в принципах, законах и категориях которого отражаются взаимосвязи, изменение и развитие объективного мира. В отличие от формальной логики, изучающей законы и формы готового знания, диалектическая логика изучает развитие знания, формирует на основе всеобщих законов диалектики методологические принципы: объективность и всесторонность рассмотрения предмета, принцип историзма, восхождение от абстрактного к конкретному и др. Диалектическая логика служит методом познания диалектики объективного мира[12].

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

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

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

Вопросы для самопроверки

1. Когда возникла наука логика? Кто ее основатель?

2. В чем отличие современной (символической) логики от традиционной (аристотелевской) логики? Что такое диалектическая логика?

3. Приведите определение формальной логики.