Удивительная логика
Шрифт:
Чтобы лучше уяснить, что такое суждение, рассмотрим несколько примеров.
• Неужели ты не знал, что Земля вращается вокруг Солнца? (Риторический вопрос – является суждением).
• Прощай, немытая Россия! (Восклицание – суждением не является).
• Кто написал философский трактат «Критика чистого разума»? (Вопрос – суждением не является).
• Логика появилась примерно в V в. до н. э. в Древней Греции. (Повествование – является суждением).
• Первый президент Америки. (Понятие – суждением не является).
• Разворачивайтесь в марше! (Восклицание – суждением не является).
• Мы
• Попробуй-ка двигаться со скоростью света! (Риторическое восклицание – является суждением).
• Средняя школа № 469 г. Москвы. (Понятие – суждением не является).
• Как тебе только не стыдно? (Риторический вопрос – является суждением).
• Каким образом решается знаменитая задача о квадратуре круга? (Вопрос – суждением не является).
• Общая теория относительности А. Эйнштейна. (Понятие – суждением не является).
• Почему нельзя делить на ноль? (Вопрос – суждением не является).
• Бескрайние просторы Вселенной. (Понятие – суждением не является).
• Квадрат гипотенузы прямоугольного треугольника равен сумме квадратов его катетов. (Повествование – является суждением).
3. Любое суждение является истинным или ложным.
Если суждение соответствует действительности, оно истинное, а если не соответствует – ложное. Например, суждение Все розы – это цветы является истинным, а суждение Все мухи – это птицы – ложным. Надо отметить, что понятия, в отличие от суждений, не могут быть истинными или ложными. Невозможно, например, утверждать, что понятие школа – истинное, а понятие институт – ложное, понятие звезда – истинное, а понятие планета – ложное и т. п. Но разве понятия Змей Горыныч, Кощей Бессмертный, вечный двигатель не ложные? Нет, эти понятия являются нулевыми (пустыми), но не истинными и не ложными. Вспомним, понятие – это форма мышления, которая обозначает какой-либо объект, и именно поэтому не может быть истинным или ложным. Истинность или ложность – это всегда характеристика какого-то высказывания, утверждения или отрицания, поэтому она применима только к суждениям, а не к понятиям.
4. Суждения бывают простыми и сложными. Сложные суждения состоят из простых, соединенных каким-либо союзом.
Как видим, суждение – это более сложная форма мышления по сравнению с понятием. Неудивительно поэтому, что суждение имеет определенную структуру, в которой можно выделить четыре части: субъект, предикат, связка и квантор.
Субъект (обозначается латинской буквой S) – это то, о чем идет речь в суждении. Например, в суждении Все учебники являются книгами речь идет об учебниках, поэтому субъектом данного суждения выступает понятие учебники.
Предикат (обозначается латинской буквой Р) – это то, что говорится о субъекте. Например, в том же суждении Все учебники являются книгами о субъекте (об учебниках) говорится, что они – книги, поэтому предикатом данного суждения выступает понятие книги.
Связка – это то, что соединяет субъект и предикат. В роли связки могут быть слова есть, является, это и т. п.
Квантор – это указатель на объем субъекта. В роли квантора могут быть слова все, некоторые, ни один и т. п.
Рассмотрим суждение Некоторые люди являются спортсменами. В нем субъектом выступает понятие люди, предикатом – понятие спортсмены, роль связки играет слово являются, а слово некоторые представляет собой квантор. Если в каком-то суждении отсутствует связка или квантор, то они все равно подразумеваются. Например, в суждении Тигры – это хищники квантор отсутствует, но он подразумевается – это
Субъект и предикат любого суждения всегда представляют собой какие-либо понятия, которые, как мы уже знаем, могут находиться в различных отношениях между собой. Между субъектом и предикатом суждения могут быть следующие логические отношения: равнозначности, пересечения, подчинения и несовместимости.
Отношение равнозначности предполагает, что субъект и предикат представляют собой равнозначные понятия. В суждении Все квадраты – это равносторонние прямоугольники субъект квадраты и предикат равносторонние прямоугольники находятся в отношении равнозначности, потому что квадрат – это обязательно равносторонний прямоугольник, а равносторонний прямоугольник – это обязательно квадрат (рис. 17).
Отношения равнозначности субъекта и предиката иллюстрируют примеры ниже:
Антарктида представляет собой ледовый материк (равнозначность).
Д. И. Менделеев – создатель Периодической системы химических элементов (равнозначность).
Отношение пересечения показывает, что субъект и предикат суждения являются пересекающимися понятиями. В суждении Некоторые писатели – это американцы субъект писатели и предикат американцы находятся в отношении пересечения (так как писатель может быть американцем и может им не быть, и американец может быть писателем, но также может им не быть) (рис. 18).
Отношением пересечения связаны субъект и предикат следующих суждений:
Некоторые русские писатели – это всемирно известные люди.
Некоторые грибы – несъедобные объекты.
Некоторые ученые – древние греки.
При отношении подчинения субъект и предикат суждения соотносятся как видовое и родовое понятия. В суждении Все тигры – это хищники субъект тигры и предикат хищники находятся в отношении подчинения, потому что тигр – это обязательно хищник, но хищник не обязательно тигр. Так же в суждении Некоторые хищники являются тиграми субъект хищники и предикат тигры находятся в отношении подчинения, будучи родовым и видовым понятиями.
Отношение подчинения хорошо иллюстрируют следующие суждения:
• Все бактерии являются живыми организмами.
• Солнце – это одна из звезд.
• Не все спортсмены являются олимпийскими чемпионами.
Отметим, в случае подчинения между субъектом и предикатом суждения возможны два варианта отношений: объем субъекта полностью включается в объем предиката (рис. 19), или наоборот (рис. 20).
Отношение несовместимости означает, что субъект и предикат суждения являются несовместимыми (соподчиненными) понятиями. В суждении Все планеты не являются звездами субъект планеты и предикат звезды находятся в отношении несовместимости, так как ни одна планета не может быть звездой, и ни одна звезда не может быть планетой (рис. 21).
В приведенных ниже суждениях субъект и предикат находятся в отношении несовместимости: