Традиционная логика. Математическая логика. Значение логики

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

Основоположником традиционной логики считается Аристотель (384–322 гг. до н. э.). Ему принадлежит заслуга разработки основных логических категорий и законов, а также систематического и последовательного изложения логического учения.

Изучение форм мышления и символическое обозначение их элементов, начатое ещё Аристотелем в IV в. до н. э., было продолжено затем Г. В. Лейбницем, Дж. Локком, Дж. Булем, П. Порецким, Г. Фреге, Б. Расселом, Д. Гильбертом, А. Тарским, Я. Лукасевичем и другими математиками и логиками. Это открыло перспективный путь исследования материальных объектов, заключающийся в том, что, отвлекаясь от внутренней изменчивости этих объектов и их вещественного субстрата, содержание изучаемого явления можно выразить с помощью фиксированных элементов его формы. Данное обстоятельство позволило заменить вывод какого-либо содержательного предложения выводом формулы, её выражающей. Мышление стало исследоваться с помощью формализованных языков (логических исчислений), а формализованные языки послужили основой для разработки языков, которыми пользуются в вычислительных машинах.

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

Большая, чем в традиционной логике, степень абстрагирования и обобщения позволяет современной символической логике познавать новые закономерности мышления, возникающие при решении сложных логических конструкций в математике, кибернетике, при проектировании и в работе электронно-вычислительных машин и управляющих устройств.

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

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