2.1. Виды суждений по характеру предиката

В традиционной логике установилось деление сужде­ний по характеру предиката. В соответствии с этим раз­личают:

• суждения свойства (атрибутивные суждения);

• суждения отношения (релятивные суждения);

• суждения существования (эк­зистенциальные суждения).

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

• субъекта;

• предиката;

• связки;

• квантора (кванторного слова) .

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

Предикат - часть, в которой отображается свойство или состояние предмета.

(Субъект и предикат принято обозначать соответственно буквами S и Р).

Связка – есть часть атрибутивного суждения, которая выражает связь пред­мета с его свойством (состоянием).

(Связка выражается словами «есть», «не есть», «является», «не является», «суть», «не суть»).

Квантор указывает, относится ли признак, выражен­ный в предикате суждения, ко всему или к части объема понятия, выражаю­щего субъект. Находится перед субъектом и обозначается словами «все», «некоторые», «многие», «ни один» и т.д. Однако квантор может в суждении и отсутствовать. В символической логике кванторные слова «все», «ни один», «некоторые» заменяются знаками: а) квантором общности - перевернутая буква А – начальная буква немецкого слова alle -всеб) квантором существования -(перевернутая буква Е – начальная буква немецкого слова existieren - существовать).

В релятивных суждениях указывается на отношение, которое имеет место между некоторыми предметами мысли. В зависимости от числа предметов, вступающих в то или иное отношение, различают двучленные, трех­членные и вообще n-членные отношения. Соответствен­но этому выделяются суждения с двух-, трех- и вообще n-местными предикатами.

В экзистенциальных суждениях отображается факт существования (несуществования) того или иного пред­мета мысли.

Атрибутивное суждение можно представить как частный случай релятивного суждения, т.е. как суждение с одно­местным предикатом. Такой предикат выступает в ка­честве одноместного функтора, способного порождать суждения при аргументах —именах.

Упражнение 1. Какие из приведенных словосочетаний выражают суждение? Определите вид суждения, а в случаях атрибутивных суж­дений раскройте их логический состав.

1. Это грабеж.

2. Этот грабеж.

3. Приговор - вид судебного решения.

4. Нож, которым совершено убийство, длиннее ножа, обна­руженного у подозреваемого.

5. Заключение эксперта является ви­дом доказательства.

6. Уфа больше Стерлитамака.

7. Разве можно так поступать?

8. Некоторые преступники - рецидивисты.

9. Обла­дает ли данное деяние составом преступления?

10. Среди членов отряда есть наркоманы.

11. Сперва подумай, а потом отвечай.

12. Человека узнают не по речам, а по делам.

13. Мурманск находится за Полярным Кругом.

14. Бога нет.

15. Некоторые рыбы живут до ста лет.

Упражнение 2. Найдите субъект, предикат и связку в следую­щих атрибутивных суждениях.

1. Шведская муха является вредителем сельскохо­зяйственных растений.

2. Это рассуждение является не­правильным.

3. Это рассуждение не является правиль­ным.

4. Некоторые свойства мышления не моде­лируются средствами современной кибернетики.

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