Логика. Учебник для средней школы. (Издание восьмое. Утверждён Министерством просвещения РСФСР.), стр. 15

Когда же связь предмета и свойства нами установлена не предположительно, а на самом деле, то мы свою мысль выражаем в форме такого рода суждений:

Колхоз «Авангард» перевыполнил план лесных посадок.

В нашей школе хорошо оборудован физический кабинет.

Золотое и багровое небо отражалось в воде.

Заводская библиотека получила много новых книг.

Холодный и резкий ветер дул с моря целый день.

Такие суждения называются суждениями действительности (ассерторические суждения). В них мы отображаем существующие в действительности связи предмета и свойства, фактическое положение вещей. Например, в суждении «Ленинград расположен на Неве» выражено действительное местоположение Ленинграда. Мы не мыслим при этом о закономерности такого явления, не имеем в виду его историческую обусловленность, мы только указываем на факт, хотя вообще мы знаем, конечно, что местоположение Ленинграда имеет свои причины.

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

Победа коммунизма во всём мире неизбежна.

Мысли возникают и существуют лишь на базе языкового материала, на базе языковых терминов и фраз.

Изменение и ликвидация базиса влекут за собой изменение и ликвидацию надстройки.

Предметы и явления природы органически связаны друг с другом, зависят друг от друга и обусловливают друг друга.

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

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

В суждениях «Каждое тело состоит из атомов», «Солнце притягивает Землю», «Вода при 100 градусах температуры кипит» и т. д. связь между предметом и общим свойством мыслится как необходимая. Это значит, что каждое тело не может не состоять из атомов или что Солнце не может не притягивать Землю, а вода не может не закипать при 100 градусах тепла в обычных атмосферных условиях.

Суждение необходимости — это такое суждение, в котором отображаются закономерности материального мира.

Например: «Все тела в безвоздушном пространстве падают с одинаковой скоростью», «Общественное бытие определяет сознание людей», «Крах капитализма неизбежен».

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

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

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

Итак, мы рассмотрели утвердительные и отрицательные суждения, общие и частные, условные, категорические и другие виды суждений.

Каждое правильное суждение может рассматриваться в разных отношениях. Например, суждение «А. С. Пушкин — автор романа «Евгений Онегин» является суждением действительности, утвердительным, единичным, категорическим. Его формула:

S есть Р.

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

если S есть Р, то S₁ есть P₁.

§ 10. Объём подлежащего и сказуемого в суждении

Мы видели, что в разных суждениях то или иное свойство утверждается (отрицается) или относительно одного предмета, или относительно нескольких предметов, или относительно всех предметов данного класса. Иначе говоря, в подлежащем суждения мы отображаем или один, или несколько, или все предметы какого-то определённого класса предметов.

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

Например, в суждении «Некоторые самолёты имеют реактивные двигатели» подлежащее не распределено, так как в нём говорится о некоторых самолётах, а не о всех.

Когда же подлежащее обозначает все предметы данного класса, тогда говорят, что подлежащее взято во всём объёме, или распределено.

Например, в суждении «Все самолёты тяжелее воздуха» подлежащее распределено, так как в нём говорится о всех самолётах.

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

Так, в практике мышления часто приходится общее суждение преобразовывать в частное [3]. Например, общее суждение «Все металлы — элементы» можно преобразовать в частное суждение «Некоторые элементы — металлы».

Но суждение «Все металлы — элементы» нельзя преобразовать в суждение «Все элементы — металлы».

Почему? Потому что термин «элементы» в суждении «Все металлы — элементы» взят не во всём объёме, т. е. не распределён. Поэтому в преобразованной форме суждения, когда термин «элементы» будет обозначать субъект суждения, этот термин нельзя брать во всём объёме.

Знание распределённости терминов, входящих в суждение, даёт возможность более правильно строить наши рассуждения.

Возьмём таких два суждения:

Все одноклеточные размножаются простым делением.

Все амёбы — одноклеточные.

Из сопоставления этих суждений можно сделать следующий вывод:

Все амёбы размножаются простым делением.

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

Но никакого нового знания мы не получим из следующих двух суждений:

Все амёбы — одноклеточные.

Инфузория — одноклеточная.

Почему же из первых двух суждений выводится новое (третье) суждение, а из последних суждений такой вывод невозможен?

Потому, что в первом рассуждении дважды встречающийся термин «одноклеточные» распределён по крайней мере в одном суждении.

Из суждения «Все амёбы — одноклеточные» мы узнаём, что амёбы составляют какую-то часть одноклеточных; из суждения «Инфузория — одноклеточная» мы также узнаём, что инфузории составляют какую-то часть одноклеточных. Но из суждений не видно, каковы же эти части, в каком отношении они находятся друг к другу. А раз так, то термин «одноклеточные» не может так связать термины «все амёбы» и «инфузория», чтобы получилось новое знание.

Из приведённых примеров видно, для чего необходимо знать распределённость терминов в суждении.