Задача деления. От процесса определения отличается процесс деления (divisio). Различие между ними заключается в том, что определение раскрывает содержание понятия, а деление раскрывает его объём. Задача деления заключается в том, чтобы указать все виды, совокупность которых составляет объём данного понятия. Так, например, понятие «треугольник» мы могли делить следующим образом:
      Треугольник (A):
      • Прямоугольный (B)
      • Остроугольный (C)
      • Тупоугольный (D)
      У нас было понятие «треугольник» (A), и мы перечислили все частные понятия: B, C и D, входящие в объём этого более общего понятия, которое относится к ним, как род к своим видам.
      То понятие, объём которого мы раскрываем, называется делимым(totum dividendum), а те виды, которые получаются от деления, называются членами деления(membra divisionis).
       Основание деления. Когда мы производим деление рода на виды, то мы обращаем внимание на те признаки, которыми обладают одни виды и не обладают другие. Тот признак, который даёт нам возможность разделить род на виды, называется основанием деления(fundamentum divisionis). Основанием вышеприведённого деления понятия «треугольник» была величина углов в треугольнике. Но можно, это же самое понятие делить по какому-нибудь другому основанию, например положить в основание деления отношение сторон треугольника по величине. Тогда деление представится в следующем виде:
      Треугольник (A):
      • Равносторонний (B)
      • Равнобедренный (C)
      • Разносторонний (D)
      Процесс несколько усложняется, если полученные от деления виды в свою очередь делить на подвиды (этот процесс называется подразделением). Так, например, вид понятия «треугольник», именно тупоугольный треугольник (или какой-нибудь другой), можно в свою очередь подразделить на подвиды: равнобедренный и разносторонний; разумеется, деление и подразделение будут относиться к одному понятию: дихотомия. В процессе деления иногда употребляется приём, который называется дихотомией и который заключается в деления данного понятия A на противоречащие понятия B и не-B. Берём какое-нибудь понятие, которое нам надо разделить, например понятие «человек»; выделяем в одну группу какой-нибудь из видов, заключающихся в этом понятии, например вид «славянин», а в другую группу – «не-славянин» – относим все прочие виды. Затем с этим вторым отрицательным понятием поступаем точно таким же образом: подразделяем понятие «не-славянин» на две группы; в одну из них относим, например, подвид «германец», а в другую – все прочие остающиеся подвиды, соединяя их в одно понятие «не-германец»; затем с этим понятием поступаем точно так же, как и с предыдущим, и продолжаем наше деление до тех пор, пока оно не окажется исчерпанным.
      Человек:
      • Славянин
      • Не-славянин:
      • Германец
      • Не-германец
      И т.д.
      Этот приём имеет тот недостаток, что оставляет каждый раз крайне неопределённой часть объёма делимого понятия, именно ту часть, которая обозначается частицей не, но, с другой стороны, значительно облегчает самый процесс деления, потому что придаёт ему исчерпывающий характер, почему его иногда называют исчерпывающим делением. Что оно имеет исчерпывающий характер, можно объяснить при помощи следующего примера. Если мы разделим всех обитателей Европы и Азии на расы – белую и жёлтую, то может оказаться, что некоторые племена не подойдут ни под одну из этих рас и мы не будем в состоянии поместить их в нашем делении, но этого не будет в том случае, если мы будем делить дихотомически.
      Обитатели земного шара:
      • Белые
      • Не-белые:
      • Жёлтые
      • Не-жёлтые
      При таком делении всякое новое племя должно будет войти в последнюю группу, которая не будет ни белой, ни жёлтой. В этом заключаются преимущества дихотомического деления.
       Правила деления. Деление должно подчиняться следующим правилам:
       1. Деление должно быть адекватно, или соразмерно. Это значит, что если мы перечисляем по какому-нибудь основанию или принципу виды данного родового понятия, то мы должны точно перечислить все виды, не уменьшая и не увеличивая их количества, т.е. сумма видов должна равняться делимому роду.
      Если при делении мы не перечислим всех видов, т.е. если эта сумма будет меньше, то у нас получится деление неполное; если же мы в объём делимого понятия введём виды, которые в нём на самом деле не содержатся, то у нас получится деление слишком обширное, т.е. указанная сумма будет больше. Например, положив в основание деления понятия «треугольник» величину его углов, мы могли бы получить такое деление:
      Треугольник:
      • Остроугольный
      • Тупоугольный
      Ясно, что это деление неполное, ибо здесь не хватает одного члена деления, потому что в объёме понятия «треугольник» находится ещё один вид, который при делении нами пропущен, именно прямоугольный треугольник.
      Неполным было бы деление людей на порочных и добродетельных, деление научных теорий на истинные и ложные, потому что в этих делениях упускаются промежуточные ступени. Кроме людей порочных и добродетельных есть люди, о которых нельзя сказать, что они порочны, но нельзя также сказать, что они добродетельны; кроме истинных и ложных теорий существуют ещё теории частью истинные и частью ложные.
      Обратная ошибка будет получаться в том случае, если мы, деля какое-либо понятие, вводим в его объём такой вид, который не входит в действительности в его объём. Если бы мы, например, разделили понятие «дерево» на «дуб», «ель», «фиалка», то очевидно, что вид «фиалка» относится к объёму совсем другого понятия и что при делении понятия «дерево» он попал в число членов его неправильно.
       2. Члены деления должны исключать друг друга. Это требование станет ясным, если мы возьмём для примера, следующее деление:
      Книги:
      • Французские
      • Немецкие
      • Словари и т.д.
      Это деление неправильно, ибо понятие, например, «французские книги» и понятие «словари» не исключают друг друга: книга может быть и французской и словарём в одно и то же время. Или возьмём в пример также другое деление понятия «книги»:
      Книги:
      • Полезные
      • Понятные
      • Интересные и т.д.
      Здесь один вид книг не исключает из своего объёма других видов: полезная книга может быть в одно и то же время и понятной и интересной. Ошибки, как в первом, так и во втором из приведённых примеров деления произошли потому, что не было выдержано третье требование правильного деления, а именно:
       3. Деление должно иметь одно основание. При делении понятий чаще всего повторяется ошибка, заключающаяся в том, что в процессе деления меняется основание деления.
      Произведём деление народов Европы:
      Народы Европы:
      • Магометане
      • Христиане
      • Французы
      • Немцы и т.д.
      Это деление неправильно, ибо мы, взяв сначала основанием деления понятие «религия», затем меняем это основание на другое, именно на понятие «национальность».
      Или другой пример:
      Прямолинейные фигуры:
      • Треугольники
      • Параллелограммы
      • Прямоугольники
      • Многоугольники
      Это деление также неправильно, так как у нас здесь скрещиваются такие различные основания деления, как число сторон, направление сторон, величина углов. Такое деление называется перекрёстным.
      Итак, третье условие правильности деления заключается в том, чтобы при последовательном перечислении видов делимого понятия было выдержано одно основание деления. Но следует заметить, что одно основание деления должно быть выдержано только при первом делении понятия; уже при вторичном делении, т.е. при подразделении, основание деления должно измениться. Так, например, если мы разделили понятие «треугольник», взяв основанием деления величину углов, на такие виды, как остроугольный, прямоугольный и тупоугольный, то, желая далее продолжать деление какого-нибудь из этих членов деления, мы уже должны основание деления изменить. Так, понятие «остроугольный треугольник» мы можем делить ещё далее, если возьмём основанием деления уже не величину углов, а отношение сторон по величине.
      Треугольник:
      1) Тупоугольный
      2) Прямоугольный
      3) Остроугольный:
      а) равносторонний
      б) равнобедренный
      в) разносторонний
       4. Деление должно быть непрерывным, т.е. при делении какого-либо понятия нужно переходить к ближайшему низшему роду, в противном случае будет получаться то, что называется скачком в делении. Если бы мы понятие «природа» разделили на 1) «животные», 2) «растения», 3) «минералы», то в этом делении был бы слишком внезапный переход от понятия «природа» к понятиям «минералы», «животные». Чтобы исправить ошибку, следует вставить между понятием «природа» и членами вышеприведённого деления ещё два посредствующих звена.
      Именно: понятия «мир неорганический» и «мир органический». Тогда деление приняло бы следующий вид:
      Природа:
      Мир органический:
      • животные
      • растения
      Мир неорганический:
      • минералы и проч.
 

Вопросы для повторения

      Какова задача деления? Что называется делимым понятием? Что называется членами деления? Что такое основание деления? Что такое подразделение? Что такое дихотомия? Его преимущества и недостатки. Перечислите правила деления. Приведите примеры ни каждое правило и укажите применение каждого правила.

 
       Познание и суждение. Если бы у нас были одни только представления и понятия, но не было бы их соединения или связи, то могли ли бы мы сказать, что у нас есть познание? Конечно, нет. Познание может быть только в том случае, если мы имеем дело с истинностью или ложностью; а вопрос об истинности или ложности возникает только тогда, когда между понятиями устанавливается известная связь; это бывает именно тогда, когда мы судим о чём-нибудь. Например, когда я произношу слово «дом», то в понятии, выражаемом этим словом, нет ничего ни истинного, ни ложного. Когда же я говорю «дракон существует», «дракон имеет крылья», то я утверждаю нечто истинное или ложное. Следовательно, об истинности и ложности может быть речь только в том случае, когда мы имеем дело с суждением. Суждение всегда имеет дело с какой-либо объективной реальностью.
      Суждение есть известное умственное построение; будучи выражено в словах, оно называется предложением.
       Грамматический анализ предложения. В предложении мы всегда высказываем что-нибудь относительно чего-нибудь. То, относительно чего мы высказываем, называется подлежащим, субъектом, а то, что мы о нём высказываем, называется предикатом, сказуемым. Типом простого предложения является предложение «A есть B», «A не есть B». В этих предложениях A есть субъект (subjectum), B есть предикат (praedicatum); «есть» и «не есть» называется связкой(copula), потому что она служит для связывания подлежащего со сказуемым. Подлежащее обыкновенно обозначается символом S, а сказуемое – символом P (начальные буквы слов subjectum, praedicatum).
      Следует заметить, что, когда мы говорим о суждении, то мы имеем в виду логическую точку зрения, когда же мы говорим о предложении, то мы имеем в виду грамматическую точку зрения.
       Форма суждений. Суждения, каковы бы они ни были, всегда представляют собой соединение субъекта с предикатом, но они видоизменяются в зависимости от изменения субъекта, предиката и связи между ними. Поэтому нам для ознакомления с возможными формами суждений следует рассмотреть возможные изменения субъекта, предиката и связи между ними.
       I. Прежде всего рассмотрим особенность суждений в зависимости от изменения субъекта.
      Субъект может быть или определённым или неопределённым. Суждения с неопределённым субъектом суть так называемые безличные суждения, например «светает», «мне скучно», «грустно», «больно». Между суждениями с определённым субъектом мы отличаем суждения единичные, частные и общие. Единичными суждениями называются такие, в которых подлежащим является какое-либо индивидуальное понятие, например «Ньютон открыл закон тяготения». Частным суждением называется такое, в котором подлежащим суждения является понятие, взятое в части своего объёма, например суждение «некоторые S суть P». Общие суждения – это те, в которых подлежащее служит для выражения класса вещей или явлений, например, «пауки суть членистоногие».
       II. Суждения по формам предиката можно разделить на повествовательные, описательные и объяснительные. Надо заметить, что субъект всегда является выражением понятия вещи, предмета, события, между тем как предикат служит для обозначения тех изменений, которым может подвергаться вещь.
      Вещь мы рассматриваем как нечто пребывающее, постоянное, отличающееся от своих признаков именно тем, что она остаётся относительно неизменной, в то время как эти последние изменяются. Это пребывающее принято называть субстанцией, а то, что в нём изменяется, принято называть акциденцией. Акциденция может выступать в качестве или состояния, или свойства; в этом смысле предикат выражает или состояние вещи, или свойство какой-либо вещи, но иногда он может выражать также и вещь.
      В зависимости от этих особенностей предиката и суждения могут принимать только что указанные формы.
      a) Повествовательные суждения содержат в своём предикате высказывание относительно событий, состояний, процессов или деятельности; предикат здесь всегда является понятием состояния, причём о повествуемых вещах высказываются состояния по преимуществу скоропреходящие. Эти суждения действительны только для определённого промежутка времени. Например, «Цезарь перешёл Рубикон», «роза в нашем саду цветёт», «этот огонь горяч». Эти суждения можно назвать повествовательными, потому что они употребляются по преимуществу в рассказах.
      b) Описательные суждения. В описательных суждениях одному или многим предметам приписывается какое-нибудь свойство или множество свойств, причём имеются в виду более или менее постоянные свойства. Субъектом всегда является какой-либо определённый предмет или вещь. Например, в суждении «огонь горяч» предикат выражает понятие свойства или признака субъекта. То же самое следует сказать относительно предикатов в следующих суждениях: «снег бел», «движения паровоза быстры», «роза красива», «кит дышит лёгкими», «небо голубое». Обозначение суждений этого рода описательными происходит вследствие того, что они применяются по преимуществу в описаниях.
      с) Объяснительное суждение подводит какую-либо вещь под родовое понятие, причём в этом случае предикат выражает понятие вещи. Например, «золото есть металл», «кит есть млекопитающее», «это есть железо», «горение есть химический процесс», «парабола есть коническое сечение».
       III. Наконец, третий класс суждений – это те суждения, в которых выражается определённое отношение между понятиями подлежащего и сказуемого. В них мы отличаем:
      a) Суждения тождества. В суждениях этого рода понятия субъекта и предиката имеют один и тот же объём, т.е. в них подлежащее и сказуемое суть понятия равнозначащие. Например, «всякий равносторонний треугольник есть равноугольный треугольник», «Ломоносов был крупнейшим теоретиком русского литературного языка». В математике часто применяются суждения, выражающие тождество; именно сюда относятся суждения, которые выражаются уравнениями. Например,
      (a + b)(a + b) = aa + 2ab + bb;
      b) Суждения подчинения совпадают с объяснительными суждениями. Здесь понятия субъекта и предиката не являются тождественными, так как их объёмы отличаются друг от друга. Именно здесь понятия с менее широким объёмом подчиняются понятию с более широким объёмом. Поэтому подобные суждения могут быть названы суждениями подчинения. Например, «солнце есть неподвижная звезда», «это есть правильный пятиугольник», «собака есть домашнее животное».
      c) Суждения отношения пространства, времени и причинности. В предложении «дом находится на улице» говорится об известном пространственном отношении между «домом» и «улицей»; «находящийся на улице» образует содержание предиката. В суждении «Александр Македонский жил до нашей эры» предикатом является «жил до нашей эры» и выражает собой временное отношение. «Солнце производит теплоту» (суждение причинности).
       Суждения существования. Если мы возьмём какое-нибудь суждение, в котором относительно S высказывается какое-либо P, то в таком суждении мы по большей части не утверждаем прямо, что S существует вне человеческого мышления, потому что в этом случае только устанавливается известноелогическое отношение между S и P. Если мы, например, возьмём суждение «ни одна часть окружности не есть прямая», то мы не ставим вопроса о том, существует ли что-либо вроде круга в строго геометрическом смысле. Если бы у нас даже не было убеждения в том, что такого рода круги существуют, то всё-таки мы могли бы произнести указанное суждение, потому что в нём мы только устанавливаем известное отношение между подлежащим и сказуемым. Наоборот, такие суждения, как «мир существует», «солнце существует», «существует любовь к родине, которая способна на великие жертвы», «существуют антиподы», имеют только цель утверждать бытие или существование логического субъекта. Такие суждения, которые приписывают понятию субъекта только лишь существование, называются суждениями существования, или экзистенциальными суждениями. Легко видеть, что слово «есть» в этих суждениях является не связкой, а предикатом и обозначает «существует».
       Аналитические и синтетические суждения. Суждение, в котором мы относительно субъекта высказываем нечто такое, что в нём уже содержится, называется аналитическим. Например, в подлежащем суждения «всякое тело протяжённо» признак протяжённости уже содержится. Мы не можем мыслить понятие «тело» без того, чтобы не мыслить его протяжённым. Поэтому если мы говорим, что тело протяжённо, то мы только раскрываем, анализируем то, что уже содержится в подлежащем. Оттого само суждение называется аналитическим.
      От аналитических суждений отличаются суждения, в которых предикат не находится в содержании субъекта, в которых предикат привносит нечто новое к содержанию субъекта. Такие суждения называются синтетическими. В них не раскрывается содержание подлежащего, а присоединяется нечто новое. Эти суждения называются также суждениями, расширяющими познание, между тем как суждения аналитические называются суждениями, объясняющими познание.
      Существовало мнение, что различие между суждениями синтетическими и аналитическими имеет абсолютный характер, т.е. что некоторые суждения имеют всегда только аналитический характер, а другие суждения имеют только синтетический характер. На самом же деле, если рассматривать суждения с точки зрения их происхождения, то различие между синтетическими суждениями и аналитическими нужно считать относительным, потому что иногда признаки, которые мы считаем связанными аналитически, с действительности бывают связаны синтетически. Например, если мы произносим суждение «лев есть животное плотоядное», то это суждение должно быть признано, конечно, аналитическим, потому что признак плотоядности уже содержится в понятии «лев». Но это суждение является аналитическим теперь, когда мы уже хорошо знакомы с содержанием понятия «лев». Когда же мы не были знакомы с содержанием понятия «лев», то это суждение имело характер синтетический, потому что тогда признак плотоядности присоединялся к понятию «лев». От постоянного совместного употребления понятия «лев» с признаком плотоядности это суждение сделалось аналитическим.
      В английской логике этому разделению суждений на аналитические и синтетические до некоторой степени соответствует разделение предложений на словесные и реальные. Дж. С. Милль следующим образом разъясняет различие между словесными предложениями и реальными. Словесные предложения – это те, в которых содержание предиката заключается частью или целиком в содержании субъекта; словесное предложение утверждает о вещи только то, что мы уже предполагали, когда мы произносили название этой вещи; поэтому словесные предложения только раскрывают понятие подлежащего. Например, предложение «человек есть животное» есть предложение словесное, потому что понятие «животное» входит частью в содержание понятия «человек». Из этого ясно, что словесные предложения не утверждают чего-либо о вещах, но они нам дают знать только лишь о значении имён. Реальные предложения – это те, в которых содержание предиката не составляет никакой части содержания субъекта. Предложение «три угла треугольника, вместе взятые, равны двум прямым» есть предложение реальное, потому что понятие субъекта (три угла треугольника) не содержит в себе понятия предиката (равенство двум прямым).
      Но кроме приведённой в этой главе классификации суждений существует ещё одна классификация, с которой нам необходимо ознакомиться, потому что она лежит в основе всех дальнейших логических построений.
 

Вопросы для повторения

      Какое существует отношение между познанием и суждением? Какое различие между суждением и предложением? Что кладётся в основу деления суждения? Какие существуют суждения в зависимости от изменения субъекта и какое между ними различие? Какие существуют суждения в зависимости от изменения предиката и какое между ними различие? Какие существуют суждения отношения? Какие суждения называются суждениями существования? Какое различие между аналитическими и синтетическими суждениями?

 
       Деление суждений. В логике принято делить суждения с четырёх точек зрения: 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,