Логика: конспект лекций

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

Такой подход к определению характера суждений присущ одной из разновидностей многозначной логики — логике трехзначной.

Суждения состоят из субъекта (обозначается латинской буквой S), предиката (обозначается как P) и связки. Также возможно наличие кванторного слова. Субъект суждения — это его предмет. А именно, это то, о чем говорится в суждении. Предикат дает понятие о признаках субъекта. Связка выражается словами «является», «есть», «суть». Иногда она заменяется тире. Любой субъект суждения отражен в каком-либо понятии. Как мы помним, понятие характеризуется содержанием и объемом. Именно для определения части, которую занимает суждение в объеме понятия, отражающего его субъект (предмет), и предназначено кванторное слово. В языке такой квантор может быть словами «все», «некоторые», «ни один» и т. д.

2. Языковое выражение суждений

В языке суждения выражаются в форме предложений. Как известно, предложение состоит из языковых единиц — слов. Это означает, что смысл предложения зависит от слов, их значения, окраски, которыми мы выражаем свою мысль. По цели высказывания предложения бывают повествовательные, побудительные, вопросительные. Каждый вид предложений имеет свою специфику. При рассмотрении каждого отдельного предложения на предмет наличия или отсутствия в нем суждения необходимо руководствоваться прежде всего информацией, которую оно несет. Любое предложение несет в себе информацию, однако не каждое содержит суждение. Значит, суждение не является просто информацией, а имеет особенности, характерные только для суждений. Такими особенностями является способ подачи информации в суждениях: во-первых, в суждениях подтверждается наличие или отсутствие какого-либо предмета, а во-вторых, в суждениях может содержаться отрицание существования того или иного факта, явления, процесса.

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