Формальное мышление и его характеристики¶

Формальное мышление — вид мышления, при котором суждения строятся на основе логических правил и правил языка, независимо от фактического содержания и реального положения дел. В широком смысле «формально» означает «по форме», то есть соответствие внешним требованиям, правилам или процедурам без учёта сути происходящего. В бытовой речи выражение «формально это…» обычно указывает, что заявленное соответствие существует лишь на бумаге или по букве закона, но не отражает действительности.

¶Логическое значение термина

В логике формальное мышление оперирует формами — структурами суждений и умозаключений, — отвлекаясь от конкретного содержания. Классический пример: из посылок «все люди смертны» и «Сократ — человек» выводится заключение «Сократ смертен». Вывод верен не потому, что он согласуется с опытом, а потому, что построен по правилу силлогизма. Если заменить содержание на произвольное — «все Z суть Y, X есть Z, следовательно, X есть Y» — форма останется той же, и вывод останется правильным.

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

¶Формальность в математике и логике

В математике формальностью называют свойство системы, при которой допустимость рассуждения определяется исключительно соблюдением правил преобразования символов. Формальная система состоит из:

• алфавита символов;
• правил построения корректных выражений (синтаксиса);
• правил вывода (аксиом и правил вывода).

Д. Гильберт в начале XX века предложил программу формализации всей математики: доказательство должно сводиться к механической проверке правильности последовательности символов. К. Гёдель в 1931 году доказал теорему о неполноте, показав, что в любой достаточно богатой формальной системе существуют истинные утверждения, которые в этой системе недоказуемы. Тем не менее формальные методы стали основой современной математической логики, теории вычислимости и информатики.

¶Формальность в праве и управлении

В юридическом контексте «формально» означает соответствие букве закона или инструкции. Юридический формализм — правовая позиция, при которой правоприменение опирается на точное следование процедуре и тексту нормы, а не на оценку конкретных обстоятельств. Сторонник формализма (в лице Г. Ф. Шершеневича) утверждал, что судья должен применять закон механически, тогда как сторонники свободного судейского усмотрения (Е. Н. Трубецкой) считали необходимым учитывать справедливость и индивидуальные особенности дела.

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

¶Формальное и содержательное в педагогике

В теории обучения различают формальное и содержательное усвоение знаний. Формальное усвоение — запоминание определений и правил без понимания их смысла и связи с другими знаниями. Ученик, решивший задачу по шаблону, но не способный объяснить, почему метод работает, демонстрирует формальное понимание. Психолог Л. С. Выготский связывал формальное мышление с неумением применять знания в новых условиях и выделял его как переходную стадию к мышлению понятийному.

¶Формальность в повседневной речи

В обыденном употреблении слово «формально» имеет оттенок несоответствия сути. «Формально всё в порядке» означает: требования соблюдены, но результат не соответствует ожиданиям или целям. «Формально он не обязан» — юридически обязательства нет, хотя моральные ожидания другие. Такое употребление фиксируется словарями русского языка как значение «по внешним признакам, по одной лишь форме, без учёта содержания».

¶Критика формального подхода

Критика формализма ведётся по нескольким направлениям. В математике теоремы Гёделя показали пределы формализации. В праве критики формализма указывают на несправедливые решения, возможные при буквальном применении нормы. В педагогике формальное усвоение знаний считается неэффективным, поскольку не формирует компетентностей. В бытовой речи обвинение в формальности — упрёк в бездушном отношении к делу.

При этом формальный подход имеет и защитников: в праве он обеспечивает правовую определённость, в науке — воспроизводимость рассуждений, в управлении — устранение произвола.

¶История понятия в русской традиции

В русской философии проблема формального мышления обсуждалась в связи с вопросом о соотношении формы и содержания. Г. С. Сковорода в учении о «сродной труде» подчёркивал значение внутренней сути против внешней формы. В XX веке Л. С. Выготский, С. Л. Рубинштейн и А. Н. Леонтьев разрабатывали проблему соотношения логических форм и живого мышления, показывая, что формальные операции опосредуются содержательными задачами.

¶Источники

• Аристотель. Аналитики первые и вторые.
• Гёдель К. О неполноте формальных систем (1931).
• Выготский Л. С. Мышление и речь.
• Шершеневич Г. Ф. Общая теория права.
• Вебер М. Политика как призвание и профессия.
• Словарь русского языка (С. Ожегова, В. Даль).