“Хорошо, что яблоко сладкое и красное”; “Возможно, что я эту работу не выполню в срок”; “Вероятно, что если будет плохая погода, то мы не поедем на теплоходе”. Мы видим, что модальные суждения не просто утверждают или отрицают некоторые связи, а дают оценку этих связей с какой-то точки зрения.
О предмете А можно просто сказать, что он имеет свойство В (это ассерторическое суждение). Но можно сверх того уточнить, является ли эта связь А и В необходимой или, наоборот, случайной, хорошо ли, что А есть В или это плохо, доказано, что А есть В или не доказано, а только есть предположение, и т. д. В результате таких уточнений мы получаем модальное суждение различных типов. Приведем еще примеры модальных суждений: “Возможно, на Марсе есть жизнь”; “Доказано, что в современных условиях невозможна ограниченная ядерная война”. В модальном суждении к ассерторическому суждению приписывается тот или иной модальный оператор (модальное понятие): возможно, доказано, необходимо, запрещено, обязательно, плохо и др. Структура простых модальных суждений такая:
М (S есть Р) или М (S не есть Р),
где М обозначает модальный оператор (модальное понятие).
Но как было уже сказано, модальными могут быть и сложные суждения. Если а и b - простые суждения, то из сложных ассерторических суждений:
а ^ b, а b, а ? b, а b, а bможно получить соответствующие сложные модальные суждения: М(а ^ b); М{а U b); M(a ?b}; М(а ± b); М{а b).
В каждом из этих пяти типов сложных модальных суждений модальный оператор М может быть заменен его разновидностями. Например, из сложного ассерторического суждения “Если в почву внести удобрения, то урожай повысится” можно получить такие модальные суждения: “Доказано, что если в почву внести удобрения, то урожай повысится”, “Хорошо, если в почву внести удобрения, тогда урожай повысится” и др.
Проиллюстрировав многочисленными примерами, что представляет собой модальное суждение, можно дать определение понятиям “модальное простое суждение” и “модальное сложное суждение”.
Модальными простыми суждениями называют простые суждения, выражающие характер связи между субъектом и предикатом с помощью модальных операторов (модальных понятий).
Модальными сложными суждениями называют сложные суждения, выражающие характер связи между составляющими их простыми суждениями с помощью модальных операторов (модальных понятий).
Модальные высказывания изучаются в модальной логике, в которой имеются отдельные разделы (или ветви): логика норм, логика времени, деонтическая логика, логика действия, логика принятия решений и другие виды логик.
В модальной логике модальность суждений выражается различными модальными операторами (категориями модальности): “доказуемо”, “опровержимо”, “запрещено”, “необходимо”, “невозможно”. В настоящее время современной модальной логикой изучены многие виды модальностей, и те из них, которые сравнительно хорошо изучены, систематизированы в следующей таблице, предложенной А. А. Ивиным'. В каждую из групп модальностей входят три основных модальных понятия. Второе из них называется слабой характеристикой, первое и третье ─ сильной положительной и сильной отрицательной характеристиками соответственно. Иногда в дополнение к трем основным модальным понятиям вводится четвертое, которое может употребляться вместо них для обозначения объединения сильного положительного и нейтрального.
Далее, обнаруживается аналогия в структуре ассерторических и модальных суждении: во-первых, и те, и другие делятся на простые и сложные суждения; во-вторых, простые суждения делятся на утвердительные и отрицательные, а каждое из них, в свою очередь, делится на общие суждения и частные суждения, в результате чего возникли четыре вида простых ассерторических и четыре вида простых модальных суждений; в-третьих, аналогична структура сложных ассерторических и сложных модальных суждений: каждая группа включает конъюнктивные, дизъюнктивные, условные и эквивалентные суждения (либо ассерторические, либо модальные). Среди ассерторических суждений не выделены только выделяющие и исключающие суждения, так как они не очень вписываются в эту схему, являясь разновидностями общих или частных суждений.
Ассерторические простые суждения делятся на три вида: суждения свойства, суждения существования и суждения с отношениями. Модальные простые и сложные суждения могут быть подразделены на основании вида модальности, отраженной в суждении: суждения, содержащие эпистемические модальности, деонтические модальности и т. д. Отдельно выделены суждения, содержащие другие модальности, ибо не все модальности еще достаточно хорошо изучены и не все они могут быть перечислены. Правила деления понятий (и соответственно правила классификации) предусматривают (разрешают) введение в качестве отдельной группы других членов деления, когда число членов деления велико либо не все виды делимого родового понятия достаточно изучены или известны.
Отрицание суждений
Подобно тому, как можно проделывать операции с понятиями, так и возможно производить определенные действия с суждениями. Операции с суждениями, как с единством составных частей, позволяют произвести интеллектуальные действия с данной формой мысли. К таким логическим операциям относятся отрицание, обращение, превращение и противопоставление. Наиболее подробно остановимся на отрицании суждений.
Отрицание суждений связано с отрицательной частицей «не». Производится оно путем отрицания связки суждения, т.е. замены утвердительной связки на отрицательную. Отрицать можно не только утвердительное, но и отрицательное суждение. Этим действием истинное исходное суждение преобразуется в ложное, а ложное – в истинное. Отрицается суждение по средством отрицания квантора, субъекта, предиката или нескольких элементов сразу. Например, отрицая суждение «Кеша –(есть) мой любимый волнистый попугай», получаем следующие суждения «Кеша не есть мой любимый волнистый попугай», «Не Кеша есть мой любимый волнистый попугай», «Кеша есть не мой любимый волнистый попугай», «Не Кеша не есть мой любимый волнистый попугай» и т.д.
В процессе отрицания суждений возникает ряд сложностей. Так суждение «Не все студенты – спортсмены» («Не все S есть Р») тождественно частноутвердительному «Некоторые студенты спортсмены» (Некоторые S есть Р). Значит, подчиненное суждение иногда может выступать отрицанием общего. Например, суждение «Все студенты – спортсмены» можно отрицать суждением. «Только некоторые студенты – спортсмены», или «Неверно, что все студенты – спортсмены».
Более понятной в логике является операция отрицания суждения – превращение. Она представляет собой действие, связанное с изменением качества исходного суждения – связки. При этом предикат полученного суждения должен противоречить исходному. Таким образом, утвердительное суждение превращается в отрицательное и наоборот. В виде формул это выглядит так:
S есть Р; S не есть Р; S не есть не-Р; S есть не Р
Общеутвердительное суждение «Все студенты есть учащиеся» превращается в общеотрицательное «Все студенты не есть не учащиеся», а общеотрицательное «Все растения не есть фауна» – в общеутвердительное «Все растения есть не-фауна». Частноутвердительное суждение: «Часть студентов есть спортсмены», превращается в частноотрицательное: «Часть студентов не есть не-спортсмены». Частноотрицательное суждение «Некоторые цветы есть домашние» превращается в частноутвердительное «Некоторые цветы не есть не-домашние»
При отрицании, какого либо суждения необходимо так же помнить о принципах логики. Обычно формулируются четыре основных: принцип тождества, противоречия и достаточности. Не вдаваясь в подробности, можно остановиться не наиболее существенных для операции отрицания суждений.
Принцип противоречия требует, чтобы мышление было последовательным. Он требует, чтобы, утверждая нечто о чем-то, мы не отрицали того же о том же в том же самом смысле в то же самое время, т.е. запрещает одновременно принимать некоторое утверждение и его отрицание.
Вытекающий из принципа противоречия, принцип исключенного третьего требует не отвергать одновременно высказывание и его отрицание. Суждения «S есть Р» и «S не есть Р» нельзя отвергнуть одновременно, так как одно из них обязательно истинно, поскольку произвольная ситуация либо имеет, либо не имеет места в действительности.
Согласно этому принципу нужно уточнять наши понятия так, чтобы можно было давать ответы на альтернативные вопросы. Например: «Является ли это деяние преступлением или оно не является преступлением?». Если бы понятие «преступление» не было точно определено, то в некоторых случаях на этот вопрос невозможно было бы ответить. Другой вопрос: «Солнце взошло или не взошло?». Представим себе такую ситуацию: Солнце наполовину вышло из-за горизонта. Как ответить на этот вопрос? Принцип исключенного третьего требует, чтобы понятия уточнялись для возможности давать ответы на такого рода вопросы. В случае с восходом Солнца мы можем, например, договориться считать, что Солнце взошло, если оно чуть-чуть показалось из-за горизонта. В противном случае считать, что оно не взошло.
Уточнив понятия, мы можем сказать о двух суждениях, одно из которых является отрицанием другого, что одно из них обязательно истинно, т.е. третьего не дано.
Заключение
Суждение – форма мышления, в которой что-либо утверждается или отрицается о существовании предметов, связях между предметом и его свойствами или об отношениях между предметами (космонавты существуют, некоторые числа не являются четными).