Учебник логики

      Таким образом, закон противоречия требует, чтобы мы одной и той же вещи, в одно и то же время, в одном и том же отношении не приписывали противоречащих предикатов B и не-B.
       Закон исключённого третьего. Закон исключённого третьего формулируется следующим образом: «при двух суждениях, из которых одно утверждает то, что другое отрицает („A есть B“ и „A есть не-B“), не может быть третьего, среднего суждения».
      Закон исключённого третьего лучше всего можно объяснить, если сказать, что, согласно этому закону, о всяком качестве вещи мы можем только утверждать, что оно или принадлежит вещи, или не принадлежит; в этом случае не может быть ничего третьего, среднего, что-либо третье в этом случае исключается. Когда мы приписываем какой-либо вещи какой-либо предикат, то мы можем приписывать только или B, или не-B. Вещь должна быть или чёрной, или не-чёрной. Растения могут быть или хвойные, или не-хвойные; животные могут быть или позвоночные, или не-позвоночные; третьего ничего быть не может (tertium non datur).
       Закон достаточного основания. Четвёртый закон мышления называется «законом достаточного основания» (lexrationis sufficientis). Этот закон обыкновенно определяется так: «мы все должны мыслить на достаточном основании», т.е. всякая мысль, всякое суждение должно иметь определённое логическое обоснование. Ближе это можно так пояснить. Если у нас есть суждение, истинность которого для нас не непосредственно очевидна, то мы должны найти основание (ratio) для этого суждения, мы должны дать логическое обоснование его. Но что такое логическое обоснование?
      Мы видели при рассмотрении условных суждений, что называется основанием и что называется следствием, и потому для нас должно быть понятно, что значит, что «мысль должна иметь известное обоснование». Мы видели в первой главе, что все положения должны быть сводимы на непосредственно очевидные положения, такое сведение предполагает, что между суждениями есть связь такого рода, что одни суждения опираются на другие, обосновываются другими. Например, если мы говорим, что «погода изменится», потому что барометрическое давление падает, то суждение: «барометрическое давление падает» является основанием для суждения: «погода изменится». Если мы находим, что «треугольник имеет две равных стороны», то это суждение есть основание для суждения «два угла данного треугольника равны».
      Обыкновенно в логике основание и причина обозначаются одним и тем же термином ratio, но только основание называют ratio cognoscendi («основание познания»), а причину называют ratio fiendi («основание становления»). Чтобы видеть разницу между этими двумя ratio, возьмём пример. Я произношу суждение: «В комнате сделалось теплее». Логическое обоснование этого суждения может находиться в суждении: «ртуть термометра расширилась». Причинное обоснование теплоты комнаты получится в том случае, если мы скажем: «затопили печку, и оттого в комнате сделалось теплее».
       Формальный характер законов мышления. Рассмотренные нами законы мышления в логике имеют такое же значение, какое в математике имеют аксиомы. Они так же непосредственно очевидны, как эти последние, как, например, аксиомы: «целое больше части», «между двумя точками можно провести только одну прямую».
      Эти законы называются также формальнымизаконами мысли, потому что они не касаются содержания мысли. Закон тождества не указывает, какие именно представления, понятия, суждения должны оставаться тождественными; закон противоречия также не указывает, какие именно мысли не должны сами себе противоречить; закон исключённого третьего ничего не говорит, между какими именно противоречащими суждениями не может быть третьего, но они не говорят этого потому, что их утверждение справедливо по отношению ко всякому представлению, ко всякому суждению: всякая мысль должна подчиняться этим законам, совершенно так, как алгебраические формулы не показывают, в применении к каким числам они справедливы, и именно потому, что в них можно подставить какие угодно числа и величины.
 

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

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

Глава XII
О непосредственных умозаключениях

 
       Определение умозаключения. Теперь мы рассмотрим умозаключение, или рассуждение, которое представляет собой наиболее совершенное логическое построение. Умозаключение получается из суждений, и именно таким образом, что и в двух или больше суждений с необходимостью выводится новое суждение. Это последнее обстоятельство, именно выведение новогосуждения, особенно характерно для процесса умозаключения.
      Итак, умозаключение есть вывод суждения из других суждений, которые в таком случае называются посылками или предпосылками (praemissae). Вообще умозаключение является результатом сопоставления ряда посылок. Но есть вид умозаключений, основывающихся на одной посылке; это так называемые умозаключения в несобственном смысле, или умозаключения непосредственные. Например, у меня есть суждение: «ни один металл не есть сложное тело»; имея такое суждение, я могу сделать вывод, что «ни одно сложное тело не есть металл». Это есть непосредственное умозаключение. Умозаключение это есть потому, что, допустив одно суждение, мы из него выводим другое.
      В зависимости от числа посылок умозаключения делятся на две группы: 1) умозаключения в несобственном смысле, или непосредственные умозаключения; 2) умозаключения в собственном смысле. К этой последней группе относятся следующие виды умозаключений: 1) индукция, 2) дедукция, 3) аналогияи т.п.
       Непосредственные умозаключения. Непосредственные умозаключения делятся на следующие группы:
       I. Умозаключения о противоположности, которые в свою очередь делятся на пять групп:
      1. Умозаключение от подчиняющего к подчинённому (adsubordinatam). Мы знаем, что если дано обще-утвердительное суждение, например «все люди подвержены заблуждениям», то от истинности его мы заключаем к истинности частно-утвердительного: «некоторые люди подвержены заблуждениям». Как легко видеть, это есть умозаключение от суждения, подчиняющего к суждению подчинённому. Мы рассмотрели случай умозаключения от A к I; к этой же группе относятся умозаключения от E к O.
      2. Умозаключение от подчинённого к подчиняющему (ad subordinantem). Например, дано частно-утвердительное суждение «некоторые лошади суть животные плотоядные»; от ложности его заключаем к ложности обще-утвердительного: «все лошади суть животные плотоядные».
      3. Adcontradictoriam (A—O, E—I). От ложности обще-утвердительного суждения: «все люди читают газеты», заключаем к истинности частно-отрицательного: «некоторые люди не читают газет». Подобное же отношение возможно между суждениями E и I. (Перечислите, какие именно возможны случаи умозаключения ad contradictoriam.)
      4. Adcontrariam (A—E). От истинности обще-утвердительного суждения «все растения суть организмы» заключаем к ложности противного суждения: «ни одно растение не есть организм». Случаев умозаключения adcontrariam два: от истинности A к ложности E и от истинности E к ложности A.
      5. Ad subcontrariam (I—O). Дано частно-утвердительное суждение: «некоторые люди всеведущи»; от ложности того суждения заключаем к истинности частно-отрицательного: «некоторые люди не суть всеведущи».
      Обратимся к следующей группе непосредственных умозаключений, получающихся при изменении суждений; это изменение суждений называется превращением.
       II. Превращение(obversio). Этот процесс состоит в изменении формы суждений: утвердительные суждения превращаются в отрицательные, и наоборот; при этом смысл суждения не изменяется.
      Например, возьмём суждение, данное нам в утвердительной форме: «эти ученики прилежны». Это суждение можно превратить в равнозначащее ему суждение отрицательное. Для этого должно поставить перед связкой и сказуемым отрицание. Тогда у нас получится суждение: «эти ученики не суть не-прилежны».
      Отрицательное суждение превращается в равнозначащее ему утвердительное тем, что отрицание от связки переносят на сказуемое. Например, «ученики не суть прилежны»; превращение этого отрицательного суждения даёт утвердительное суждение: «ученики суть не-прилежны». Принято говорить, что второе суждение есть вывод из первого.
      Вот, например, превращения одних суждений в другие:
      Превращение A. Суждение A «все металлы суть элементы» превращается в суждение E: «все металлы не суть неэлементы», или «ни один металл не есть не-элемент», или «ни один металл не есть сложное тело».
      Превращение E. Суждение E «ни один человек не бывает совершенен» превращается в суждение A; «все люди суть несовершенны»,
      Превращение I. Суждение I «некоторые люди надёжны» превращается в суждение O: «некоторые люди не суть ненадёжны».
      Превращение O. Суждение O «некоторые люди не суть надёжны» превращается в суждение I: «некоторые люди суть ненадёжны».
      Таким образом, мы видим, что есть определённый закон превращения одних суждений в другие: A всегда превращается в E, E в A, I в O, O в I.
      Общая схема превращения:
      A: все S суть P -> E: ни одно S не есть не-P
      E: ни одно S не суть P -> A: все S суть не-P
      I: некоторые S суть P -> O: некоторые S не суть не-P
      O: некоторые S не суть P -> I: некоторые S суть не-P
      Третий класс непосредственных умозаключений называется обращением (conversio).
       III. Обращение(conversio). В этом процессе происходит перемещение подлежащего на место сказуемого, и наоборот.
      Попробуем обратить суждение A «все птицы суть животные» по только что указанному способу. Тогда получится суждение «все животные суть птицы», но это неверно, так как в класс животных входят и рыбы и млекопитающие; следовательно, есть животные, которые не суть птицы. Ошибка в этом обращении получилась вследствие того, что не принято в соображение то обстоятельство, что в обще-утвердительных суждениях сказуемое не распределено, а потому при обращении сказуемое нужно брать не во всём объёме. Поэтому суждение «все птицы суть животные» обращается в суждение «некоторые животные суть птицы». Необходимость изменения количества сказуемого в процессе обращения обще-утвердительного суждения можно сделать ясной при помощи схемы (рис. 10), которая указывает отношение объёмов подлежащего и сказуемого.

      Подлежащее «птицы» (S) составляет только часть объёма предиката P; поэтому при обращении предикат нужно взять не во всём его объёме. Такое обращение, когда суждение изменяет своё количество, называется обращением посредством ограничения( conversio per limitationemили per accidens). Таким образом, суждение A обращается в I.
      Но когда подлежащее и сказуемое обще-утвердительного суждения суть понятия равнозначащие, т.е. имеют одинаковый объём, то суждение после обращения сохраняет своё количество; тогда говорят, что обращение происходит чисто. Например, суждение «все обезьяны суть четверорукие» обращается в суждение «все четверорукие суть обезьяны». Такое обращение называется простым, или чистым, обращением ( conversio simplex).
      Суждение I обращается чисто. Например, суждение «некоторые металлы драгоценны» обращается в суждение «некоторые драгоценные вещества суть металлы».
      Суждение E обращается также чисто. Например, суждение «ни один честный свидетель не подкуплен» обращается в суждение «ни один подкупленный человек не есть честный свидетель».
      Но возьмём суждение O: «некоторые люди не суть богаты»; по обращении должно было бы получиться: «все богатые не суть люди». Но это не может быть потому, что в обращённом суждении сказуемое взято во всём объёме, между тем как в обращаемом суждении оно было взято не во всём объёме. Частно-отрицательное суждение вообще не обращаемо, и именно оттого, что в обращённом суждении должно получиться отрицательное суждение, следовательно, сказуемое в нём должно быть распределено, между тем в обращаемом суждении оно в качестве подлежащего частного суждения не распределено.
      Часто говорят, что эта теория обращений не имеет никакого смысла, но в действительности она имеет практическое значение. При обращении обще-утвердительных суждений у нас всегда имеется стремление обращать их без ограничения. Например, когда произносят суждение «все великие люди имеют большие черепа», то есть тенденция думать также, что «все, имеющие большой череп, суть великие люди».
       IV. Противопоставление. Четвёртый класс непосредственных умозаключений называется противопоставлением. Это собственно есть соединение превращения с обращением. В процессе противопоставления мы сначала производим превращение какого-либо суждения, а затем превращённое суждение обращаем. Например, возьмём суждение A: «все металлы суть элементы», произведём превращение, получится суждение: «все металлы не суть не-элементы». Обращая же это суждение, получим E: «все не-элементы не суть металлы», или, что то же, «все сложные тела не суть металлы».
      Возьмём противопоставление обще-отрицательного суждения E «ни один лентяй не заслуживает успеха». Это суждение превращается в суждение: «все лентяи суть не заслуживающие успеха». Это суждение в свою очередь при обращении даёт: «некоторые люди, не заслуживающие успеха, суть лентяи». Наконец, возьмём противопоставление частно-отрицательного суждения O: «некоторые несправедливые законы не отменены». Это суждение превращается в I: «некоторые несправедливые законы суть не-отменённые законы»; а это суждение при обращении даёт: «некоторые не отменённые законы суть несправедливы». Суждение I, очевидно, не допускает противопоставления.
      Таблица противопоставления
       A: все S суть P -> ни одно не-P не есть S
       E: ни одно S не есть P -> некоторые не-P суть S
       O: некоторые S не суть P -> некоторые не-P суть S
       I: некоторые S суть P
 

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

      Как определяется умозаключение? Какие виды умозаключений мы различаем?
      Какие умозаключения называют непосредственными? Какие умозаключения называются умозаключениями подчинения? Противоположности? Что такое превращение? Как превращаются суждения A, E, I, O? Что такое обращение? Как обращаются суждения A, E, O, I? Что такое противопоставления?

Глава XIII
Дедуктивные умозаключения. Силлогизм

 
       Определение силлогизма. Мы рассмотрели непосредственные умозаключения, теперь перейдём к рассмотрению посредственных умозаключений и из них прежде всего рассмотрим дедуктивные умозаключения. Дедуктивные умозаключения принимают формы силлогизма. Силлогизм есть такая форма умозаключения, в которой из двух суждений необходимо вытекает третье, причём одно из двух данных суждений является обще-утвердительным или обще-отрицательным. Силлогизм, таким образом, представляет собой умозаключение от общего. Полученное суждение ни в коем случае не будет более общим, чем суждения, из которых оно выводится.
      Например, нам даются два суждения:
      Все растения суть организмы.
      Сосны суть растения.
      Из них следует, что «сосны суть организмы».
      Этот пример показывает, что, если нам даются два суждения, из них необходимо получается новое суждение. Мы не входим в рассмотрение того, истинны ли эти суждения или нет, но раз только мы допустим их, то тотчас же необходимо следует новое суждение.
       Части силлогизма. Данные суждения называются предпосылкамиили посылками(praemissae), а новое суждение, которое получается из сопоставления посылок, называется заключением(conclusio). Те понятия, которые входят в заключение и предпосылки, называются терминами (termini). Подлежащее заключения («сосны») называется меньшим термином(terminus minor), сказуемое заключения («организмы») называется большим термином(terminus major), а термин «растение», который не входит в заключение, называется средним термином(terminus medius). Обозначение, терминов большими или меньшими находится зависимости от того, какой объём им присущ в одном из типичных случаев силлогистического вывода, как в только что приведённом. Самый больший объём приходится на долю сказуемого («организмы»), самый меньший – на долю меньшего термина, подлежащего заключения («сосны»), а средний – на долю среднего термина («растения»), который не входит в заключение. Это наглядно обнаруживается, если изобразить отношение между терминами схематически. На рис. 19 S обозначает меньший термин, M – средний, P – больший.

      Средний термин называется средним также потому, что он служит посредствующим связующим элементом между большим и меньшим терминами. Средний термин служит для сравнения большего термина с меньшим. Сами по себе эти термины не могут быть сравниваемы. Сравнение может происходить через посредство среднего термина. Мы не могли бы связать термин «сосны» с термином «организмы», если бы у нас не было термина «растения», который связывается, с одной стороны, с термином «организмы», с другой стороны, с термином «сосны» и, таким образом, служит связующим звеном между термином «сосны» и термином «организмы».
      Суждение, в которое входит больший термин, называется большей посылкой; суждение, в которое входит меньший термин, называется меньшей посылкой.
       Форма и содержание силлогизма. В силлогизме нужно отличать содержание от формы. Содержание – это термины, которые имеются налицо. Форма есть связь, которая придаётся нами терминам посылок. В силлогизме мы можем не обращать никакого внимания на истинность или ложность посылок. Для нас важно только сделать правильный вывод, совершить правильное умозаключение, правильно связать больший термин с меньшим, а это и есть форма силлогизма. Поэтому иногда посылки могут быть ложными, а заключение будет всё-таки истинным, как это можно видеть из следующего силлогизма, посылки которого состоят из очевидно ложных суждений:
      Львы суть травоядные.
      Коровы суть львы.
      Коровы суть травоядные.
       Аксиома силлогизма. Силлогистическое умозаключение таково, что раз мы допустили посылки, то из них необходимо будет вытекать заключение. Но почему же происходит то, что при наличности известных посылок заключение вытекает из них необходимо? Такого рода отношение между посылками и заключением объясняется следующим положением: «если одна вещь находится в другой, а эта другая находится в третьей, то первая находится в третьей», или «если одна вещь находится в другой, а эта другая находится вне третьей, то и первая также находится вне третьей». Это положение, которое называется аксиомой силлогизма, можно, иллюстрировать при помощи следующей схемы:

      Если A находится в B, а B находится в C, то, следовательно, A находится в C. Далее, если A находится в B, но B находится вне C, то A также находится вне C.
      Наиболее общая формула этой аксиомы называется в логике dictum de omni et de nullo. Полное выражение этой аксиомы будет: «quidquid de omni valet, valet etiam de quibusdam et de singulis. Quidquid de nullo valet, nec de quibusdam valet, nec de singulis». Смысл этой аксиомы заключается в следующем: всё, что утверждается относительно целого класса, утверждается и относительно каждой вещи, которая содержится в этом классе, и наоборот: всё, что отрицается относительно целого класса, отрицается относительно всего, что содержится в этом классе. Это положение называется аксиомой, потому что оно очевидно; аксиомой же силлогизма оно называется потому, что на нём основывается необходимость вывода заключения силлогизма из данных предпосылок.
       Правила силлогизма. Рассмотрим, какие правила мы должны соблюсти при построении силлогизма, чтобы он был правилен, или, другими словами, каким условиям должен удовлетворять силлогизм, чтобы заключение было правильно. Первое правило:
       1. Во всяком силлогизме должно быть не менее и не более трёх терминов.
      Если даётся более трёх терминов, то силлогистического соединения получиться не может. Если мы возьмём такой пример:
      Все ораторы тщеславны.
      Цицерон был государственный человек.
      то в данных двух суждениях четыре термина, и вывода сделать нельзя. Если бы второе суждение было: «Цицерон оратор», то можно было бы сделать вполне определённый вывод, потому что тогда в силлогизме было бы три термина.
      Иногда в силлогизме бывает четыре термина, а на первый взгляд кажется, что их только три. Это происходит вследствие двусмысленности терминов. Вот пример:
      Лук есть оружие дикарей.
      Это растение есть лук.
      Это растение есть оружие дикарей.
      Ошибка в этом случае происходит вследствие того, что средний термин в большей посылке употреблён не в том же смысле, в каком он употреблён в меньшей посылке. Таким образом, в силлогизме вместо трёх терминов получается четыре. Такая погрешность называется quaternio terminorum (учетверение терминов).
      Второе правило силлогизма формулируется следующим образом:
       2. Во всяком силлогизме должно быть не более и не менее трёх суждений.
      Это оттого, что при трёх терминах может быть только три суждения. В самом деле, если у нас есть три термина, два из которых должны входить в состав того или другого суждения, причём одна и та же пара терминов не должна повторяться, то ясно, что при трёх терминах можно получить только три суждения.
       3. Средний термин должен быть взят по крайней мере в одной из посылок во всём объёме. Для пояснения этого правила возьмём пример:
      Все французы суть европейцы.
      Все парижане суть европейцы.
      Из этих двух посылок нельзя сделать никакого заключения. Но если бы средний термин мы взяли хоть в одной посылке во всём объёме, то заключение было бы возможно сделать. Например:
      Все французы суть европейцы.
      Все европейцы суть грамотны.
      Следовательно, все французы суть грамотны.
      Возьмём ещё пример:
      Все натуралисты наблюдательны.
      N наблюдателен.
      Следовательно, N натуралист.
      Так как термин «наблюдателен» взят не во всём объёме, то в класс наблюдательных кроме натуралистов могут входить и историки, и художники, и т.п. Следовательно, N может быть наблюдателен и в то же время находиться вне круга натуралистов, как это можно видеть на прилагаемой схеме (рис. 20).

      Если бы было сказано:
      Все наблюдательные люди суть натуралисты.
      N наблюдателен.
      Следовательно, N натуралист. –
      то такой вывод был бы правилен.
      В первом случае средний термин ни в одной из посылок не взят во всём объёме. Вследствие этого получается неопределённость. А именно: может случиться, что мы один раз берём одну часть среднего термина, а другой раз – другую, как это можно видеть на схеме. Между тем, если средний термин взят хоть один раз во всём объёме, то мы и в большей и в меньшей посылке будем иметь дело с одним и тем же.
      Если вообще средний термин взят хоть в одной посылке во всём объёме, тогда имеется налицо то, что связывает больший термин с меньшим термином. Если же он не входит ни в большую посылку, ни в меньшую во всём объёме, то он не может выполнять своего назначения – быть соединительным звеном, потому что в таком случае больший или меньший термин относятся к чему-либо неопределённому, как в приведённом выше случае: N может быть внутри круга натуралистов, но может быть и вне этого круга. Вследствие этого не может получиться определённого заключения. Поэтому средний термин хоть в одной из посылок должен быть взят во всём объёме.
       4. Термины, не взятые в посылках во всём объёме, не могут быть и в заключении взяты во всём объёме.
      Для пояснения этого правила возьмём следующий пример:
      Все преступники заслуживают наказания.
      Некоторые англичане суть преступники.
      Все англичане заслуживают наказания.
      Очевидная ошибка в этом силлогизме получается вследствие того, что мы в заключении термин «англичане» берём во всём объёме, между тем как в посылке этот термин взят не во всём объёме. Мы бы сделали правильное заключение, если бы сказали: «некоторые англичане заслуживают наказания».
      Возьмём другой пример, где ошибка не так очевидна:
      Все историки беспристрастны.
      Натуралисты не суть историки.
      Натуралисты не суть беспристрастны.
      Чтобы видеть, правилен ли этот вывод, изобразим силлогизм символически (рис. 21).

      Историки (M) находятся в P (беспристрастные). О натуралистах сказано, что они не суть историки. Мы, следовательно, не имеем права помещать их в круге M; поэтому натуралистов мы можем поместить где угодно, лишь бы не в круге M, а если так, то, помещая S вне M, мы можем его поместить всё-таки в круге P. Вследствие этого может оказаться, что «натуралисты беспристрастны». В большей посылке термин «беспристрастный» взят не во всём объёме, так что историки должны составлять только часть тех, которые беспристрастны, а потому мы не имеем права исключать из числа беспристрастных и натуралистов. Ошибка в этом силлогизме получилась оттого, что в большей посылке термин «беспристрастный», как сказуемое обще-утвердительного суждения, взят не во всём объёме, между тем как в заключении, как сказуемое обще-отрицательного суждения, он взят во всём объёме. Другими словами, мы один раз говорим не обо всех, а другой раз обо всех. Такая ошибка называется ошибкой illiciti processi, недозволительное расширение большего термина, как в данном примере; недозволительное расширение меньшего термина мы имели в первом примере.
       5. Из двух отрицательных суждений нельзя вывести никакого заключения. Возьмём пример, чтобы пояснить это правило:
      Химия не есть гуманитарная наука.
      Математика не есть химия.
      Что следует из этих посылок? Обозначим (рис. 22) «химия» посредством M, «гуманитарные науки» – посредством P, «математика» – посредством S:

      M должно быть вне P, S должно быть вне M. Как легко видеть, средний термин в этом силлогизме не связывает больший термин с меньшим, потому что он находится вне большего и меньшего терминов. Если M не соединено с P, а S не соединено с M, то S не может быть соединено с P, т.е. через средний термин нельзя установить никакой связи между большим и меньшим терминами.
       6. Если одна из посылок отрицательна, то заключение должно быть также отрицательно, и наоборот, для получения отрицательного заключения необходимо, чтобы одна из посылок была отрицательна. Возьмём пример:
      Ни одно M не есть P.
      Все S суть M.
      Раз P находится вне среднего термина M, то, очевидно, S, которое находится в M, не свяжется с P, а потому получится отрицательное заключение.
      Таким образом, если у нас есть две посылки, из которых одна отрицательна, то мы не можем сделать утвердительного заключения.
       7. Из двух частных суждений нельзя сделать никакого заключения.
      Это ясно из предыдущих правил. Предположим, что эти частные суждения будут I и I; тогда окажется, что средний термин в обеих посылках будет не распределён как подлежащее и сказуемое частно-утвердительного суждения. Если мы будем стараться вывести заключение, то мы нарушим третье правило. В самом деле, пусть эти посылки будут:
      Некоторые M суть P.
      Некоторые S суть M.
      В обоих этих суждениях средний термин не распределён. Следовательно, заключение не следует необходимо. Возьмём суждения I и O, например:
      Некоторые M суть P.
      Некоторые S не суть M.
      Так как здесь одна посылка отрицательная, то и сказуемое P заключения должно быть распределено, между тем как в данных посылках P как сказуемое частно-утвердительного суждения не распределено. Следовательно, попытка сделать заключение нарушала бы правило 4.
      Наконец, правило 8 формулируется так:
      8. Если одна из посылок есть суждение частное, то и заключение также должно быть частным.
      Если мы желаем получить общее заключение в том случае, когда в силлогизме одна из посылок частная, то нарушается третье или четвёртое правило.
      В самом деле, пусть мы имеем силлогизм:
      Все M суть P.
      Некоторые S суть M.
      Все S суть P.
      В этом силлогизме нарушается правило 4. Или пусть мы имеем силлогизм:
      Некоторые M суть P. Все S суть M.
      Все S суть P.
      В этом силлогизме нарушается правило 3.
 

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

      Как определяется силлогизм? Какие части мы различаем в силлогизме? Какое различие между формой и содержанием силлогизма? В чём заключается аксиома силлогизма? Перечислите правила силлогизма и объясните при помощи примеров их применение.

Глава XIV
Силлогизм. Фигуры и модусы силлогизма

 
       Возможные сочетания суждений в силлогизме. В предыдущей главе мы рассмотрели условия правильности силлогизмов. Рассмотрим теперь на примерах приложение этих правил. Мы будем брать по три суждения, которые могли бы составить силлогизм. Эти суждения должны быть или A, или I, или O, или E. Причём само собой разумеется, что для образования силлогизма они могут комбинироваться самыми различными способами. Например, мы могли бы иметь сочетание суждений AAO, EAI и т.п. Но мы должны исследовать, пользуясь вышеизложенными правилами, какие из этих сочетаний или соединений дают правильные силлогизмы.