Одним из важнейших вопросов в теории суждения является вопрос о распределенности терминов.

     Термин называется распределенным, если в суждении он мыслится во всем своем объеме.

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

     Проверим распределенность терминов в следующих суждениях.

     1. «Все адвокаты - это юристы».

Здесь S - адвокаты

         Р - юристы

         По качеству - утвердительное (логическая связка - «есть»)

    По количеству - общее, (квантор общности, выраженный  

     кванторным словом «все»).

Таким образом, получаем «Все S есть P».

     Перед нами общеутвердительное суждение (А), отношение между терминами выглядит так:              

                                                 P‾                                                               

S+

   В рассматриваемом суждении устанавливается тождество между всем объемом субъекта и частью объема предиката, т.е. S мыслится в полном своем объеме (распределен), а Р - лишь в части своего объема (не распределен).

     2. «Некоторые судьи не имеют высшего образования».

Здесь S - судья

     Р - те кто имеет высшее образование

         По качеству - отрицательное (логическая связка - «не есть»)

    По количеству - частное (квантор существования, выраженный 

     кванторным словом «некоторые»).

Таким образом, получаем «Некоторые S есть P»

     Это частноотрицательное суждение (О), отношение между терминами можно выразить при помощи схемы:

                                                                S‾       P+

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

     3. «Некоторые студенты - спортсмены».

Здесь S - студенты

     Р - спортсмены

         По качеству - утвердительное (логическая связка - «есть»)

    По количеству - частное (квантор существования, выраженный  

     кванторным словом «некоторые»).

Таким образом, получаем «Некоторые S есть P».

     Это частноутвердительное суждение (I), отношение между терминами выглядит следующим образом:

 S‾                   P‾

 И субъект, и предикат в этом суждении не распределены, т.к. только часть студентов является спортсменами, и только часть спортсменов является студентами.

     4. «Ни одна из захватнических войн не является справедливой войной».

Здесь S - захватническая война

     Р - справедливая война

     По качеству - отрицательное (логическая связка - «не есть»)

     По количеству - общее (квантор общности, выраженный кванторным

     словом «ни одна из»).

Таким образом, получаем «Ни одно из S не есть P».

Данное суждение - общеотрицательное (Е). Отношения между терминами этого суждения можно выразить следующей схемой:

                                           S+                  P+

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

     Если распределенные термины обозначить знаком «плюс», а нераспределенные - знаком «минус», то распределенность терминов в четырех известных нам типах суждений А, Е, I, О можно выразить схемой:

См. задание 7 контрольной работы.