III. Наконец, третий класс суждений – это те суждения, в которых выражается определённое
отношение между понятиями подлежащего и сказуемого. В них мы отличаем:
a) Суждения тождества. В суждениях этого рода понятия субъекта и предиката имеют один и тот же объём, т.е. в них подлежащее и сказуемое суть понятия равнозначащие. Например, «всякий равносторонний треугольник есть равноугольный треугольник», «Ломоносов был крупнейшим теоретиком русского литературного языка». В математике часто применяются суждения, выражающие тождество; именно сюда относятся суждения, которые выражаются уравнениями. Например,
(a + b)(a + b) = aa + 2ab + bb;
b) Суждения подчинения совпадают с объяснительными суждениями. Здесь понятия субъекта и предиката не являются тождественными, так как их объёмы отличаются друг от друга. Именно здесь понятия с менее широким объёмом подчиняются понятию с более широким объёмом. Поэтому подобные суждения могут быть названы суждениями подчинения. Например, «солнце есть неподвижная звезда», «это есть правильный пятиугольник», «собака есть домашнее животное».
c) Суждения отношения пространства, времени и причинности. В предложении «дом находится на улице» говорится об известном пространственном отношении между «домом» и «улицей»; «находящийся на улице» образует содержание предиката. В суждении «Александр Македонский жил до нашей эры» предикатом является «жил до нашей эры» и выражает собой временное отношение. «Солнце производит теплоту» (суждение причинности).
Суждения существования. Если мы возьмём какое-нибудь суждение, в котором относительно S высказывается какое-либо P, то в таком суждении мы по большей части не утверждаем прямо, что S существует вне человеческого мышления, потому что в этом случае только устанавливается известноелогическое отношение между S и P. Если мы, например, возьмём суждение «ни одна часть окружности не есть прямая», то мы не ставим вопроса о том, существует ли что-либо вроде круга в строго геометрическом смысле. Если бы у нас даже не было убеждения в том, что такого рода круги существуют, то всё-таки мы могли бы произнести указанное суждение, потому что в нём мы только устанавливаем известное отношение между подлежащим и сказуемым. Наоборот, такие суждения, как «мир существует», «солнце существует», «существует любовь к родине, которая способна на великие жертвы», «существуют антиподы», имеют только цель утверждать бытие или существование логического субъекта. Такие суждения, которые приписывают понятию субъекта только лишь существование, называются суждениями существования, или экзистенциальными суждениями. Легко видеть, что слово «есть» в этих суждениях является не связкой, а предикатом и обозначает «существует».
Аналитические и синтетические суждения. Суждение, в котором мы относительно субъекта высказываем нечто такое, что в нём уже содержится, называется аналитическим. Например, в подлежащем суждения «всякое тело протяжённо» признак протяжённости уже содержится. Мы не можем мыслить понятие «тело» без того, чтобы не мыслить его протяжённым. Поэтому если мы говорим, что тело протяжённо, то мы только раскрываем, анализируем то, что уже содержится в подлежащем. Оттого само суждение называется аналитическим.
От аналитических суждений отличаются суждения, в которых предикат не находится в содержании субъекта, в которых предикат привносит нечто новое к содержанию субъекта. Такие суждения называются синтетическими. В них не раскрывается содержание подлежащего, а присоединяется нечто новое. Эти суждения называются также суждениями, расширяющими познание, между тем как суждения аналитические называются суждениями, объясняющими познание.
Существовало мнение, что различие между суждениями синтетическими и аналитическими имеет абсолютный характер, т.е. что некоторые суждения имеют всегда только аналитический характер, а другие суждения имеют только синтетический характер. На самом же деле, если рассматривать суждения с точки зрения их происхождения, то различие между синтетическими суждениями и аналитическими нужно считать относительным, потому что иногда признаки, которые мы считаем связанными аналитически, с действительности бывают связаны синтетически. Например, если мы произносим суждение «лев есть животное плотоядное», то это суждение должно быть признано, конечно, аналитическим, потому что признак плотоядности уже содержится в понятии «лев». Но это суждение является аналитическим теперь, когда мы уже хорошо знакомы с содержанием понятия «лев». Когда же мы не были знакомы с содержанием понятия «лев», то это суждение имело характер синтетический, потому что тогда признак плотоядности присоединялся к понятию «лев». От постоянного совместного употребления понятия «лев» с признаком плотоядности это суждение сделалось аналитическим.
В английской логике этому разделению суждений на аналитические и синтетические до некоторой степени соответствует разделение предложений на словесные и реальные. Дж. С. Милль следующим образом разъясняет различие между словесными предложениями и реальными. Словесные предложения – это те, в которых содержание предиката заключается частью или целиком в содержании субъекта; словесное предложение утверждает о вещи только то, что мы уже предполагали, когда мы произносили название этой вещи; поэтому словесные предложения только раскрывают понятие подлежащего. Например, предложение «человек есть животное» есть предложение словесное, потому что понятие «животное» входит частью в содержание понятия «человек». Из этого ясно, что словесные предложения не утверждают чего-либо о вещах, но они нам дают знать только лишь о значении имён. Реальные предложения – это те, в которых содержание предиката не составляет никакой части содержания субъекта. Предложение «три угла треугольника, вместе взятые, равны двум прямым» есть предложение реальное, потому что понятие субъекта (три угла треугольника) не содержит в себе понятия предиката (равенство двум прямым).
Но кроме приведённой в этой главе классификации суждений существует ещё одна классификация, с которой нам необходимо ознакомиться, потому что она лежит в основе всех дальнейших логических построений.
Глава VIII
Деление суждений. В логике принято делить суждения с четырёх точек зрения: 1) количества, 2) качества, 3) отношениями 4) модальности.
Количество суждения. Когда суждения рассматриваются с точки зрения количества, то обращается внимание на то, в каком объёме берётся подлежащее: во всём объёме или в части, т.е., другими словами, справедливо ли то, что утверждается сказуемым по отношению к подлежащему, взятому во всём объёме, или оно справедливо только по отношению к подлежащему, взятому в части объёма. Если я говорю «все растения живут», то в этом суждении предикат «живут» справедлив относительно всех растений, относительно всего класса растений, относительно понятия «растения», взятого во всём объёме. Если я скажу «некоторые растения суть хвойные», то предикат «хвойные» справедлив только относительно части объёма растения. Первые суждения называются общими, а вторые – частными.
Формула общего суждения:
Все S суть P
Формула частного суждения:
Некоторые S суть P
От частных суждений нужно отличать так называемые единичные, или индивидуальные, суждения. Например, суждение «Гутенберг – изобретатель книгопечатания» есть единичное суждение. Индивидуальные суждения обыкновенно относят к общим суждениям, так как в них предикат относится к субъекту, взятому во всём объёме, или, другими словами, в них предикат действителен по отношению ко всему, объёму субъекта. То же самое следует сказать относительно всяких суждений, в которых подлежащее выражается понятием единичной вещи. Возьмём в пример суждение: «самообладание есть добродетель». Очевидно, в этом суждении предполагается, что дело идёт о всяком самообладании.
Качество суждения. С точки зрения качества суждения делятся на утвердительныеи отрицательные. Формулы их таковы:
S есть P.
S не есть P.
Если мы предикат придаём субъекту, то это будет утвердительное суждение; если мы предикат отнимаем от субъекта, то суждение будет отрицательное. Например, суждение «люди пристрастны к самим себе» будет суждением утвердительным, потому что известный предикат мы приписываем субъекту (признаём входящим в содержание субъекта), а, например, суждение «люди не поддаются лести» будет отрицательным суждением, потому что предикат «поддаваться лести» мы отнимаем от людей, т.е. признаём не входящим в содержание субъекта «люди». Следовательно, с точки зрения качества мы определяем, придаётся ли предикат субъекту или отнимается от него.
Мы можем классы, получаемые от разделения суждений с точки зрения количества, соединить с классами, получаемыми от разделения суждений с точки зрения качества, и тогда мы получим суждения обще-утвердительныеи частно-утвердительные, обще-отрицательныеи частно-отрицательные.
Формулы этих суждений будут следующие:
1. Обще-утвердительное суждение: «все S суть P». Например, «все люди боятся смерти».
2. Частно-утвердительное суждение: «некоторые S суть P». Например, «некоторые люди имеют чёрный цвет кожи».
3. Обще-отрицательное суждение: «ни одно S не есть P». Например, «ни один человек не всеведущ».
4. Частно-отрицательное суждение: «некоторые S не суть P». Например, «некоторые люди не имеют чёрного цвета кожи».
Вот все четыре вида суждений. Для краткости их обозначения в логике принято употреблять следующие символы. Для обще-утвердительного суждения берут символ A, первую гласную глагола affirmo – утверждаю; для частно-утвердительного – I, вторую гласную того же глагола; для обще-отрицательного – E, первую гласную глагола nego – отрицаю; для частно-отрицательного – O, вторую гласную того же глагола.
Таким образом, символы суждений мы можем обозначить при помощи следующей таблицы:
A: Все S суть P.
I: Некоторые S суть P.
E: Ни одно S не есть P.
O: Некоторые S не суть P.
Отношение между подлежащим и сказуемым. Суждения различаются также по отношению, какое устанавливается между субъектом и предикатом. С этой точки зрения суждения разделяются на категорические, условныеи разделительные. Если я говорю «все люди смертны», то здесь я беру отношение между субъектом и предикатом безусловно. Это будет категорическое суждение. Категорическое суждение есть такое, в котором сказуемое утверждается или отрицается относительно субъекта без какого-либо ограничения во времени, в пространстве или вообще в каких-либо обстоятельствах. Когда я ограничиваю отношение каким-либо условием, тогда получается условное суждение, а когда в суждении оставляется место неопределённости, тогда получается разделительное суждение.
Категорические суждения. Схема категорического суждения:
S есть P.
Пример: «Земля вращается вокруг Солнца».
Условные, или гипотетические, суждения. Схема условных суждений:
Если A есть B, то C есть D.
Пример условного суждения: «если дождь пойдёт, то почва будет мокрая». Здесь во втором суждении сказуемое может быть приписано подлежащему при условии допущения истинности первого суждения. Другой пример условного суждения: «если луна становится между солнцем и землёю, то солнце затмевается». Из этих примеров можно видеть, что условие, которое поставляется в одном из суждений, делает отношение между подлежащим и сказуемым другого суждения не категорическим, а условным. Первое суждение принято называть основанием, а второе – следствием. В условных суждениях, таким образом, мы имеем два суждения, которые находятся друг к другу в отношении основания к следствию. Суждение, которое содержит условие, называется также предыдущим (antecedens); суждение, которое содержит следствие, называется последующим (consequens).
Разделительные суждения. Разделительные суждения имеют двоякий вид:
1) S есть или A, или B, или C.
2) Или A, или B, или C есть P
Разница между этими двумя видами разделительных суждений, как это легко видеть, сводится к следующему. В первом случае возможны два, три или больше сказуемых при одном подлежащем, во втором возможны два, три или больше подлежащих при одном сказуемом. Эта возможность нескольких подлежащих при одном сказуемом или нескольких сказуемых при одном подлежащем делает суждение неопределённым. Возьмём суждение «треугольник есть или остроугольный, или тупоугольный, или прямоугольный»; в этом суждении одно подлежащее и три сказуемых.
Придавая подлежащему одно какое-нибудь сказуемое, мы исключаем все остальные. Вследствие этого если одно суждение истинно, то остальные должны быть ложны. Если я говорю, что треугольник есть прямоугольный, то это значит, что он не остроугольный и не тупоугольный. Примером второго вида разделительных суждений может служить следующее суждение: «или Бэкон, или Шекспир, или человек, равный им по таланту, написал произведения, приписываемые Шекспиру».
Условия правильности разделительных суждений те же самые, что и условия правильности деления; они состоят в том, чтобы члены деления были приведены полностью и чтобы члены деления исключали друг друга. Против этого правила погрешают, например, такие суждения:
«треугольники бывают или прямоугольные, или тупоугольные»;
«человек бывает или образованный, или бедный» (какие ошибки?).
Условно-разделительные суждения. Из соединения условных суждений с разделительными образуются условно разделительные суждения. Схема их:
Если A есть B, то C есть или D, или E, или F,
или в более общей форме эту схему можно изобразить так:
Если есть A, то есть или a, или b, или c,
например, «если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии».
Модальность суждений. Остаётся рассмотреть четвёртое отношение между суждениями, именно с точки зрения модальности. С этой точки зрения рассматривается, с какой квалификацией, т.е. каким образом (cummodo), в суждении сказуемое приписывается подлежащему. Таких квалификаций можно признать три, а отсюда получается деление суждений по модальности на три разряда:
1. Проблематические: «S, вероятно, есть P». «Илиада есть, вероятно, продукт коллективного творчества». В проблематическом суждении соединение подлежащего со сказуемым и разъединение подлежащего от сказуемого выставляется просто как известное предположение.
2. Ассерторические: «S есть P». «Киев стоит на Днепре», «вода состоит из водорода и кислорода».
3. Аподиктические: «S необходимо должно быть P». Например, «две прямые линии не могут замыкать пространства».
Анализируя приведённые примеры, мы видим, что проблематическое суждение характеризуется некоторым ограничением связи между подлежащим и сказуемым (утверждается вероятность, возможность); об ассерторическом суждении связь подлежащего со сказуемым утверждается решительно, без колебания (утверждается действительность какого-либо факта); в аподиктическом суждении утверждение получает характер необходимости.
На первый взгляд различие между суждениями ассерторическими и аподиктическими не совсем ясно. Кажется, что оба они обладают одинаковой достоверностью и что поэтому между ними нет различия; на самом же деле между ними различие очень большое. Суждения ассерторические утверждают нечто действительно существующее, в этом смысле нечто вполне достоверное, но всегда можно мыслить и обратное тому, что утверждается в ассерторическом суждении; что же касается аподиктических суждений, то никоим образом нельзя мыслить противоречащих им суждений. Например, если я возьму ассерторическое суждение «Киев стоит на Днепре», я могу мыслить Киев стоящим не на Днепре, а, например, на Неве; если же я возьму аподиктическое суждение «две прямые линии не могут замыкать пространства», то я не могу мыслить иначе, я не могу мыслить, чтобы две прямые замыкали пространство. Аподиктическое суждение имеет характер необходимый. Другой пример аподиктических суждений: «если две величины равняются одной и той же третьей, то они равны между собой».
Эти три признака – возможность, действительность, необходимость – и характеризуют собой три вида указанных суждений, т.е. если в суждении выражается или возможность, или действительность, или необходимость, то получается или суждение проблематическое, или ассерторическое, или аподиктическое.
Но следует заметить, что некоторые логики отношение между аподиктическими и ассерторическими суждениями понимают несколько иначе. По их мнению, ассерторические суждения – это такие, в истинности которых мы убеждены, но только не знаем причины, почему так должно быть, как мы утверждаем. В аподиктических суждениях эта причина нам известна. Например, суждение «Юпитер имеет девять спутников» – ассерторическое. Суждение «скорость полёта ружейной пули должна постепенно уменьшаться» (именно вследствие сопротивления воздуха) – аподиктическое.
Глава IX
Отношение между подлежащим и сказуемым. Мы видели, что суждения бывают обще-утвердительные, обще-отрицательные, частно-утвердительные и частно-отрицательные. Выясним отношение между подлежащим и сказуемым во всех этих классах суждений.
Суждения A. Возьмём обще-утвердительное суждение «все рыбы суть позвоночные» (все S суть P). В этом суждении мы утверждаем, что всякая рыба входит в объём класса позвоночных, другими словами, что в класс вещей, который мы обозначаем при помощи сказуемого «позвоночные», входит целиком класс вещей, обозначаемых подлежащим. Но так как в классе позвоночных кроме рыб есть ещё и другие животные, то объём класса позвоночных будет больше класса рыб. Если понятие S содержится в объёме понятия P, то символически мы можем это представить при помощи круга S, который находится внутри круга P. Поэтому те обще-утвердительные суждения, в которых объём подлежащего меньше объёма сказуемого, можно символически изобразить, как это представлено на рис. 10.
Но если в обще-утвердительных суждениях подлежащее и сказуемое будут понятиями равнозначащими, то символ их будет иной. Возьмём пример: «все квадраты суть параллелограммы с равными сторонами и равными углами». В целом суждении S и P суть понятия равнозначащие и, как таковые, совпадают друг с другом своими объёмами. Поэтому мы не можем круг поместить в середине P, как это мы сделали в предыдущем суждении, а должны представить отношение S к P в виде двух совпадающих кругов (рис. 11).
Суждения E. Возьмём обще-отрицательное суждение «ни одно насекомое не есть позвоночное». В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым; один класс находится вне другого класса. Мы в мышлении совершенно отделяем класс подлежащего от класса сказуемого. Символически отношение S к P в таких суждениях может быть обозначено посредством двух отдельно стоящих и не связанных друг с другом кругов (рис. 12).
Суждения I. Возьмём частно-утвердительное суждение «некоторые книги полезны». В этом суждении часть класса S входит в объём класса P, т.е. совпадает с классом P. Если какая-нибудь часть S совпадает с P, то круги S и P должны иметь общую часть, т.е. должны пересекаться. Символически отношение между подлежащим и сказуемым в частно-утвердительных суждениях можно изобразить так, как это сделано на рис. 13.
Та часть S, о которой утверждается в P, на рисунке заштрихована.
Некоторые частно-утвердительные суждения можно символизировать иначе. Возьмём пример: «некоторые животные суть позвоночные». Если мы станем рассматривать объём понятий «животные» и «позвоночные», то увидим, что последнее понятие подчинено первому, т.е. в объём понятия «животные» входит как часть понятие «позвоночные». Поэтому символ такого частно-утвердительного суждения будет таков, как он изображён на рис. 14.
Он показывает, что мы из S (животные) выделяем часть, которая и есть P (позвоночные). Та часть S, о которой идёт речь, на рисунке заштрихована.
Суждения O. Возьмём частно-отрицательное суждение «некоторые книги не суть полезны». Это суждение означает, что некоторые книги не входят в класс полезных вещей, другими словами, некоторая часть S не входит в объём P. Если мы представим подлежащее и сказуемое в суждении O в виде кругов (рис. 15), то эти круги должны иметь и общие и не общие части, т.е. они должны пересекаться.
Заштрихованная часть круга означает, что об этой части субъекта идёт речь в этом суждении, а именно, что она не входит в объём понятия P, что она находится вне понятия P. Таким образом, для суждения O мы получаем тот же символ, что и для класса суждений I. Разница между их символами та, что в суждениях I мы обращаем внимание на то, что есть совпадающего между S и P, а в суждениях O – на то, что есть не совпадающего между, ними.
К некоторым суждениям класса O применим другой символ. Возьмём, например, суждение «некоторые змеи не имеют ядовитых зубов». Здесь опять понятие сказуемого подчинено понятию подлежащего. Так как «змеи, имеющие ядовитые зубы» (P), составляют только часть класса змей, то P входит как часть в объём понятия S (рис. 16).
В суждении «некоторые змеи не имеют ядовитых зубов» мы из объёма S выделяем часть, которая ограничивается кругом P. Эта часть S, которая находится в круге P, обозначает тех змей, которые имеют ядовитые зубы. Та часть, которая находится вне круга P, будет обозначать змей, которые не имеют ядовитых зубов. Если мы заштрихуем ту часть круга S, которая находится вне P, то мы покажем, о какой части всего класса идёт речь.
Объёмы подлежащего и сказуемого. Теперь нам следует рассмотреть суждения с точки зрения объёма их подлежащих и сказуемых. Если мы будем рассматривать суждения с этой точки зрения, то увидим, что в некоторых суждениях мы берём подлежащее или сказуемое во всём объёме, а в других – не во всём. Если подлежащее и сказуемое берутся в суждениях во всём объёме, то говорят, что они распределены; если они взяты не во всём объёме, то говорят, что они не распределены.
В суждениях A подлежащее распределено, потому что в них предикат утверждается относительно всех представителей того или другого класса, но сказуемое не распределено, что легко можно видеть из вышеприведённого примера: «все рыбы суть позвоночные». В этом примере мы приписываем известное свойство, в данном случае принадлежность к известному классу, всем рыбам; что же касается позвоночных, то мы приобретаем знание только о некоторой части их, но не обо всех. Суждение Aпоэтому распределяет своё подлежащее, но не распределяет своего сказуемого.
Но в тех суждениях A, в которых подлежащее и сказуемое суть понятия равнозначащие, сказуемое взято во всём объёме. Например в суждении «все амальгамы суть ртутные сплавы».
В суждениях E и подлежащее, и сказуемое распределены. Если мы возьмём суждение «ни одно насекомое не есть позвоночное», то в этом суждении мы утверждаем нечто как обо всех насекомых, что они не суть позвоночные, так и обо всех позвоночных, что они не суть насекомые. Из этого суждения мы узнаём, что ни один из предметов, находящихся в сказуемом, не может быть найден между предметами, находящимися в подлежащем. Таким образом, обще-отрицательное суждение распределяет как подлежащее, так и сказуемое, потому что мы из него узнаём нечто как обо всём классе подлежащего, так и обо всём классе сказуемого.
В суждении I ни подлежащее, ни сказуемое не распределены.
Если мы возьмём пример: «некоторые книги полезны», то мы из него не вынесем никакого знания ни обо всём классе «книг», ни обо всём классе «полезных вещей». Из этого суждения мы только узнаем о некоторых книгах, что они полезны, но мы не узнаем, что входит во весь объём полезных вещей, т.е. мы не узнаем, какие вещи полезны. Другими словами, из данного суждения мы ничего не узнаем обо всём классе «полезных вещей». Мы об этом знаем из других источников, а не из данного суждения. Если же мы не узнаем ничего определённого относительно всего объёма сказуемого частно-утвердительного суждения, то это значит, что эти суждения не распределяют своего сказуемого.
a) Суждения тождества. В суждениях этого рода понятия субъекта и предиката имеют один и тот же объём, т.е. в них подлежащее и сказуемое суть понятия равнозначащие. Например, «всякий равносторонний треугольник есть равноугольный треугольник», «Ломоносов был крупнейшим теоретиком русского литературного языка». В математике часто применяются суждения, выражающие тождество; именно сюда относятся суждения, которые выражаются уравнениями. Например,
(a + b)(a + b) = aa + 2ab + bb;
b) Суждения подчинения совпадают с объяснительными суждениями. Здесь понятия субъекта и предиката не являются тождественными, так как их объёмы отличаются друг от друга. Именно здесь понятия с менее широким объёмом подчиняются понятию с более широким объёмом. Поэтому подобные суждения могут быть названы суждениями подчинения. Например, «солнце есть неподвижная звезда», «это есть правильный пятиугольник», «собака есть домашнее животное».
c) Суждения отношения пространства, времени и причинности. В предложении «дом находится на улице» говорится об известном пространственном отношении между «домом» и «улицей»; «находящийся на улице» образует содержание предиката. В суждении «Александр Македонский жил до нашей эры» предикатом является «жил до нашей эры» и выражает собой временное отношение. «Солнце производит теплоту» (суждение причинности).
Суждения существования. Если мы возьмём какое-нибудь суждение, в котором относительно S высказывается какое-либо P, то в таком суждении мы по большей части не утверждаем прямо, что S существует вне человеческого мышления, потому что в этом случае только устанавливается известноелогическое отношение между S и P. Если мы, например, возьмём суждение «ни одна часть окружности не есть прямая», то мы не ставим вопроса о том, существует ли что-либо вроде круга в строго геометрическом смысле. Если бы у нас даже не было убеждения в том, что такого рода круги существуют, то всё-таки мы могли бы произнести указанное суждение, потому что в нём мы только устанавливаем известное отношение между подлежащим и сказуемым. Наоборот, такие суждения, как «мир существует», «солнце существует», «существует любовь к родине, которая способна на великие жертвы», «существуют антиподы», имеют только цель утверждать бытие или существование логического субъекта. Такие суждения, которые приписывают понятию субъекта только лишь существование, называются суждениями существования, или экзистенциальными суждениями. Легко видеть, что слово «есть» в этих суждениях является не связкой, а предикатом и обозначает «существует».
Аналитические и синтетические суждения. Суждение, в котором мы относительно субъекта высказываем нечто такое, что в нём уже содержится, называется аналитическим. Например, в подлежащем суждения «всякое тело протяжённо» признак протяжённости уже содержится. Мы не можем мыслить понятие «тело» без того, чтобы не мыслить его протяжённым. Поэтому если мы говорим, что тело протяжённо, то мы только раскрываем, анализируем то, что уже содержится в подлежащем. Оттого само суждение называется аналитическим.
От аналитических суждений отличаются суждения, в которых предикат не находится в содержании субъекта, в которых предикат привносит нечто новое к содержанию субъекта. Такие суждения называются синтетическими. В них не раскрывается содержание подлежащего, а присоединяется нечто новое. Эти суждения называются также суждениями, расширяющими познание, между тем как суждения аналитические называются суждениями, объясняющими познание.
Существовало мнение, что различие между суждениями синтетическими и аналитическими имеет абсолютный характер, т.е. что некоторые суждения имеют всегда только аналитический характер, а другие суждения имеют только синтетический характер. На самом же деле, если рассматривать суждения с точки зрения их происхождения, то различие между синтетическими суждениями и аналитическими нужно считать относительным, потому что иногда признаки, которые мы считаем связанными аналитически, с действительности бывают связаны синтетически. Например, если мы произносим суждение «лев есть животное плотоядное», то это суждение должно быть признано, конечно, аналитическим, потому что признак плотоядности уже содержится в понятии «лев». Но это суждение является аналитическим теперь, когда мы уже хорошо знакомы с содержанием понятия «лев». Когда же мы не были знакомы с содержанием понятия «лев», то это суждение имело характер синтетический, потому что тогда признак плотоядности присоединялся к понятию «лев». От постоянного совместного употребления понятия «лев» с признаком плотоядности это суждение сделалось аналитическим.
В английской логике этому разделению суждений на аналитические и синтетические до некоторой степени соответствует разделение предложений на словесные и реальные. Дж. С. Милль следующим образом разъясняет различие между словесными предложениями и реальными. Словесные предложения – это те, в которых содержание предиката заключается частью или целиком в содержании субъекта; словесное предложение утверждает о вещи только то, что мы уже предполагали, когда мы произносили название этой вещи; поэтому словесные предложения только раскрывают понятие подлежащего. Например, предложение «человек есть животное» есть предложение словесное, потому что понятие «животное» входит частью в содержание понятия «человек». Из этого ясно, что словесные предложения не утверждают чего-либо о вещах, но они нам дают знать только лишь о значении имён. Реальные предложения – это те, в которых содержание предиката не составляет никакой части содержания субъекта. Предложение «три угла треугольника, вместе взятые, равны двум прямым» есть предложение реальное, потому что понятие субъекта (три угла треугольника) не содержит в себе понятия предиката (равенство двум прямым).
Но кроме приведённой в этой главе классификации суждений существует ещё одна классификация, с которой нам необходимо ознакомиться, потому что она лежит в основе всех дальнейших логических построений.
Вопросы для повторения
Какое существует отношение между познанием и суждением? Какое различие между суждением и предложением? Что кладётся в основу деления суждения? Какие существуют суждения в зависимости от изменения субъекта и какое между ними различие? Какие существуют суждения в зависимости от изменения предиката и какое между ними различие? Какие существуют суждения отношения? Какие суждения называются суждениями существования? Какое различие между аналитическими и синтетическими суждениями?
Глава VIII
Деление суждений
Деление суждений. В логике принято делить суждения с четырёх точек зрения: 1) количества, 2) качества, 3) отношениями 4) модальности.
Количество суждения. Когда суждения рассматриваются с точки зрения количества, то обращается внимание на то, в каком объёме берётся подлежащее: во всём объёме или в части, т.е., другими словами, справедливо ли то, что утверждается сказуемым по отношению к подлежащему, взятому во всём объёме, или оно справедливо только по отношению к подлежащему, взятому в части объёма. Если я говорю «все растения живут», то в этом суждении предикат «живут» справедлив относительно всех растений, относительно всего класса растений, относительно понятия «растения», взятого во всём объёме. Если я скажу «некоторые растения суть хвойные», то предикат «хвойные» справедлив только относительно части объёма растения. Первые суждения называются общими, а вторые – частными.
Формула общего суждения:
Все S суть P
Формула частного суждения:
Некоторые S суть P
От частных суждений нужно отличать так называемые единичные, или индивидуальные, суждения. Например, суждение «Гутенберг – изобретатель книгопечатания» есть единичное суждение. Индивидуальные суждения обыкновенно относят к общим суждениям, так как в них предикат относится к субъекту, взятому во всём объёме, или, другими словами, в них предикат действителен по отношению ко всему, объёму субъекта. То же самое следует сказать относительно всяких суждений, в которых подлежащее выражается понятием единичной вещи. Возьмём в пример суждение: «самообладание есть добродетель». Очевидно, в этом суждении предполагается, что дело идёт о всяком самообладании.
Качество суждения. С точки зрения качества суждения делятся на утвердительныеи отрицательные. Формулы их таковы:
S есть P.
S не есть P.
Если мы предикат придаём субъекту, то это будет утвердительное суждение; если мы предикат отнимаем от субъекта, то суждение будет отрицательное. Например, суждение «люди пристрастны к самим себе» будет суждением утвердительным, потому что известный предикат мы приписываем субъекту (признаём входящим в содержание субъекта), а, например, суждение «люди не поддаются лести» будет отрицательным суждением, потому что предикат «поддаваться лести» мы отнимаем от людей, т.е. признаём не входящим в содержание субъекта «люди». Следовательно, с точки зрения качества мы определяем, придаётся ли предикат субъекту или отнимается от него.
Мы можем классы, получаемые от разделения суждений с точки зрения количества, соединить с классами, получаемыми от разделения суждений с точки зрения качества, и тогда мы получим суждения обще-утвердительныеи частно-утвердительные, обще-отрицательныеи частно-отрицательные.
Формулы этих суждений будут следующие:
1. Обще-утвердительное суждение: «все S суть P». Например, «все люди боятся смерти».
2. Частно-утвердительное суждение: «некоторые S суть P». Например, «некоторые люди имеют чёрный цвет кожи».
3. Обще-отрицательное суждение: «ни одно S не есть P». Например, «ни один человек не всеведущ».
4. Частно-отрицательное суждение: «некоторые S не суть P». Например, «некоторые люди не имеют чёрного цвета кожи».
Вот все четыре вида суждений. Для краткости их обозначения в логике принято употреблять следующие символы. Для обще-утвердительного суждения берут символ A, первую гласную глагола affirmo – утверждаю; для частно-утвердительного – I, вторую гласную того же глагола; для обще-отрицательного – E, первую гласную глагола nego – отрицаю; для частно-отрицательного – O, вторую гласную того же глагола.
Таким образом, символы суждений мы можем обозначить при помощи следующей таблицы:
A: Все S суть P.
I: Некоторые S суть P.
E: Ни одно S не есть P.
O: Некоторые S не суть P.
Отношение между подлежащим и сказуемым. Суждения различаются также по отношению, какое устанавливается между субъектом и предикатом. С этой точки зрения суждения разделяются на категорические, условныеи разделительные. Если я говорю «все люди смертны», то здесь я беру отношение между субъектом и предикатом безусловно. Это будет категорическое суждение. Категорическое суждение есть такое, в котором сказуемое утверждается или отрицается относительно субъекта без какого-либо ограничения во времени, в пространстве или вообще в каких-либо обстоятельствах. Когда я ограничиваю отношение каким-либо условием, тогда получается условное суждение, а когда в суждении оставляется место неопределённости, тогда получается разделительное суждение.
Категорические суждения. Схема категорического суждения:
S есть P.
Пример: «Земля вращается вокруг Солнца».
Условные, или гипотетические, суждения. Схема условных суждений:
Если A есть B, то C есть D.
Пример условного суждения: «если дождь пойдёт, то почва будет мокрая». Здесь во втором суждении сказуемое может быть приписано подлежащему при условии допущения истинности первого суждения. Другой пример условного суждения: «если луна становится между солнцем и землёю, то солнце затмевается». Из этих примеров можно видеть, что условие, которое поставляется в одном из суждений, делает отношение между подлежащим и сказуемым другого суждения не категорическим, а условным. Первое суждение принято называть основанием, а второе – следствием. В условных суждениях, таким образом, мы имеем два суждения, которые находятся друг к другу в отношении основания к следствию. Суждение, которое содержит условие, называется также предыдущим (antecedens); суждение, которое содержит следствие, называется последующим (consequens).
Разделительные суждения. Разделительные суждения имеют двоякий вид:
1) S есть или A, или B, или C.
2) Или A, или B, или C есть P
Разница между этими двумя видами разделительных суждений, как это легко видеть, сводится к следующему. В первом случае возможны два, три или больше сказуемых при одном подлежащем, во втором возможны два, три или больше подлежащих при одном сказуемом. Эта возможность нескольких подлежащих при одном сказуемом или нескольких сказуемых при одном подлежащем делает суждение неопределённым. Возьмём суждение «треугольник есть или остроугольный, или тупоугольный, или прямоугольный»; в этом суждении одно подлежащее и три сказуемых.
Придавая подлежащему одно какое-нибудь сказуемое, мы исключаем все остальные. Вследствие этого если одно суждение истинно, то остальные должны быть ложны. Если я говорю, что треугольник есть прямоугольный, то это значит, что он не остроугольный и не тупоугольный. Примером второго вида разделительных суждений может служить следующее суждение: «или Бэкон, или Шекспир, или человек, равный им по таланту, написал произведения, приписываемые Шекспиру».
Условия правильности разделительных суждений те же самые, что и условия правильности деления; они состоят в том, чтобы члены деления были приведены полностью и чтобы члены деления исключали друг друга. Против этого правила погрешают, например, такие суждения:
«треугольники бывают или прямоугольные, или тупоугольные»;
«человек бывает или образованный, или бедный» (какие ошибки?).
Условно-разделительные суждения. Из соединения условных суждений с разделительными образуются условно разделительные суждения. Схема их:
Если A есть B, то C есть или D, или E, или F,
или в более общей форме эту схему можно изобразить так:
Если есть A, то есть или a, или b, или c,
например, «если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии».
Модальность суждений. Остаётся рассмотреть четвёртое отношение между суждениями, именно с точки зрения модальности. С этой точки зрения рассматривается, с какой квалификацией, т.е. каким образом (cummodo), в суждении сказуемое приписывается подлежащему. Таких квалификаций можно признать три, а отсюда получается деление суждений по модальности на три разряда:
1. Проблематические: «S, вероятно, есть P». «Илиада есть, вероятно, продукт коллективного творчества». В проблематическом суждении соединение подлежащего со сказуемым и разъединение подлежащего от сказуемого выставляется просто как известное предположение.
2. Ассерторические: «S есть P». «Киев стоит на Днепре», «вода состоит из водорода и кислорода».
3. Аподиктические: «S необходимо должно быть P». Например, «две прямые линии не могут замыкать пространства».
Анализируя приведённые примеры, мы видим, что проблематическое суждение характеризуется некоторым ограничением связи между подлежащим и сказуемым (утверждается вероятность, возможность); об ассерторическом суждении связь подлежащего со сказуемым утверждается решительно, без колебания (утверждается действительность какого-либо факта); в аподиктическом суждении утверждение получает характер необходимости.
На первый взгляд различие между суждениями ассерторическими и аподиктическими не совсем ясно. Кажется, что оба они обладают одинаковой достоверностью и что поэтому между ними нет различия; на самом же деле между ними различие очень большое. Суждения ассерторические утверждают нечто действительно существующее, в этом смысле нечто вполне достоверное, но всегда можно мыслить и обратное тому, что утверждается в ассерторическом суждении; что же касается аподиктических суждений, то никоим образом нельзя мыслить противоречащих им суждений. Например, если я возьму ассерторическое суждение «Киев стоит на Днепре», я могу мыслить Киев стоящим не на Днепре, а, например, на Неве; если же я возьму аподиктическое суждение «две прямые линии не могут замыкать пространства», то я не могу мыслить иначе, я не могу мыслить, чтобы две прямые замыкали пространство. Аподиктическое суждение имеет характер необходимый. Другой пример аподиктических суждений: «если две величины равняются одной и той же третьей, то они равны между собой».
Эти три признака – возможность, действительность, необходимость – и характеризуют собой три вида указанных суждений, т.е. если в суждении выражается или возможность, или действительность, или необходимость, то получается или суждение проблематическое, или ассерторическое, или аподиктическое.
Но следует заметить, что некоторые логики отношение между аподиктическими и ассерторическими суждениями понимают несколько иначе. По их мнению, ассерторические суждения – это такие, в истинности которых мы убеждены, но только не знаем причины, почему так должно быть, как мы утверждаем. В аподиктических суждениях эта причина нам известна. Например, суждение «Юпитер имеет девять спутников» – ассерторическое. Суждение «скорость полёта ружейной пули должна постепенно уменьшаться» (именно вследствие сопротивления воздуха) – аподиктическое.
Вопросы для повторения
Как делятся суждения по количеству и по качеству? На какие четыре класса делятся суждения и как они обозначаются? Как различаются суждения по отношению между подлежащим и сказуемым? Какова схема суждений категорических, условных, разделительных? Как делятся суждения по модальности и какое между ними различие? Каково отношение между ассерторическими и аподиктическими суждениями?
Глава IX
Отношение между подлежащим и сказуемым. Объёмы подлежащего и сказуемого
Отношение между подлежащим и сказуемым. Мы видели, что суждения бывают обще-утвердительные, обще-отрицательные, частно-утвердительные и частно-отрицательные. Выясним отношение между подлежащим и сказуемым во всех этих классах суждений.
Суждения A. Возьмём обще-утвердительное суждение «все рыбы суть позвоночные» (все S суть P). В этом суждении мы утверждаем, что всякая рыба входит в объём класса позвоночных, другими словами, что в класс вещей, который мы обозначаем при помощи сказуемого «позвоночные», входит целиком класс вещей, обозначаемых подлежащим. Но так как в классе позвоночных кроме рыб есть ещё и другие животные, то объём класса позвоночных будет больше класса рыб. Если понятие S содержится в объёме понятия P, то символически мы можем это представить при помощи круга S, который находится внутри круга P. Поэтому те обще-утвердительные суждения, в которых объём подлежащего меньше объёма сказуемого, можно символически изобразить, как это представлено на рис. 10.
Суждения E. Возьмём обще-отрицательное суждение «ни одно насекомое не есть позвоночное». В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым; один класс находится вне другого класса. Мы в мышлении совершенно отделяем класс подлежащего от класса сказуемого. Символически отношение S к P в таких суждениях может быть обозначено посредством двух отдельно стоящих и не связанных друг с другом кругов (рис. 12).
Некоторые частно-утвердительные суждения можно символизировать иначе. Возьмём пример: «некоторые животные суть позвоночные». Если мы станем рассматривать объём понятий «животные» и «позвоночные», то увидим, что последнее понятие подчинено первому, т.е. в объём понятия «животные» входит как часть понятие «позвоночные». Поэтому символ такого частно-утвердительного суждения будет таков, как он изображён на рис. 14.
Суждения O. Возьмём частно-отрицательное суждение «некоторые книги не суть полезны». Это суждение означает, что некоторые книги не входят в класс полезных вещей, другими словами, некоторая часть S не входит в объём P. Если мы представим подлежащее и сказуемое в суждении O в виде кругов (рис. 15), то эти круги должны иметь и общие и не общие части, т.е. они должны пересекаться.
К некоторым суждениям класса O применим другой символ. Возьмём, например, суждение «некоторые змеи не имеют ядовитых зубов». Здесь опять понятие сказуемого подчинено понятию подлежащего. Так как «змеи, имеющие ядовитые зубы» (P), составляют только часть класса змей, то P входит как часть в объём понятия S (рис. 16).
Объёмы подлежащего и сказуемого. Теперь нам следует рассмотреть суждения с точки зрения объёма их подлежащих и сказуемых. Если мы будем рассматривать суждения с этой точки зрения, то увидим, что в некоторых суждениях мы берём подлежащее или сказуемое во всём объёме, а в других – не во всём. Если подлежащее и сказуемое берутся в суждениях во всём объёме, то говорят, что они распределены; если они взяты не во всём объёме, то говорят, что они не распределены.
В суждениях A подлежащее распределено, потому что в них предикат утверждается относительно всех представителей того или другого класса, но сказуемое не распределено, что легко можно видеть из вышеприведённого примера: «все рыбы суть позвоночные». В этом примере мы приписываем известное свойство, в данном случае принадлежность к известному классу, всем рыбам; что же касается позвоночных, то мы приобретаем знание только о некоторой части их, но не обо всех. Суждение Aпоэтому распределяет своё подлежащее, но не распределяет своего сказуемого.
Но в тех суждениях A, в которых подлежащее и сказуемое суть понятия равнозначащие, сказуемое взято во всём объёме. Например в суждении «все амальгамы суть ртутные сплавы».
В суждениях E и подлежащее, и сказуемое распределены. Если мы возьмём суждение «ни одно насекомое не есть позвоночное», то в этом суждении мы утверждаем нечто как обо всех насекомых, что они не суть позвоночные, так и обо всех позвоночных, что они не суть насекомые. Из этого суждения мы узнаём, что ни один из предметов, находящихся в сказуемом, не может быть найден между предметами, находящимися в подлежащем. Таким образом, обще-отрицательное суждение распределяет как подлежащее, так и сказуемое, потому что мы из него узнаём нечто как обо всём классе подлежащего, так и обо всём классе сказуемого.
В суждении I ни подлежащее, ни сказуемое не распределены.
Если мы возьмём пример: «некоторые книги полезны», то мы из него не вынесем никакого знания ни обо всём классе «книг», ни обо всём классе «полезных вещей». Из этого суждения мы только узнаем о некоторых книгах, что они полезны, но мы не узнаем, что входит во весь объём полезных вещей, т.е. мы не узнаем, какие вещи полезны. Другими словами, из данного суждения мы ничего не узнаем обо всём классе «полезных вещей». Мы об этом знаем из других источников, а не из данного суждения. Если же мы не узнаем ничего определённого относительно всего объёма сказуемого частно-утвердительного суждения, то это значит, что эти суждения не распределяют своего сказуемого.