Тема 19: Сущность суждения, алгоритм его логического анализа.

Это форма мышления, в которой утверждается или отрицается что-либо об окружающем мире, предметах, явлениях, а также отношениях и связях между ними. Суждения выражаются в форме высказывания относительно определенного предмета.Например, суждениями являются следующие выражения: «Марс называется красной планетой»; «Человек есть млекопитающее»; «Москва — столица России». Все эти высказывания утверждают что-либо о своем предмете, однако суждение может и отрицать. Например, «Платон жил не в Китае»; «Движущая сила троллейбуса — не горючее» и т. д.

Суждения бывают как истинными, так и ложными, причем истинность либо ложность суждений зависит от объективности отражения окружающего мира. Если предметы, процессы, явления нашего мира отражаются в суждении верно, правильно, суждение называют истинным. Исходя из сказанного, можно отметить, что все приведенные выше суждения являются истинными, так как они отражают то положение вещей, которое существует в действительности. Если суждение отражает окружающий мир с искажениями, неправильно определяет место предметов по отношению друг к другу и вообще не соответствует действительности, его называют ложным. Ложные суждения могут возникать по недосмотрению человека или с его прямым умыслом. Ложность суждений не всегда бывает явной, но в большинстве случаев она очевидна. Например, суждение «С Земли видна обратная сторона Луны» является ложным. Также ложным будет, например, суждение «Все транспортные средства оснащены двигателем».

Все сказанное выше относится к традиционной логике, которая характеризуется двузначностью суждений. Другими словами, каждое суждение может быть либо истинно, либо ложно. При этом не допускается других вариантов. Однако еще со времен зарождения логики известно, что некоторые суждения имеют неопределенный характер. На данный момент они ни истинны, ни ложны. Одним из самых известных таких суждений является суждение «Бог есть». Не подкрепленное ничем, кроме веры, это выражение не дает возможности достоверно проверить истинность или ложность содержащейся в нем информации. Другими такими суждениями можно назвать следующие: «На Марсе есть жизнь» или «Вселенная бесконечна». На сегодняшний день с достоверностью проверить и утвердить либо опровергнуть эти суждения не представляется возможным. Неопределенными можно считать также суждения о явлениях будущего, относительно которых еще неизвестно, наступят они или нет. Например, суждение «Завтра пойдет снег». Оно не может быть истинным, ведь снега может и не быть, и в таком случае истинный характер этого суждения с необходимостью будет опровергнут. Однако данное суждение не является ложным, ведь существует вероятность, что снег все же выпадет. Так как неизвестно, будут ли осадки или же нет, мы не можем определить заранее и характер суждения (истинно ли оно или ложно). Такой подход к определению характера суждений присущ одной из разновидностей многозначной логики — логике трехзначной.

Суждения состоят из субъекта, предиката и связки. Также возможно наличие кванторного слова.

Субъект (обозначается латинской буквой S) – это то, о чем идет речь в суждении. Например, в суждении Все учебники являются книгами речь идет об учебниках, поэтому субъектом данного суждения выступает понятие учебники.

Предикат (обозначается латинской буквой Р) – это то, что говорится о субъекте. Например, в том же суждении Все учебники являются книгами о субъекте (об учебниках) говорится, что они – книги, поэтому предикатом данного суждения выступает понятие книги.

Связка – это то, что соединяет субъект и предикат. В роли связки могут быть слова есть, является, это и т. п.

Квантор – это указатель на объем субъекта. В роли квантора могут быть слова все, некоторые, ни один и т. п.

Рассмотрим суждение Некоторые люди являются спортсменами. В нем субъектом выступает понятие люди, предикатом – понятие спортсмены, роль связки играет слово являются, а слово некоторые представляет собой квантор. Если в каком-то суждении отсутствует связка или квантор, то они все равно подразумеваются. Например, в суждении Тигры – это хищники квантор отсутствует, но он подразумевается – это слово все.

Чтобы лучше уяснить, что такое суждение, рассмотрим несколько примеров.

• Неужели ты не знал, что Земля вращается вокруг Солнца? (Риторический вопрос – является суждением).

• Прощай, немытая Россия! (Восклицание – суждением не является).

• Кто написал философский трактат «Критика чистого разума»? (Вопрос – суждением не является).

• Логика появилась примерно в V в. до н. э. в Древней Греции. (Повествование – является суждением).

• Первый президент Америки. (Понятие – суждением не является).

• Разворачивайтесь в марше! (Восклицание – суждением не является).

• Мы все учились понемногу… (Повествование – является суждением).

• Попробуй-ка двигаться со скоростью света! (Риторическое восклицание–является суждением).

• Средняя школа №…. г. Москвы. (Понятие – суждением не является).

• Как тебе только не стыдно? (Риторический вопрос – является суждением).

• Каким образом решается знаменитая задача о квадратуре круга? (Вопрос – суждением не является).

• Общая теория относительности А. Эйнштейна. (Понятие – суждением не является).

• Почему нельзя делить на ноль? (Вопрос – суждением не является).

• Бескрайние просторы Вселенной. (Понятие – суждением не является).

• Квадрат гипотенузы прямоугольного треугольника равен сумме квадратов его катетов. (Повествование – является суждением)