Суждение, его виды и логическая структура

Суждение, представляющее собой логическую связь между понятиями, является более сложной формой мышления. По традиции, утвердившейся в научной и учебной литературе по логике, учение о суждении излагается после темы «Понятие». Не нарушая этой традиции, тем не менее отметим, что значение суждения во многом определяет как объем, так и содержание понятия, а не наоборот. Так, в высказывании «Русалка является дочерью морского царя» понятие «русалка» является пустым по объему, а в высказывании «Русалка – продукт человеческого воображения» это же понятие – полное.

Возможна и третья, реляционная, трактовка суждения как отношения между предметами. Но в любом случае суждение – это выраженная в языковой форме мысль, в которой что-то утверждается или отрицается и которая является объективно истинной или ложной. Грамматической формой, в которой выступают суждения, являются повествовательные предложения, поскольку в них нечто утверждается или отрицается. Высказывания, в которых ничего не утверждается и не отрицается (вопросительные и побудительные предложения), нельзя считать суждениями.

В атрибутивных суждениях утверждается или отрицается связь между предметом и его признаком. Например: «Все металлы электропроводны», «Свидетель обязан показывать правду». Релятивными называются суждения, в которых устанавливаются отношения между объектами: пространственные, временные, родственные, отношения по величине, весу и т. п. Например, «Аристотель – ученик Платона», «Санкт-Петербург расположен севернее Москвы», «Наименования Российская Федерация и Россия равнозначны».

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

Формой мышления, сходной с суждением, является функция высказывания – выражение, содержащее одну или несколько предметных переменных (х, у, z и др.). Как и суждение, нечто утверждая или отрицая, функция высказывания не является ни истинной, ни ложной. Ее можно сформулировать в виде суждения, во-первых, подставив вместо переменных конкретные понятия, и, во-вторых, связав переменные с помощью кванторов – особых логических выражений («все», «некоторые»), указывающих, в каком объеме берется предмет суждения.

Например, выражение «Х – создал теорию эволюции органического мира» является функцией высказывания. Подставив вместо Х понятие «Дарвин», получим истинное суждение: «Дарвин создал теорию эволюции органического мира», а введя квантор «все» (∀), получим ложное суждение: «Все Х являются создателями теории эволюции органического мира».