Главная страница | Контакты | Случайная страница Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

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

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

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

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

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

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

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