О возможных разночтениях при употреблении союзов «или» и «и» говорит Виталий Иванович Свинцов в уже упоминавшемся нами учебнике по логике: «Что касается союзов «или» и «и», то нужно отметить их многозначность, способную в известных ситуациях создавать достаточно неопределённое представление о характере связи между некоторыми исходными понятиями. Удачна ли, например, следующая формулировка одного из правил пользования городским транспортом: «Безбилетный проезд и бесплатный провоз багажа наказывается штрафом»? Представим себе два подмножества, которые могут быть выделены во множестве пассажиров-нарушителей. В одно из них войдут пассажиры, не взявшие билета, в другое – не оплатившие провоз багажа. Если союз «и» рассматривать как показатель логического умножения, то придётся признать, что штраф должен быть наложен только на тех пассажиров, которые совершили сразу два проступка (но не какой-то один из них). Разумеется, житейский смысл ситуации, предусмотренной данным правилом, настолько ясен, что всякие разночтения этой формулировки, вероятно, были бы признаны казуистикой, но всё же использование союза «или» здесь следует признать предпочтительным»[3].
Проверьте себя:
1. Что такое логическая сумма и логическое произведение?
2. Возьмите три пары каких-нибудь понятий и проделайте с ними логические операции сложения и умножения, иллюстрируя их результаты с помощью круговых схем Эйлера.
3. Каковы результаты сложения и умножения понятий во всех случаях отношений между ними? Могут ли эти результаты полностью совпадать? Может ли логическая сумма или логическое произведение быть нулевым понятием?
4. Какой союз естественного языка является, как правило, выражением результата сложения понятий, какой – умножения? Проиллюстрируйте свой ответ самостоятельно подобранными примерами.
2.1. Суждение как форма мышления
Суждение (высказывание) – это форма мышления, в которой что-либо утверждается или отрицается. Например: «Все сосны являются деревьями», «Некоторые люди – это спортсмены», «Ни один кит – не рыба», «Некоторые животные не являются хищниками».
Рассмотрим несколько важных свойств суждения, которые в то же время отличают его от понятия:
1. Любое суждение состоит из понятий, связанных между собой.
Например, если связать понятия «карась» и «рыба», то могут получиться суждения: «Все караси являются рыбами», «Некоторые рыбы являются карасями».
2. Любое суждение выражается в форме предложения (вспомним, понятие выражается словом или словосочетанием). Однако не всякое предложение может выражать суждение. Как известно, предложения бывают повествовательными, вопросительными и восклицательными. В вопросительных и восклицательных предложениях ничего не утверждается и не отрицается, поэтому они не могут выражать собой суждение. Повествовательное предложение, наоборот, всегда что-либо утверждает или отрицает, в силу чего суждение выражается в форме повествовательного предложения. Тем не менее есть такие вопросительные и восклицательные предложения, которые только по форме являются вопросами и восклицаниями, а по смыслу что-то утверждают или отрицают. Они называются риторическими. Например, известное высказывание: «И какой же русский не любит быстрой езды?» – представляет собой риторическое вопросительное предложение (риторический вопрос), т. к. в нём в форме вопроса утверждается, что всякий русский любит быструю езду.
В подобном вопросе заключено суждение. То же самое можно сказать о риторических восклицаниях. Например, в высказывании: «Попробуй найти чёрную кошку в тёмной комнате, если её там нет!» – в форме восклицательного предложения утверждается мысль о невозможности предложенного действия, в силу чего данное восклицание выражает собой суждение. Понятно, что не риторический, а настоящий вопрос, например: «Как тебя зовут?» – не выражает суждение, точно так же, как не выражает его настоящее, а не риторическое восклицание, например: «Прощай, свободная стихия!».
3. Любое суждение является истинным или ложным. Если суждение соответствует действительности, оно истинное, а если не соответствует – ложное. Например, суждение: «Все розы – это цветы», – является истинным, а суждение: «Все мухи – это птицы», – ложным. Надо отметить, что понятия, в отличие от суждений, не могут быть истинными или ложными. Невозможно, например, утверждать, что понятие «школа» – истинное, а понятие «институт» – ложное, понятие «звезда» – истинное, а понятие «планета» – ложное и т. п. Но разве понятия «Змей Горыныч», «Кощей Бессмертный», «вечный двигатель» не ложные? Нет, эти понятия являются нулевыми (пустыми), но не истинными и не ложными. Вспомним, понятие – это форма мышления, которая обозначает какой-либо объект, – и именно поэтому не может быть истинным или ложным. Истинность или ложность – это всегда характеристика какого-то высказывания, утверждения или отрицания, поэтому она применима только к суждениям, но не к понятиям. Поскольку любое суждение принимает одно из двух значений – истины или лжи – то аристотелевская логика также часто называется двузначной логикой.
4. Суждения бывают простыми и сложными. Сложные суждения состоят из простых, соединённых каким-либо союзом.
Как видим, суждение – это более сложная форма мышления по сравнению с понятием. Неудивительно поэтому, что суждение имеет определённую структуру, в которой можно выделить четыре части:
1. Субъект (обозначается латинской буквой S) – это то, о чём идёт речь в суждении. Например, в суждении: «Все учебники являются книгами», – речь идёт об учебниках, поэтому субъектом данного суждения выступает понятие «учебники».
2. Предикат (обозначается латинской буквой Р) – это то, что говорится о субъекте. Например, в том же суждении: «Все учебники являются книгами», – о субъекте (об учебниках) говорится, что они – книги, поэтому предикатом данного суждения выступает понятие «книги».
3. Связка – это то, что соединяет субъект и предикат. В роли связки могут быть слова «есть», «является», «это» и т. п.
4. Квантор – это указатель на объём субъекта. В роли квантора могут быть слова «все», «некоторые», «ни один» и т. п.
Рассмотрим суждение: «Некоторые люди являются спортсменами». В нём субъектом выступает понятие «люди», предикатом – понятие «спортсмены», роль связки играет слово «являются», а слово «некоторые» представляет собой квантор. Если в каком-то суждении отсутствует связка или квантор, то они всё равно подразумеваются. Например, в суждении: «Тигры – это хищники», – квантор отсутствует, но он подразумевается – это слово «все». С помощью условных обозначений субъекта и предиката можно отбросить содержание суждения и оставить только его логическую форму.
Например, если у суждения: «Все прямоугольники – это геометрические фигуры», – отбросить содержание и оставить форму, то получится: «Все S есть Р». Логическая форма суждения: «Некоторые животные не являются млекопитающими», – «Некоторые S не есть Р».
Субъект и предикат любого суждения всегда представляют собой какие-либо понятия, которые, как мы уже знаем, могут находиться в различных отношениях между собой. Между субъектом и предикатом суждения могут быть следующие отношения.
1. Равнозначность. В суждении: «Все квадраты – это равносторонние прямоугольники», – субъект «квадраты» и предикат «равносторонние прямоугольники» находятся в отношении равнозначности, потому что представляют собой равнозначные понятия (квадрат – это обязательно равносторонний прямоугольник, S = P а равносторонний прямоугольник – это обязательно квадрат) (рис. 18).
2. Пересечение. В суждении:
«Некоторые писатели – это американцы», – субъект «писатели» и предикат «американцы» находятся в отношении пересечения, т. к. являются пересекающимися понятиями (писатель может быть американцем и может им не быть, и американец может быть писателем, но также может им не быть) (рис. 19).
3. Подчинение. В суждении:
«Все тигры – это хищники», – субъект «тигры» и предикат «хищники» находятся в отношении подчинения, потому что представляют собой видовое и родовое понятия (тигр – это обязательно хищник, но хищник не обязательно тигр). Так же в суждении: «Некоторые хищники являются тиграми», – субъект «хищники» и предикат «тигры» находятся в отношении подчинения, будучи родовым и видовым понятиями. Итак, в случае подчинения между субъектом и предикатом суждения возможны два варианта отношений: объём субъекта полностью включается в объём предиката (рис. 20, a), или наоборот (рис. 20, б).
