Основные этапы развития формальной логики

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

Второй этап — это появление математической (или символи­ческой) логики.

Немецкий философ Г. В. Лейбниц (1646—1716) по праву счи­тается основоположником математической (символической) ло­гики.

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

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

Другим основанием деления логики служит различие приме­няемых в ней принципов, на которых базируются исследования. В результате такого деления имеем классическую логику и не­классические логики. В. С. Меськов выделяет такие основопола­гающие принципы классической логики: «1) область исследова­ния составляют обыденные рассуждения, рассуждения в класси­ческих науках; 2) допущение о разрешимости любой проблемы; 3) отвлечение от содержания высказываний и от связей по смыс­лу между ними; 4) абстракция двузначности высказываний»⁷.