Лекция 5. Суждение
1. Общая характеристика суждения.
2. Суждение и предложение.
3. Классификация суждений.
Суждение — форма мышления, в которой что-либо утверждается или отрицается о существовании предметов, связях между предметом и его свойствами или об отношениях между предметами.
Примеры суждений: «Ледоколы существуют», «Советские альпинисты совершили восхождение на Эверест», «Киев больше Тулы», «Все феодалы — эксплуататоры», «Некоторые деревья не являются лиственными». Если в суждении утверждается (или отрицается) наличие у предмета какого-то признака, или констатируется существование какого-то предмета, или устанавливается отношение между предметами и это соответствует действительности, то суждение истинно. Суждения «Все ужи — пресмыкающиеся», «10 больше 3», «Не существуют русалки», «Некоторые птицы не являются водоплавающими» являются истинными, так как в них адекватно (верно) отражено то, что имеет место в действительности. В противном случае суждение ложно.
Традиционная логика является двузначной, так как в этой логике суждение имеет одно из двух значений истинности: оно либо истинно, либо ложно. В трехзначных логиках суждение имеет одно из трех значений истинности, так как оно может быть либо истинным, либо ложным, либо неопределенным. Например, суждение «На Марсе есть жизнь» в настоящее время не является ни истинным, ни ложным; оно неопределенно. Многие суждения о будущих единичных событиях являются неопределенными. Об этом писал еще Аристотель (IV в. до н. э.), когда приводил пример суждения: «Завтра необходимо будет морское сражение»1.
В простом атрибутивном суждении имеются субъект, предикат, связка и квантор. В суждениях «Некоторые электростанции являются атомными электростанциями» и «Все студенты являются учащимися высшего учебного заведения» субъектами являются соответственно понятия «электростанция» и «студент», предикатами — понятия «атомная электростанция» и «учащийся высшего учебного заведения», кванторами — «некоторые» и «все», связки выражены словом «являются». В суждении «Ледоколы существуют» субъектом является понятие «ледокол», а предикатом — понятие о существовании предмета, и он выражен словами «то, что существует».
Субъект атрибутивного суждения — это понятие о предмете суждения. Предикатом атрибутивного суждения называется понятие о признаке предмета, рассматриваемом в суждении. Субъект обозначается буквой S (от лат. subjectum), а предикат — буквой Р (от лат. praedicatum). Связка может быть выражена одним словом (есть, суть, является) или группой слов, или тире, или простым согласованием слов («Собака лает», «Идет дождь»). Перед субъектом суждения иногда стоит кванторное слово: «все», или «ни один», или «некоторые» и др. Кванторное слово указывает, относится ли суждение ко всему объему понятия, выражающего субъект, или к его части. Простые суждения, о которых шла речь, называются ассерторическими.
Суждение и предложение
Понятия в языке выражаются одним словом или группой слов. Суждения выражаются повествовательными предложениями, которые содержат какое-то сообщение, информацию. Например, «Буря мглою небо кроет», «Многие лекарственные растения собирают летом», «Ни один дельфин не является рыбой». По цели высказывания предложения делятся на повествовательные, побудительные и вопросительные.
Вопросительные предложения не содержат в своем составе суждения, так как в них ничего не утверждается и не отрицается и они не истинны и не ложны. Например, «Как распределяем мы свое свободное время?» или «Когда состоятся соревнования по настольному теннису?». Если в предложении выражен риторический вопрос, например «Какой русский не любит быстрой езды?» (Н. В. Гоголь), или «Есть ли что-нибудь чудовищнее неблагодарного человека?» (В. Шекспир), или «Кто из вас не любит стихов А. С. Пушкина?», или «Кто не хочет счастья?», или «Какой ребенок не хочет материнской ласки?», или «Какой студент не хочет получить стипендию?», в таком предложении содержится суждение, так как налицо утверждение, уверенность, что «Все любят стихи А. С: Пушкина» или «Все хотят счастья» и т. п.2
Побудительные предложения выражают побуждение собеседника (читателя и других людей) к совершению действия (предложение может выражать совет, просьбу, обычное побуждение, приказ и т. д,). Некоторые авторы считают, что все побудительные предложения не выражают суждений. По нашему мнению, отдельные побудительные предложения не содержат суждения («Подожди меня!», «Вылей воду!»), хотя в них что-то утверждается («Берегите лес!») или отрицается («Не выливай воду!», «Иди не на каток, а в школу!»). Но предложения, в которых сформулированы воинские команды, приказы, призывы, или лозунги, или советы, выражают суждения, но не ассерторические, а модальные3. Например: «Ни шагу назад!», «В атаку!», «Мой друг! Отчизне посвятим души прекрасные порывы» (А. С. Пушкин).
Дейл Карнеги в книге «Как перестать беспокоиться и начать жить» дает много интересных советов. Приведем три из них.
«Никогда не пытайтесь свести счеты с вашими врагами, потому что этим вы принесете себе гораздо больше вреда, чем им. Давайте поступать, как генерал Эйзенхауэр: никогда не думайте ни минуты о тех людях, которые вам неприятны». «Если мы хотим обрести счастье, давайте прекратим думать о благодарности или неблагодарности, а будем совершать благодеяния ради внутренней радости, которую при этом испытываем». «Помните, что благодарность — это такая черта характера, которую надо воспитывать; поэтому, если мы хотим, чтобы наши дети были благодарны, мы должны научить их этому». Эти предложения выражают суждения, но суждения модальные, включающие в себя модальные слова. Выражают суждения и такие побудительные предложения: «Не кури!», «Выполняй взятые на себя обязательства!» и др4. «Перед любым приемом пищи ешьте салат из сырых овощей или сырые фрукты», «Не вредите себе перееданием» — эти советы (призывы) знаменитого ученого Поля Брэгга являются суждениями.
Односоставные безличные предложения (например, «Знобит», «Подморозило»), назывные предложения (например, «Утро», «Осень») и некоторые виды повествовательных предложений (например, «Он — отличный вратарь», «Дальний Восток находится от нас далеко») являются суждениями лишь при рассмотрении их в контексте и при уточнении: «Кто — он?», «От кого — от нас?» Если этого уточнения не сделано, то неизвестно, выражает ли данное предложение истину или ложь.
В некоторых случаях не совпадают субъект суждения (5) с грамматическим подлежащим и предикат суждения (Р) с грамматическим сказуемым. В примере «Студенты — учащиеся» совпадение полное.
Суждения бывают простые и сложные: последние состоят из нескольких простых. Суждение «Некоторые вулканы — действующие» — простое, а суждение «Прозрачный лес один чернеет, и ель сквозь иней зеленеет, и речка подо льдом блестит» — сложное.
Виды простых суждений
1. Суждения свойства (атрибутивные). В суждениях этого вида утверждается или отрицается принадлежность предмету известных свойств, состояний, видов деятельности. Примеры: «У розы приятный запах», «Певец исполняет арию из оперы «Евгений Онегин», «Всякий терьер — собака», «7 не есть четное число». Схемы этого вида суждения: S есть Р или S не есть Р.
2. Суждения с отношениями. В этих суждениях говорится об отношениях между предметами. Например, «Всякий протон тяжелее электрона», «Эльбрус выше Монблана», «Н. В. Гоголь родился позднее А. С. Грибоедова», «В. Г. Белинский — современник Н. В. Гоголя», «Отцы старше своих детей» и т. д.
Формула, выражающая суждение с двухместным отношением, записывается как аRb или R (а, b), где а и b — имена предметов, a R — имя отношения. В суждении с отношением может что-либо утверждаться или отрицаться не о двух, а о трех, четырех или большем числе предметов. Например, «Бологое находится между Санкт-Петербургом и Москвой». Такие суждения выражаются формулой R (a1 ,а2 , а3 ..., аn ).
3. Суждения существования (экзистенциальные). В них утверждается или отрицается существование предметов (материальных или идеальных) в действительности. Примеры этих суждений: «Существует атомный реактор в Чернобыле», «Не существует беспричинных явлений».
Категорические суждения и их виды (деление do количеству и качеству)
В традиционной логике все три указанных вида представляют простые категорические суждения. По качеству связки («есть» или «не есть») категорические суждения делятся на утвердительные и отрицательные. Суждения «Многие промышленные предприятия рентабельны», «Все страусы — птицы» утвердительные. Суждения «Некоторые дома не являются благоустроенными», «Ни один карась не является хищной рыбой» отрицательные. Связка «есть» в утвердительном суждении отражает наличие у предмета (предметов) некоторых свойств. Связка «не есть» отражает то, что предмету (предметам) не присуще некоторое свойство.
Некоторые логики считали, что в отрицательных суждениях нет отражения действительности. На самом деле отсутствие определенных признаков также представляет собой действительный признак, имеющий объективную значимость. В отрицательном истинном суждении наша мысль разъединяет (разделяет) то, что находится разделенным в объективном мире.
В зависимости от того, обо всем классе предметов, о части этого класса или об одном предмете идет речь в субъекте, суждения делятся на общие, частные и единичные. Например, «Все соболя — ценные пушные звери» и «Все здравомыслящие люди хотят долгой, счастливой и полезной жизни» (Поль С. Брэгг) — общие суждения; «Некоторые цветы — розы» — частное; «Везувий — действующий вулкан» — единичное.
Структура общего суждения: «Все S есть (не есть) Р». Единичные суждения будут трактоваться как общие, так как их субъектом является одноэлементный класс.
Среди общих суждений встречаются выделяющие суждения, в состав которых входит кванторное слово «только», — «Только добрый человек может быть врачом» (П. Дюбуа). Примерами выделяющих суждений являются и следующие: «Поль С. Брэгг пил только дистиллированную воду», «Человеческий организм может усваивать только органические вещества», «Смелый человек не боится правды. Ее боится только трус» (А. Конан Дойл).
Среди общих суждений имеются исключающие суждения, например: «Все студенты нашей группы, за исключением больных, пришли на семинар». К числу исключающих суждений относятся и те, в которых выражены исключения из правил русского или иных языков, правил логики, математики и других наук.
Частные суждения имеют структуру: «Некоторые S есть (не есть) Р». Они делятся на неопределенные и определенные. Например, «Некоторые грибы — съедобны» — неопределенное частное суждение. Мы не установили, обладают ли признаком съедобности все грибы, но не установили и того, что признаком съедобности не обладают некоторые грибы. Если мы установили, что «Только некоторые S обладают признаком Р», то это будет определенное частное суждение, структура которого: «Только некоторые S есть (не есть) Р». Примеры: «Только некоторые грибы съедобны»; «Только некоторые остроугольные треугольники являются равносторонними»; «Только некоторые тела легче воды». В определенных частных суждениях часто применяются кванторные слова: большинство, меньшинство, немало, не все, многие, почти все, несколько и др.
Единичные суждения имеют структуру: «Это S есть (не есть) Р». Примеры единичных суждений: «Эверест — высочайшая вершина мира», «Третьяковская галерея в Москве — крупнейший в России музей, где собраны лучшие произведения отечественного искусства».
Объединенная классификация простых категорических суждений по количеству и качеству
В каждом суждении имеется количественная и качественная характеристика. Поэтому в логике применяется объединенная классификация суждений по количеству и качеству, на основе которой выделяются следующие 4 типа суждений.
А — общеутвердительное суждение. Структура его: «Все S есть Р». Например, «Все люди — позвоночные».
I — частноутвердительное суждение. Структура его: «Некоторые S есть Р». Например, «Некоторые элементарные частицы имеют положительный заряд». Условные обозначения для утвер-дительных суждений взяты от слова affirmo — утверждаю (при этом берутся две первые гласные буквы: А — для обозначения общеутвердительного и I — для обозначения частноутвердитель-ного суждения).
Е — общеотрицательное суждение. Его структура: «Ни одно S не есть Р». Пример: «Ни один дельфин не является рыбой».
О — частноотрицательное суждение. Структура его: «Некоторые S не есть Р». Например, «Некоторые люди не являются долгожителями». Условные обозначения для отрицательных суждений взяты от слова nego — отрицаю.
Распределенность терминов в категорических суждениях
В суждениях термины S и Р могут быть либо распределены, либо не распределены. Термин считается распределенным, если его объем полностью включается в объем другого термина или полностью исключается из него. Термин будет нераспределенным, если его объем частично включается в объем другого термина или частично исключается из него. Проанализируем четыре вида суждений: А, I, Е, О (мы рассматриваем типичные случаи).
Суждение А общеутвердительное. Его структура: «Все S есть Р».
Рассмотрим два случая.
1-й случай. В суждении «Все караси — рыбы» субъектом является понятие «карась», а предикатом — понятие «рыба». Квантор общности — «все». Субъект распределен, так как речь идет о всех карасях, т. е. его объем полностью включен в объем предиката. Предикат не распределен, так как в суждении речь идет лишь о той части объема предиката, которая совпадает с объемом субъекта.
Распределенность терминов в суждениях можно иллюстрировать с помощью круговых схем Эйлера. На рис. 34 изображено соотношение S и Р в суждении А. Заштрихованная часть круга на рис. 34—39 характеризует распределенность (или нераспределенность) терминов.
Сложные суждения образуются из простых суждений с помощью логических связок: конъюнкции, дизъюнкции, импликации, эквиваленции и отрицания.
В мышлении мы оперируем не только простыми, но и сложными суждениями, образуемыми из простых посредством логических связок (или операций) — конъюнкции, дизъюнкции, импликации, эквиваленции, отрицания, которые также называются логическими константами, или логическими постоянными. Проанализируем, каким образом перечисленные логические связки выражаются в естественном (русском) языке.
Конъюнкция (знак «л») выражается союзами «и», «а», «но», «да», «хотя», «который», «зато», «однако», «не только..., но и» и др. В логике высказываний знак « л » соединяет простые высказывания, образуя из них сложные. В естественном языке союз «и» и другие слова, соответствующие конъюнкции, могут соединять существительные, глаголы, наречия, прилагательные и другие части речи. Например, «В корзине у деда лежали подберезовики и маслята» (aÙb), «Интересная и красиво оформленная книга лежит на столе». Последнее высказывание нельзя разбить на два простых, соединенных конъюнкцией: «Интересная книга лежит на толе» и «Красиво оформленная книга лежит на столе», — так как создается впечатление, что на столе лежат две книги, а не одна.
В логике высказываний действует закон коммутативности конъюнкции (aÙb)º(bÙa). В естественном русском языке такого закона нет, так как действует фактор времени. Там, где учитывается последовательность во времени, употребление союза «и» некоммутативно. Поэтому не будут эквивалентными, например, такие два высказывания: 1) «Прицепили паровоз, и поезд тронулся» и 2) «Поезд тронулся, и прицепили паровоз».
В естественном языке конъюнкция может быть выражена не только словами, но и знаками препинания: запятой, точкой с запятой, тире. Например, «Сверкнула молния, загремел гром, пошел дождь».
О выражении конъюнкции средствами естественного языка пишет С. Клини в своей книге «Математическая логика». В разделе «Анализ рассуждений» он приводит (не исчерпывающий) список выражений естественного языка, которые могут быть заменены символами « Л » или «&». Формула А ^ В в естественном языке может выражаться так:
«Не только А, но и В. Как А, так и В.
В, хотя и Л. А вместе с В.
В, несмотря на А. А, в то время как В» 7.
Придумать примеры всех этих структур предоставляем читателю.
В естественном (русском) языке дизъюнкция (обозначенная aÚb и aÚb) выражается союзами: «или», «либо», «то ли... то ли» и др. Например, «Вечером я пойду в кино или в библиотеку»; «Это животное принадлежит либо к позвоночным, либо к беспозвоночным»; «Доклад будет то ли по произведениям Л. Н. Толстого, то ли по произведениям Ф. М. Достоевского».
Для обоих видов дизъюнкции действует закон коммутативности: (aÚbº(bÚa) и (aÚb)º(bÚa). В естественном языке эта эквивалентность сохраняется. Например, суждение «Я куплю масло или хлеб» эквивалентно суждению «Я куплю хлеб или масло». С. Клини показывает, какими разнообразными способами могут быть выражены в естественном языке импликация (AÊB) и эквиваленция (A~B).
(Буквами А и В обозначены переменные высказывания.)
Приведем логические схемы и соответствующие им примеры, иллюстрирующие разнообразные способы выражения импликации А -> В (где А — антецедент, В — ковсеквент).
1. Если А, то В.
Если поставщики вовремя доставят детали, то завод выполнит свой производственный план.
2. Коль скоро А, то В.
Коль скоро приложенные силы снимаются, то сжатая пружина возвращается к своей первоначальной форме.
3. Когда А, имеет место В.
Когда наступает плохая погода, имеет место повышение числа сердечно-сосудистых заболеваний у людей.
4. Для В достаточно А.
Для того чтобы газы расширились, достаточно их нагреть.
5. Для А необходимо В.
Для сохранения мира на Земле необходимо объединить усилия всех государств в борьбе за мир.
6. А, только если В.
Студенты этого курса не приходили на субботник, только если они были больны.
7. В. если А.
Я разрешу тебе пойти погулять, если ты выполнишь все домашние задания.
Приведем логические схемы и соответствующие им примеры разнообразных способов выражения эквиваленции.
1. А, если и только если В.
Иванов не закончит свои эксперименты к сроку, если и только если ему не помогут сотрудники.
2. Если А, то В, и наоборот.
Если студент сдал все экзамены и практику на «отлично», то он получает диплом с отличием, и наоборот.
3. А, если В, и В, если А.
Многоугольник является вписанным в круг, если его вершины лежат на окружности, и вершины многоугольника лежат на окружности, если этот многоугольник является вписанным в круг.
4. Для А необходимо и достаточно В.
Для того чтобы число без остатка делилось на 3, необходимо и достаточно, чтобы сумма цифр этого числа делилась без остатка на 3.
5. А равносильно В (иногда).
То, что площадь правильного многоугольника равна произведению полупериметра на апофему, равносильно тому, что площадь правильного многоугольника равна произведению периметра на половину апофемы.
6. А тогда и только тогда, когда В.
Фирма будет согласна принять предложение о покупке товара тогда и только тогда, когда будет снижена цена этого товара на 15%.
Из приведенных выше схем и соответствующих им высказываний с конкретным разнообразным содержанием становится ясно, насколько многогранны в естественном языке (в частности, в русском) средства выражения импликации, эквиваленции и других логических связок (логических терминов). Это можно сказать и о других естественных языках9.
Импликация (a®b) не совсем соответствует по смыслу союзу «если... то» естественного языка, так как в ней может отсутствовать содержательная связь между суждениями а и b. В логике высказываний законом является формула:(a®b)º(aÚb).
Но в естественном языке дело обстоит иначе. Иногда союз «если, то» выражает не импликацию, а конъюнкцию. Например, «Если вчера было пасмурно, то сегодня ярко светит солнце». Это сложное суждение выражается формулой aÙb. Кроме логических связок для выражения общих и частных суждений в логике используются квантор общности и квантор существования. Запись с квантором общности VcP(c) обычно читается так: «Все х (из некоторой области объектов) обладают свойством Р», а запись с квантором существования ЗхР(х) читается так: «Существуют такие х (в данной области), которые обладают свойством Р». Например, 3x(x>100) читается как «Существуют такие х, которые больше 100», где под х подразумеваются числа. Квантор общности выражается словами: «все», «всякий», «каждый», «ни один» и др. Квантор существования выражается словами: «некоторые», «существуют», «большинство», «меньшинство», «только некоторые», «иногда», «тот, который», «не все», «многие», «немало», «немногие», «много», «почти все» и др.
С. Клини пишет о том, что, переводя выражения обычного языка с помощью табличных пропозициональных связок, мы лишаемся некоторых оттенков смысла, но зато выигрываем в точности10.
В практике математических и иных рассуждений имеются понятия «необходимое условие» и «достаточное условие». Условие называется необходимым, если оно вытекает из заключения (следствия). Условие называется достаточным, если из него вытекает заключение (следствие). В импликации а -> b переменная а является основанием. Она называется антецедентом. Переменная b— следствием (заключением). Она называется консеквентом.
Учащимся на уроках математики предлагаются задачи типа 1—4, требующие в каждом из следующих предложений вместо многоточия поставить слова: «необходимо» или «достаточно», либо «необходимо и достаточно»:
1. Для того чтобы сумма двух целых чисел была четным числом ... чтобы каждое слагаемое было четным.
2. Для того чтобы число делилось на 15 ... чтобы оно делилось на 5.
3. Для того чтобы произведение (х - 3) (х+2) (х — 5) было равно 0, ... чтобы х = 3.
4. Для того чтобы четырехугольник был прямоугольником ... чтобы все его углы были равны.
Суждения, как и понятия, делятся на сравнимые (имеют общий субъект или предикат) и несравнимые. Сравнимые суждения делятся на совместимые и несовместимые.
В математической логике два высказывания р и q называются несовместимыми, если из истинности одного из них необходимо следует ложность другого (т. е. p и q никогда не могут оказаться одновременно истинными). «Это понятие легко распространить на любое число высказываний: высказывания р1 , р2 , ..., рn , называются несовместимыми, если не может оказаться, что все они являются одновременно истинными»12.
Совместимые выражают одну и ту же мысль полностью или лишь в некоторой части. Отношения совместимости: эквивалентность, логическое подчинение, частичное совпадение (субконтрарность). Совместимые эквивалентные суждения выражают одну и ту же мысль в различной форме («Юрий Гагарин — первый космонавт» и «Юрий Гагарин первым полетел в космос»). Субъект здесь один и тот же, а предикаты различные по форме, но одинаковые по смыслу. В двух эквивалентных суждениях: «Михаил Шолохов — лауреат Нобелевской премии» и «Автор романа «Тихий Дон» — лауреат Нобелевской премии» — одинаковыми являются предикаты, а различными по форме выражения, но тождественными понятиями — субъекты. Если два высказывания эквивалентны, то невозможно, чтобы одно из них было истинным, а другое ложным.
В сочинении, при заучивании материала, в устном изложении текста, при переводе с одного языка на другой — всюду учащиеся должны уметь кратко и корректно излагать свои мысли. А. П. Чехов дал такое сравнение: «Краткость — сестра таланта».
Совместимые суждения, находящиеся в отношении логического подчинения, имеют общий предикат; понятия, выражающие субъекты двух таких суждений, также находятся в отношении логического подчинения. Отношения между суждениями по истинности принято схематически изображать в виде «Логического квадрата».
Возьмем суждение «Все учащиеся нашей группы — спортсмены». Это суждение А общеутвердительное (подчиняющее). Суждение I — «Некоторые учащиеся нашей группы — спортсмены» — подчиненное.
Для суждении А и I, а также Е и О, находящихся в отношении логического подчинения, истинность общего суждения определяет истинность частного, подчиненного суждения. Но ложность общего суждения оставляет частное суждение неопределенным. Истинность частного суждения оставляет общее суждение неопределенным (при нарушении этого правила может возникнуть логическая ошибка — «поспешное обобщение»). Ложность частного суждения обусловливает ложность общего суждения. Если истинно суждение «Ни одна трапеция не является сферическим телом», то будет истинным и суждение «Некоторые трапеции не являются сферическими телами». Умозаключение от общего суждения к логически подчиненному ему частному суждению всегда будет давать истинное заключение.
В отношении частичного совпадения (субконтрарности) находятся два таких совместных суждения I и О, которые имеют одинаковые субъекты и одинаковые предикаты, но различаются по качеству. Например, I — «Некоторые свидетели дают истинные показания» и О — «Некоторые свидетели не дают истинных показаний». Оба они одновременно могут быть истинными, но не могут быть одновременно ложными. Если одно из них ложно, то другое обязательно истинно. Но если одно из них истинно, то другое неопределенно (оно может быть либо истинным, либо ложным). Например, если истинно суждение I — «Некоторые книги в этой библиотеке — букинистические», то суждение О — «Некоторые книги в этой библиотеке не являются букинистическими» — будет неопределенным, т. е. оно может быть как истинным, так и ложным.
Отношения несовместимости: противоположность, противоречие. По логическому квадрату в отношении противоположности (контрарности) находятся суждения А и Е. Два суждения: А — «Все люди трудятся добросовестно» и Е — «Ни один человек не трудится добросовестно» — оба ложны. Но А и Е не могут быть оба истинными. Если одно из противоположных суждений истинно, то другое будет ложным.
Итак, из истинности одного из противоположных суждений вытекает ложность другого, но ложность одного из них оставляет другое суждение неопределенным.
В отношении противоречия (контрадикторности) находятся суждения А и О, а также Е и I. Два противоречащих суждения не могут быть одновременно истинными и одновременно ложными. Если в настоящее время истинно суждение I — «Некоторые летчики — космонавты», то ложным будет суждение «Ни один летчик не является космонавтом».
Закономерности, выражающие отношения между суждениями по истинности, имеют большое познавательное значение, так как они помогают избежать ошибок при непосредственных умозаключениях, производимых из одной посылки (одного суждения).