Лекция 4. Логический анализ суждений

1. Суждение как форма мысли. Структура суждения. Напомним данное выше определение суждение и основные его свойства:

Суждение – это форма мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах или отношениях.

Суждение может быть утвердительным (когда приписывает предмету какой-либо признак: «все люди – смертны») либо отрицательным (когда фиксирует отсутствие у данного предмета указанного признака: «ни один человек не был на Марсе»). Наконец, суждение может быть либо истинным, если оно соответствует действительности («пирамида является геометрической фигурой»), либо ложным, если оно действительности не соответствует («динозавры на Земле еще существуют»).

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

1) Субъект (S) – понятие о предмете суждения. Обращаем внимание на то, что предмет нельзя смешивать с субъектом: субъект – это логическая форма (мысль), а предмет – реальный объект. В первом нашем примере субъектом будет понятие «тигры», а во втором – «преступления».

2) Предикат (P) – понятие о признаке, который приписывается или не приписывается предмету суждения. В первом примере предикатом является понятие «хищники», а во втором – «умышленные».

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

3) Связка – это то отношение, которое устанавливается в суждении между субъектом и предикатом. Существует две формы логических связок:

а) утвердительная – когда признак приписывается предмету. В русском языке она выражается словами «есть», «суть», «является», а иногда выражается знаком тире или согласованием слов. Так, в суждении «Студент Петров курит» связка дана неявно, через согласование слов, хотя мы легко можем ее выявить: «Студент Петров является курящим»;

б) отрицательная – когда признак не приписывается предмету, т. е. отделяется от него. В русском языке для этого используются словосочетания «не есть», «не является» (как во втором нашем примере) или же просто частица «не»: «Люди – не ангелы», т. е. «Люди не являются ангелами».

4) Кванторное слово (квантор). Это слово, которое ставится перед субъектом суждения и указывает, относится данное суждение ко всему объему субъекта или же только к части его. Различают два вида кванторов:

а) квантор общности, который выражается словами «все», «ни один», «всякий», «каждый», «любой» и т. п. (этот квантор использован в первом нашем примере);

б) квантор существования, который показывает, что данное суждение характеризует только часть объема субъекта и выражается словами «некоторые», «не все», «кое-кто», «кое-что», «отдельные представители» и т. д. (во втором нашем примере использован как раз квантор существования).

Квантор и связка в логике называются также логическими постоянными или константами.