Понятие о логической форме

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

Каждому высказыванию или ряду связанных между собой высказываний принадлежит кроме содержания также определённая форма.

Рассмотрим три высказывания: «воин был храбрым», «день был дождливым» и «праздник был продолжительным». Во всех этих высказываниях речь идёт о трех различных предметах и о различных свойствах этих предметов. То есть составные части этих трех высказываний различаются.

Но в каждом из них мысль раскрывает принадлежность предмету известного свойства. Свойство храбрости так же принадлежало воину, как свойство дождливости принадлежало дню и как свойство продолжительности принадлежало празднику.

Общее для всех этих высказываний выражено посредством слова «был».

Слово «был» показывает, что во всех трёх высказываниях имеется один и тот же способ связи мыслимых частей содержания.

Способ связи составных частей мыслимого содержания, в отличие от самого содержания, называется логической формой.

В вышеприведенных трёх высказываниях логическая форма - одна и та же, хотя составные части содержания различны.

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

Часть, соответствующую предмету утверждения принято обозначать символом S (субъект), а часть, соответствующую тому, что утверждается о предмете — символом Р (предикат).

В результате получается формула

S есть Р — символическое выражение логической формы мысли.

Символы S и Р называются в логике переменными знаками, а слово «есть» - постоянным. Переменные знаки — знаки, вместо которых можно подставлять любые конкретные значения. Постоянный знак - знак, сохраняющий значение при подстановке любых выражений вместо переменных.

Независимо от того, какие слова или словосочетания естественного языка мы подставим вместо S и Р, мы получим утверждение о том, что один предмет целиком совпадает с другим предметом, что общие признаки второго предмета присущи первому.

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

«Глинка писал музыку». Если заменить мысль о Глинке мыслью о Скрябине, то получим новое предложение: «Скрябин писал музыку», уже с другой составной частью содержания.

В этом втором предложении заменим мысль о музыке мыслью о сонатах. Получим новое предложение: «Скрябин писал сонаты».

Таким образом, части содержания изменились. В предложениях «Глинка писал музыку» и «Скрябин писал сонаты» составные части различны.

Однако, логическая форма высказывания, т. е. мыслимый способ связи его составных частей осталась общей и выражена в каждом высказывании словом «писал».

То есть логическая форма есть лишь способ связи содержания в мысли.

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

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

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

Сравним два умозаключения:

Первое умозаключение	Все античные поэмы написаны гексаметром. Поэмы Гомера есть античные поэмы.	Второе умозаключение	Все конические сечения пересекаются прямой не более чем в двух точках. Эллипсы есть конические сечения.
	Следовательно, поэмы Гомера написаны гексаметром.		Следовательно, эллипсы пересекаются прямой не более чем в двух точках

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

Составные части содержания в обоих умозаключениях разные. Но логическая форма, т. е. способ связи составных частей содержания, одна и та же. Она может быть выражена так: «Если вещь имеет определённое свойство и если всё, наделённое этим свойством, вместе с тем имеет некоторое другое свойство, то вещь, о которой идёт речь, также имеет это другое свойство».

Символически эту структуру можно выразить формулой:

Все М суть Р.

Все S суть М.

Следовательно, все S суть Р.

М — символ, обозначающий одинаковые по смыслу выражения в первом и во втором утверждениях, который называется медиум, посредник.

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