Общая характеристика суждения. Суждение и предложение. Суждение и высказывание

Суждение – это мысль, в которой утверждается либо отрицается наличие простых либо сложных ситуаций. Если в суждении утверждается либо отрицается наличие сложных ситуаций в мире, то речь идет о сложных суждениях. Когда же в мышлении речь идет об утверждении либо отрицании в мысли достаточно простых ситуаций, то квалификация этих мыслей в терминах «простое суждение» либо «сложное суждение» решается по-разному в традиционной и современной логике[25].

Примеры суждений:

(1) Калининград есть портовый город – утверждается определенная простая ситуация в мире: наличие признака-свойства у предмета;

(2) Сейчас на улице солнечно – утверждается определенная простая ситуация локального состояния мира;

(3) Если сейчас на улице солнечно, то сейчас на улице светло – утверждается наличие определенной сложной ситуации между двумя локальными состояниями мира;

(4) Если лицо совершило преступление и его вина доказана, то лицо привлекается к уголовной ответственности – утверждается определенная сложная правовая ситуация;

(5) Иванов не есть спортсмен – отрицается простая ситуация наличия определенного признака-свойства у предмета;

(6) Неверно, что Варшава – столица Австрии – отрицается простая ситуация отношения между двумя предметами: городом и страной;

(7) Иван брат Петра – утверждается простая ситуация отношения родства между людьми;

(8) Некоторые люди есть спортсмены – утверждается простая ситуация наличия признака-свойства по крайней мере у части людей;

(9) Все металлы – электропроводны – утверждается простая ситуация наличия признака-свойства у всех металлов;

(10) Необходимо, что все металлы – электропроводны – утверждается простая ситуация необходимого наличия признака-свойства у всех металлов;

(11) Неверно, что сейчас на улице холодно и темно – отрицается сложная ситуация между двумя локальными состояниями мира.

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

Ответ: в языке суждения выражаются повествовательными предложениями. Отсюда следует, что побудительные («Откройте, пожалуйста, окно!») и вопросительные («Кто следующий?») за исключением риторических вопросов («Да кто же в Калининграде не знает, кто такой Кант?») не выражают в языке суждений. Приведенный пример риторического вопроса, очевидно, равнозначен утверждению «Все жители Калининграда знают, кто такой Кант», представленному повествовательным предложением. Следовательно, данный риторический вопрос выражает в языке суждение.

Определение термина «суждение» и их примеры показывают, что критериальным признаком суждения является наличие в мысли утверждения либо отрицания определенных ситуаций в мире.[26]

Этот критерий позволяет строго различать понятия и суждения как формы мышления. Дело заключается в том, что практика исследования языковых текстов обнаруживает, что всегда, когда языковой текст содержит утверждение либо отрицание, то его необходимо оценивать как суждение, а само суждение, в отличие от понятия, следует оценивать в терминах «истинно» и «ложно» Таким образом, суждения, в отличие от понятий (и забегая вперёд – в отличие от умозаключений), могут быть истинными либо ложными. Истину и ложь принято называть истинностными значениями суждений и выражающих их повествовательных предложений. Традиция восходит к исследованиям природы суждения в статье «О смысле и значении» (1892) немецкого логика и математика Готлоба Фреге (1848 – 1925).

Вслед за Г. Фреге представители современной формальной логики, т.е. символической, или математической, логики, предпочитают употреблять вместо термина «суждение» термин «высказывание» как более определённый. При этом под «высказыванием» они понимают повествовательное предложение, выражающее определённое суждение. Бòльшая определённость термина«высказывание» по сравнению с термином «суждение» проявляется и в том, что хотя и предполагается, что суждение как мысль всегда объективируется в знаковой форме повествовательного предложения, однако строгое фиксирование этой знаковой формы при употреблении термина «суждение» не предполагается обязательным, в то время как при употреблении термина «высказывание» это фиксирование обязательно. И это существенно, так как известно, что одно и то же суждение (мысль) может выражаться разными повествовательными предложениями. Например, повествовательные предложения «Это яблоко красное», «Это яблоко имеет красный цвет», «Краснота присуща этому яблоку» выражают одно и то же суждение. В то же время одно и то же повествовательное предложение «Ему дан зелёный свет» может пониматься и как выражающее суждение «Ему (автомобилю, человеку) разрешен проездчерез перекрёсток», и как выражающее суждение «Ему (автомобилю, человеку) разрешено пересечение государственной границы без остановки».

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

Что касается общей практической логики, то в ней термины «суждение» и «высказывание» обычно рассматривают как синонимы; при этом подразумевается, что в общей практической логике также стремятся придать им в языке точную знаковую форму.

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

Повествовательное предложение (имя)

 

 

Суждение (смысл имени)

 

 

Истина, ложь (значение имени)

 

Эта схема показывает, во-первых, что смысл имени (суждение) однозначно определяет значение имени (повествовательного предложения), т.е. его истинность либо ложность, и, во-вторых, что в терминах «истинно»/«ложно» можно оценивать как суждения, так и повествовательные предложения.

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

 

Виды суждений

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

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

К ним относятся сложные суждения, образованные с помощью бинарных (применяемых к двум суждениям) логических союзов: «и», «или», «либо», «если … то …», «если и только если...» («тогда и только тогда, когда...»).

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

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

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

1. Сложные суждения, образованные с помощью бинарного союза «и» («соединительные» в языке ТЛ, «конъюнктивные» в языке СЛ).

Пример: 8 делится на 2, и 8 делится на четыре.

2. Сложные суждения, образованные с помощью бинарного союза «или» («соединительно-разделительные» в языке ТЛ, «неисключающе - дизъюнктивные» в языке СЛ).

Пример. Иванов – волейболист, или Иванов – шахматист.

3. Сложные суждения, образованные с помощью бинарного союза «либо» («строго разделительные» в языке ТЛ, «исключающе - дизъюнктивные» в языке СЛ).

Пример. Это предложение простое, либо это предложение сложное.

4. Сложные суждения, образованные с помощью бинарного союза «если, то» («условные» в языке ТЛ, «импликативные» в языке СЛ).

Пример. Если вода нагревается, то она испаряется.

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

Примеры. 1. Треугольник равносторонен, если и только если он равноуголен. 2. Треугольник равносторонен тогда и только тогда, когда он равноуголен.

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

Простые суждения ТЛ – это суждения, которые не содержат бинарных логических союзов, но могут содержать унарный союз «отрицание».

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

Все простые суждения в общей логике делятся на атрибутивные и реляционные.

Атрибутивные (от лат. attribuo – я наделяю (свойством) – это суждения, в которых утверждается либо отрицается наличие у предметов признаков-свойств.

Примеры.

(1) Этот дом высокий

(2) Республика не есть монархия

(3) Все кражи – аморальны

(4) Ни один герой не есть трус

(5) Некоторые студенты есть спортсмены

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

Экзистенциальное суждение – это суждение, в котором утверждается наличие либо отсутствие самого факта существования предмета. При этом само существование рассматривается как признак-свойство предметов.

Примеры экзистенциальных суждений:

(1) Бог существует

(2) Мысли без языка не существуют

(3) Существуют необъяснимые явления природы

Реляционные (от слова «реляция» – отношение) суждения, или суждения с отношением, – это суждения, в которых утверждается либо отрицается наличие между предметами определённых признаков-отношений.

Примеры реляционных суждений:

(1) 7 больше 3

(2) Калининград расположен между Клайпедой и Гданьском

(3) Неверно, что Иванов ровесник Петрова (Иванов не ровесник Петрова)

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

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

Под субъектами суждений в общей логике понимают всё то, о чем в суждении нечто утверждается либо отрицается; под предикатами – сам признак, наличие которого утверждается либо отрицается в суждении.

Очевидно, что все реляционные суждения являются суждениями с двумя или более субъектами и одним предикатом. Субъекты реляционных суждений представляются в простейших случаях общей практической логики n-ками предметов, а предикаты – одним признаком-отношением. Так, в реляционном суждении «Иванов старше Петрова» имеется два субъекта: Иванов, Петров и один предикат, представленный признаком - отношением «старше». Если в качестве переменных - параметров, принимающих значения на множестве отдельных предметов, взять буквы a, b; в качестве переменной - параметра, принимающей значение на множестве отношений, взять букву R, то тогда логическую форму реляционного суждения с двумя субъектами следует представить в виде a Rb либо в виде R(a,b). В общем случае логическую форму реляционного суждения с n - субъектами, где n 2, можно выразить в виде:

R (a₁, a₂, …, a_n).

Как атрибутивные, так и реляционные суждения в общей логике делятся по качеству на утвердительные и отрицательные. Утвердительные суждения – это суждения, в которых утверждается наличие определенных признаков у субъектов суждения. (Калининград есть портовый город; Иванов старше Петрова). Отрицательные суждения – это суждения, в которых отрицается наличие определенных признаков у субъектов суждения, или, что то же самое, утверждается отсутствие определённых признаков у субъектов суждения. (Воронеж не есть портовый город; Иванов не родственник Петрова).

2.3. Виды суждений по модальности

Под модальностью суждения в логике понимают определённые модификации (разновидности) утверждений о наличии либо отсутствии определённой ситуации в мире.

Здесь имеется в виду, что ситуации, имеющие место в мире, могут оцениваться людьми как необходимые, возможные или случайные, как разрешенные либо запрещенные, как хорошие или плохие, а сами суждения могут мыслиться в дискурсах как доказуемые либо опровержимые, достоверные либо проблематические. Учёт этой дополнительной информации о ситуациях и суждениях осуществляется в модальных суждениях через определённые слова либо словосочетания, которые как раз и фиксируют отдельные модальности, т.е. определённые оценки ситуаций либо суждений. Если же в суждении не фиксируются определенные оценки ситуаций либо суждений, а содержатся только утверждения о наличии либо отсутствии определённых ситуаций в мире, то такие суждения называются в логике ассерторическими (от лат. assertorius – утвердительный).

Умозаключения, состоящие из модальных суждений, описываются в модальной логике, которую мы вынесли за границы практической логики, поэтому законы и правила вывода модальной логики в данной книге нами не излагаются[27].

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

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

1. Суждения с алетическими модальностями. К ним относятся суждения с модальностями «необходимо», «возможно», «невозможно», «случайно». В свою очередь, они могут рассматриваться либо как физические (онтологические), либо как логические модальности. Первые относятся к характеристике ситуаций в мире, вторые – к характеристике суждений.

Примеры суждений с онтологическими модальностями.

а) Необходимо, что все металлы – электропроводны

b) Возможно, что существуют внеземные цивилизации

c) Невозможно, что существуют вечные двигатели

d) Случайно, что вчера Иванов встретил Петрова

Пример суждения с логической модальностью.

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

2. Суждения с деонтическими модальностями. К ним относятся суждения с модальностями «разрешено», «запрещено», «обязательно», «безразлично».

Примеры.

а) Разрешено движение автомобилю на зелёный свет светофора

b) Запрещено движение автомобилю на красный свет светофора

c) Обязательно присутствие понятых при обыске

d) Безразлично сложение чисел к их порядку

 

3. Суждения с эпистемическими модальностями.

К ним относятся суждения с модальностями «доказуемо», «опровержимо», «верит», «знает», «сомневается», «убежден», «истинно», «ложно».

Примеры.

а) Доказуемо, что 2 2 = 4

b) Истинно, что 2 2 = 4

c) Опровержимо, что 2 2 = 5

d) Ложно, что 2 2 = 5

e) N верит, что Бог существует

f) N убежден, что знание логики полезно

g) N сомневается, что M знает логику

 

4. Суждения с аксиологическими модальностями.

К ним относятся суждения с модальностями «хорошо», «плохо», «лучше», «хуже», «равноценно».

Примеры.

а) Хорошо, что сегодня солнечная погода

b ) Плохо, что на улице возникают автомобильные пробки

c) Лучше (будет), если он придет сам

d ) Хуже, если он опоздает

e) Равноценно знание немецкого языка для посещения Австрии либо Германии

 

5. Суждения с временными модальностями.

К ним относятся суждения с модальностями «было», «будет», «сейчас, «раньше», «одновременно», «позже».

Примеры.

а) Было так, что он опаздывал

b) Будет (придёт) время, когда он поймет свою ошибку

c) Сейчас на улице холодно

d) Событие А произошло раньше события В

e) Событие В произошло позже события А

f) Событие А и событие В произошли одновременно

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