Простое высказывание и его состав
Выше мы уже говорили о том, что высказывание - это выраженная в предложении мысль, в которой что-то утверждается или отрицается о предмете и которая может быть либо истинное, либо ложном. Истина и ложь называются логическими значениями высказывания. По своего составу высказывания бывают простыми и сложными. Простое высказывание выражает одну законченную мысль, которая может быть истинное или ложном, сложное - несколько таких мыслей, связанных между собой логической связью.
Простое высказывание как мысль, в которой нечто утверждается или отрицается относительно ее предмета, состоит из двух имен - имени, которое обозначает предмет выраженной в предложении мысли, и имени, которое обозначает то, что утверждается или отрицается относительно итого предмета. Например, в предложении "Акула является рыбой" или "акула" обозначает предмет выраженной в этом предложении мысли, а имя "рыба" - класс животных, которому принадлежит акула. Первое имя (логическое подлежащее) называется субъектом высказывания, а второе (логическое сказуемое) - предикатом.
Для удобства в дальнейшем будем обозначать заглавными, латинскими буквам S и P (первые буквы латинских названии субъекта и предиката). С учетом этого общая форма высказывания может быть представлена следующим выражением: "S есть (не есть) Р". Субъект и предикат называются терминами высказывания.
Таким образом, простым называется высказывание, в котором путем утверждения или отрицания отражаются отношения между двумя классами предметов и соответственно между объемами двух имен.
Характеризуя отношения между объемами имен выше, мы приводили формы тех высказываний, которыми передается содержание этих отношений, Там можно было убедиться в том, что каждое из этих высказывании отражает отношения взаимного полного или частичного включения или исключения двух классов. Однако в учебниках логики обычно только субъект считается именем класса, а предикат - именем признака этого класса, в приведенном примере считается, что имя "акула" обозначает класс акул, а имя "рыба" обозначает признак итого класса - "быть рыбой", но содержание имени "рыба" состоит из некоторого множества признаков и поэтому сама по себе не обозначает какого-то отдельный признак, по атому интерпретация простого высказывания как мысли, в, которой отражаются отношения между двумя классами предметов, является наиболее адекватное с точки зрения логики.
Не противоречит этой интерпретации и высказывания типа "снег белый". где имя "белый об означает одно из свойств снега, то, что в этом высказывании отражены отношения между двумя классами становится очевидным, когда это высказывание выразить в иной форме: "снег - это белый предмет". "Первоначальный смысл высказывания не изменился, но последняя форма не вызывает сомнений в том, что в ней выражено отношения подчинения между объемами имен "снег" и "белый предмет", содержание имени "белый предмет" состоит из одного признака "быть белым", поэтому и создается иллюзия, что высказывания итого типа принципиально отличаются от высказываний типа "Акула - это - рыба".
То же самое можно сказать и о высказываниях, в которых предикат выражен глаголом или глагольный оборотом, как, например, «Аист свил гнездо на крыше», в котором предикат не является именем. Это, однако, только особенность грамматического строения предложений, которая не влияет на логическую сущность простою высказывания, достаточно выразить его в иной форме, как станет очевидным, что в нем отражены отношения между двумя предметами: "Аист - это птица, свившая гнездо - на крыше.
Особенную функцию в простом высказывании выполняют слова "есть" или "не есть", которые являются логическими постоянными и через которые выражается принадлежность или непринадлежность одного класса к другому. Это утверждение или отрицание называется логическом связкой. Из чего следует, что связка бывает двух видов - утвердительной или отрицательной.
Утвердительная связка в предложении может быть выражена, кроме указанного в схеме глагола "быть", словами и оборотами "является", "называется", "представляет собой", "относится к", "принадлежит к" и некоторыми аналогичными их выражением. Часто, однако, утвердительная связка не выражается, а точнее, выражается только интонационно, отрицательная связка всегда выражается частицей, "не" самой по себе или с этой частицей в сочетании с перечисленными выше оборотами.
Высказывание кроме того содержит еще один компонент, который указывает на количество представителей определенного класса, о которых что-то утверждается или отрицается в нем. Например, в высказывании «Все студенты являются учащимися» выражается принадлежность всего класса студентов к классу учащихся, в высказывании «Некоторые студенты являются отличниками» выражается принадлежность только части класса студентов к классу отличников, а в высказывании "Этот студент является спортсменом» - выражается принадлежность к классу спортсменов отдельного представителя класса студентов.
Слова, указывающие на количество (количественную характеристику) десигнатов субъекта, о котором нечто утверждается или отрицается в высказывании, называются кванторными.
Кванторные слова выражают четвертый компонент высказывания, которым называется квантором. Как видно из примеров, кванторное слово может указывать на весь класс предметов, о котором что-то утверждается или отрицается в нем, на часть предметов этого класса, или на отдельного его представителя, в соответствии с этим кванторы делят на обще, частные и единичные.
Общий квантор в естественном языке может выражаться словами "все", "каждым", "любой", "всякий", "ни один", "никто", "ничто" и близкими им по смыслу другими выражениями, а может вовсе не выражаться, но в последнем случае нельзя утверждать, что квантор отсутствует, квантор, как и другие компоненты высказывания, является составным элементом мысли и может быть не представленным в высказывании составное частью предложения. Например, предложения "все студенты являются учащимися" и "Студенты - это учащиеся" выражают одно и то же высказывание с одинаковыми логическими компонентами.
Частный квантор обязательно выражается словами "некоторые", "отдельные", "многие", "несколько", "большинство", "часть", "ряд", "существуют", "встречаются", "попадаются", "есть" (в смысле "существуют"), "имеются", количественными числительными, а также модальным глаголом "может" в сочетании с глаголом "быть", как, например, в высказывании "Учителя могут быть филологами", равнозначном высказыванию "некоторые учителя - филологи".
Единичный квантор при единичных и собственных именах не выражается. При общих именах он может выражаться словами "тот", "этот", "один из", а может не выражаться вообще.
Таким образом, в составе простого высказывания можно выделить четыре логических компонента: два термина - субъект и предикат, связку - утвердительную или отрицательную и квантор - общий, частным или единичный. Отдельные из этих компонентов -субъект или предикат, утвердительная связка и единичный и общий кванторы могут быть не представлены в предложении, которое выражает высказывание.