Для того чтобы получить истинное заключение в процессе рассуждения, следует исходить из двух моментов: истинности исходных посылок и правильности самого рассуждения. Однако формальная логика не определяет истинность исходного знания (это компетенция других наук), она априорно принимает, что данное знание – истинное, то есть соответствует действительности. Ее задача – проследить правильность рассуждения, а эта правильность состоит в соблюдении законов и правил логики.
1.2. Основные этапы развития логики
Логика как самостоятельная наука сложилась в IV веке до н. э. Ее основателем считается древнегреческий философ и ученый Аристотель. Основными работами Аристотеля по логике являются «Первая аналитика» и «Вторая аналитика», в которых представлена теория силлогизма, поднимаются вопросы определения и деления понятий, доказательства. К логическим сочинениям Аристотеля относятся также:
«Топика», «Категории», «Об опровержении софистических аргументов», «Об истолковании». Позднее все эти работы были объединены под общим названием «Органон» (орудие познания). В «Метафизике» Аристотель сформулировал три основные закона мышления: тождества, противоречия, исключенного третьего. Главным содержанием логики как науки у Аристотеля выступила теория дедукции (силлогистика).
В дальнейшем теория силлогизма Аристотеля была дополнена описанием сложных умозаключений (логика стоиков – Зенон, Хрисипп и др.). Представляя логику античного периода, нельзя не упомянуть о Галене (его именем названа 4-я фигура категорического силлогизма) и Порфирии (разработчике схемы, отражающей отношения подчинения между понятиями).
В средние века развитие логики связано с разработкой проблемы общих понятий, теории доказательства, систематизацией учения о силлогизмах. В Новое время создается теория индукции (Ф. Бэкон), которая впоследствии была развита Дж. Ст. Миллем.
Логика, разработанная Аристотелем, и вся доматематическая логика обычно называется традиционной формальной логикой (аристотелевской). Она включает в себя такие разделы, как понятие, суждение, умозаключение (в том числе индуктивное), законы логики, доказательство и опровержение, гипотеза. Традиционная логика является философской наукой, в ней используется естественный язык, дополненный немногими специальными символами. Эту логику принято также называть формальной, так как она возникла и развивалась как наука о формах мышления.
Начало ХХ века знаменует своеобразная научная революция в логике: в ней начинают широко применяться методы математики, а в свою очередь, и в самой математике используются логические методы анализа. Идеи подобного синтеза были высказаны еще Г.В. Лейбницем, не только сформулировавшим закон достаточного основания, но и предсказавшим возможность появления математической логики.
Во второй половине XIX