История развития логического знания

История науки логики

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

1. Сформулировал фундаментальные законы мышления:

   • закон тождества,
   • закон непротиворечия (закон противоречия),
   • закон исключенного третьего.

2. Описал ключевые логические операции.

3. Разработал теоретические основы понятия и суждения.
4. Провел обстоятельное исследование силлогистического (дедуктивного) умозаключения.

На основе аристотелевского учения о силлогизме сложилось одно из направлений современной математической логики – логика предикатов.

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

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

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

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

• дедуктивной логики Аристотеля,
• индуктивной логики Бэкона-Милля.

Дальнейшие достижения науки логики связаны с именами:

• француза Р. Декарта (1596-1650), который внес огромный вклад в дедуктивную логику;
• немца Г. Лейбница, который сформулировал закон достаточного основания (четвертый основной закон логики в дополнение к трем, описанным Аристотелем), выдвинул получившую в дальнейшем развитие идею математической логики;
• немца И. Канта;
• Ибн Сины (Авиценны);
• Ибн Рушда (Аверроэса) и др.

Из русских ученых и философов можно отметить:

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

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

Современные направления развития логики

В настоящее время математическая логика интенсивно развивается. В нее входит большое количество разделов (чаще их называют логиками):

• логика высказываний,
• логика предикатов,
• вероятностная логика и т. д.

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

Представляется перспективной разработка вероятностной логики. Этот раздел исследует высказывания, характеризующиеся различными степенями правдоподобия (от 0 до 1). Интересна временная логики и другие направления.

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

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

Диалектическая логика занимается изучением развития знания, формированием методологических принципов на основе всеобщих законов диалектике. Диалектическая логика – это метод познания диалектики объективного мира.

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