В истории философии формальная логика была целым разделом, направлением логики конца XIX – начала XX веков. Ее не следует путать с математической или символической логикой. Неформальная логика, в противоположность формальной, изучает обыденный человеческий язык, характерный для живых и непосредственных диалогов.

Создателем формальной логики считается древнегреческий философ Аристотель, ученик Платона и учитель Александра Македонского. Именно он придумал понятие категорического силлогизма: из двух элементарных предпосылок заключается третье. Оно является связующим атрибутивным звеном между исходными тезисами.


Абстрактные законы формальной логики можно рассматривать как конкретные методы мышления. Но следует учитывать, что содержание утверждений, их реальная истинность или ложность вычеркиваются формальной логикой из поля зрения. Итак, функционируют три основных закона: тождества, непротиворечия, исключения третьего.

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

Закон непротиворечия: среди двух противоположных высказываний хотя бы одно из них ложно. Оба они истинными быть не могут. Этим законом иллюстрируется несовместимость противоречивых суждений. Любопытно отметить, что со времен Аристотеля предпринимаются попытки оспорить закон непротиворечия. Как правило, в их основе лежит неверное толкование «логического отрицания»: оно имеет место тогда, когда высказывания идентичны во всем, кроме единственного пункта, относительно которого они расходятся по разным полюсам.

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