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