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

Чтобы лучше уяснить, в чем особенность логики как науки, полезно ознакомиться хотя бы с некоторыми фактами ее истории, проследить ее основные этапы.

Логика – одна из древнейших наук. Творцом логики как особой научной дисциплины был древнегреческий философ Аристотель, и его исследования положили начало первому этапу в развитии логики. Аристотель – философ, сын придворного врача македонского царя, является автором первых собственно логических исследований, объединенных позднее под названием «Органон». Аристотелю принадлежит определение логики как науки о законах и формах правильного мышления и словесного выражения мыслей. Им была разработана первая логическая теория, называемая силлогистикой, которая на протяжении многих столетий оставалась единственной моделью дедуктивных рассуждений. Одну из целей своих логических исследований Аристотель видел в построении таких форм умозаключений, которые при правильном их использовании всегда приводили бы от истинных посылок к истинному заключению. Аристотель занимался также разработкой схем индуктивных выводов.

Сократ (469-399 гг. до н.э.) разработал диалектику – определение понятий через нахождение того, что есть общего в разнообразном. Платон (427-347 гг. до н.э.) не только усовершенствовал дедуктивный метод Парменида, но и развил диалектический метод Сократа, связав этот метод с дедукцией. Диалектика, которая у Сократа была методом образования понятий, дополнена Платоном исследованиями отношений противоположности и подчинения между понятиями, открытием логического деления объема родового понятия на его виды.

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

Среди работ по логике XVI –XVII веков следует отметить труды немецкого философа и ученого Г.В. Лейбница (1646-1716). Ему принадлежит идея, которая стала исходным пунктом становления и развития современной символической логики. Речь идет о замысле создания системы символов для представления любых предметов и отношений между ними, аналогичной тому, как математические символы представляют числа и их связи. Такой подход, по мысли Лейбница, позволил бы логические связи в умозаключениях уподобить связям между числами, и таким образом создать calculus rationator, логическое исчисление. «Единственное средство улучшить наши умозаключения, – полагал он, – так это сделать их, как и у математиков, наглядными, чтобы ошибки находить глазами, и, если среди людей возникнет спор, нужно сказать «Посчитаем!», тогда без особых формальностей можно будет увидеть, кто прав».

Замысел Лейбница был частично реализован в середине XIX века английским логиком, создателем алгебры логики Дж. Булем. Буль применил алгебраические методы для решения логических задач и сформулировал на языке алгебры логики некоторые фундаментальные законы мышления. С этого времени начался второй, современный этап в развитии науки логики.

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

В начале XX века началась разработка многозначной логики, предполагающей, что суждения могут быть не только истинными либо ложными, но и иметь другие истинностные значения («неопределенно», «возможно» и др.). Получила развитие также модальная логика, рассматривающая понятия необходимости, возможности, случайности (алетические модальности), связи нормативных модальностей («обязательно», «запрещено», «разрешено»), зависимости между эпистемическими модальностями («доказуемо», «неразрешимо», «опровержимо» и др.). Все эти сравнительно новые разделы логики ориентированы на их приложение в гуманитарных науках, в реальной мыслительной практике. Достижения современной формальной логики составляют основу проектирования искусственных интеллектуальных систем (ИИС), без которых немыслим дальнейший научно-технический прогресс.