Суждение и его виды
Общие сведения
Суждение представляет собой особую форму предложения, обладающую строго определенной структурой, которая позволяет оценивать содержащуюся в ней информацию с точки зрения истинности или ложности. В рамках формальной логики суждение рассматривается не как абстрактная мысль, а как специфическая языковая конструкция, элементы которой соединены заданным образом. Исторически логические структуры возникли как описание закономерностей естественного языка. Базовая структура суждения включает в себя два основных описательных термина: субъект и предикат, соединенные логической связкой. Субъект выступает в роли логического подлежащего и обозначает то, о чем идет речь в данном высказывании. Предикат характеризует субъект и сообщает о нем определенную информацию, выражая наличие или отсутствие у него некоторого свойства. Логическая связка устанавливает отношение между субъектом и предикатом, утверждая или отрицая их взаимосвязь.
Особенности
Важной характеристикой суждения является необходимость его приведения к строгой логической форме для корректной оценки на предмет истины или лжи. Естественный язык часто отличается нечеткостью, грамматическим опущением связок или использованием глаголов вместо обособленных предикатов. В подобных случаях проводится процедура преобразования, при которой глагольные формы трансформируются в причастия или прилагательные, а подразумеваемые субъекты выявляются и формулируются явно. Обязательным структурным элементом полноценного суждения выступает квантор, указывающий на объем субъекта, в отношении которого рассматривается предикат. Высказывания естественного языка, лишенные кванторных слов, признаются логически бессмысленными, поскольку невозможность точной оценки заявленного объема делает невозможным установление их истинности. Любое суждение также предполагает распределенность терминов. Термин считается распределенным, если его отношение к другому термину определяется логической связкой в полном объеме, и нераспределенным, если это отношение затрагивает лишь часть объема термина.
Классификация
Суждения классифицируются по двум основным критериям: качеству логической связки и количеству, определяемому квантором. По качеству связки они делятся на утвердительные, в которых субъекту приписывается свойство предиката, и отрицательные, в которых данное свойство отрицается. По количеству суждения разделяются на общие, охватывающие весь объем субъекта, и частные, затрагивающие только некоторую его часть. На основе этих критериев выделяются четыре базовых типа простых категорических суждений. Общеутвердительные суждения констатируют принадлежность признака всем элементам рассматриваемого множества. Общеотрицательные суждения фиксируют полное отсутствие связи между элементами множества субъекта и предикатом. Частноутвердительные суждения указывают на то, что определенная часть элементов субъекта обладает заданным признаком, при этом объемы понятий могут пересекаться или одно может входить в другое. Частноотрицательные суждения сообщают о том, что некоторая часть элементов субъекта данным признаком не обладает. Помимо простых категорических суждений, существуют выделяющие и исключающие суждения. Они содержат ограничительные слова и посредством специальных алгоритмов раскладываются на систему из нескольких простых категорических суждений, исчерпывающе описывающих заявленные отношения.
Практическое значение
Практическая значимость выделения строгих логических структур заключается в возможности системного анализа высказываний и выведения нового знания. Основным инструментом такого анализа выступает логический квадрат, демонстрирующий закономерности отношений между четырьмя типами категорических суждений. Логический квадрат позволяет осуществлять корректные переходы от одних суждений к другим и определять их истинность или ложность на основе известного значения исходного высказывания. В рамках этой системы исследуются отношения противоречия, подчинения, противоположности и подпротивоположности. Каждое из этих отношений строго регламентирует, какие логические выводы допустимы при изменении квантора или связки. Понимание данных механизмов необходимо для предотвращения когнитивных искажений и ошибок аргументации, которые регулярно возникают при использовании естественного языка из-за его многозначности. Навык преобразования обыденных предложений в строгую форму категорических суждений является базовым требованием научного подхода, так как только безупречно структурированное высказывание может быть подвергнуто процедуре рациональной проверки.