2. Процесс формализации

Сравнивая между собой разные по содержанию суждения (высказывания), мы можем в некоторых случаях найти нечто общее в их построении. Возьмём, к примеру, такие суждения (высказывания):

1. "Все осины являются деревьями".

2. "Все обезьяны являются приматами".

В каждом из этих суждений имеется логическое подлежащее (субъект) и логическое сказуемое (предикат).

Субъект отражает мыслимый предмет, а предикат – его признак или отношения. Понятия "осина" и "обезьяна" выступают субъектами, а понятия "дерево" и "примат" - предикатами.

Связь между мыслимым предметом и его признаком выражается в данном случае связкой "являются". Нам ясно, что предложенные два суждения имеют различное содержание, но обладают одинаковым строением, структурой или формой. Она может быть записана следующей схемой или формулой: "Все S суть P".

Возьмём также для рассмотрения два умозаключения.

Первое:	Все граждане СССР имели право на труд. Мельниченко был гражданином СССР. Значит, Мельниченко имел право на труд.
Второе:	Все люди смертны. Владимир Путин – человек. Значит, Владимир Путин смертен.

У этих умозаключений также разное содержание, но одна структура или форма: каждое из этих умозаключений включает в свой состав три суждения, два первых из которых – посылки, третье – заключение, состоящее из терминов (понятий), входящих в посылки. Кроме того в посылках есть одно общее понятие, которого нет в заключении. В первом умозаключении это понятие "гражданин СССР", во втором – "человек". Таким образом, то самое общее в построении различных по содержанию умозаключений и является их структурой или формой. Можно подчеркнуть, что структура или форма мысли – это её построение, представляющее собой своего рода способ связи её частей. Так, определённым образом связаны между собой понятия в суждении, суждения в умозаключении. Определение структуры (формы) некоторых мыслей называют процессом их формализации. Вместе с тем на этом данный процесс не завершается. Он включает в себя также введение формул (схем) для выражения структуры мыслей, уточнение содержания мыслей и некоторые другие действия. Именно в процессе формализации тех или иных мыслей появляются возможности формулировать общие логические правила.

Для того чтобы наше объяснение не было слишком абстрактным, приведём пример. Существует следующее правило умозаключений (подробнее мы рассмотрим эти правила на соответствующей теме): "Если суждение, имеющую форму "Если p, то q", истинно и если p истинно, то истинно и q". Данное правило сформулировано на основе длительного опыта человечества и применимо к мыслям любого, причём различного содержания. Например, суждение "Если человек упадёт с крыши небоскрёба на асфальт, то он умрёт" истинно. Далее, если мы действительно своими глазами увидели, что человек упал с крыши небоскрёба на асфальт, то можно уже и не проверять, жив он или нет, с уверенностью можно сказать, что он погиб.

Таким образом, если установлено, что суждение любого содержания, имеющее форму "Если p, то q", истинно и если истинно p, то можно, и не исследуя данного содержания мыслей, сделать вывод, что истинно и q".