§ 791. Не является дилеммой и следующее —
Если А есть В, то либо С есть D, либо Е есть F. Ни С не есть D, ни Е не есть F. .'. А не есть В.
Если барометр падает, будет либо ветер, либо дождь. Нет ни ветра, ни дождя. .'. Барометр не падал.
То, что мы имеем здесь, — это просто конъюнктивная большая посылка с консеквентом, отрицаемым в меньшей посылке. В консеквенте большей посылки утверждается, что два суждения, «С есть D» и «Е есть F», не могут быть оба ложными; и в меньшей посылке это отрицается утверждением, что они оба ложны.
§ 792. Говорят, что дилемма опровергнута или парирована, когда составляется другая дилемма, доказывающая противоположное заключение. Если дилемма является обоснованной, а ее посылки истинными, это, конечно, невозможно, и любое видимое противоречие, которое может возникнуть на первый взгляд, должно исчезнуть при проверке. Самый обычный способ опровержения дилеммы — это транспозиция и отрицание консеквентов в большей посылке —
Если А есть В, то С есть D; и если Е есть F, то G есть H. Либо А есть В, либо Е есть F. .'. Либо С есть D, либо G есть H.
То же самое опровергнуто —
Если А есть В, то G не есть H; и если Е есть F, то С не есть D. Либо А есть В, либо Е есть F. .'. Либо G не есть H, либо С не есть D. = Либо С не есть D, либо G не есть H.
§ 793. К этой форме относится дилемма, с которой афинская мать обратилась к своему сыну: «Не вступай в общественную жизнь: ибо, если ты будешь говорить то, что справедливо, люди возненавидят тебя; и, если ты будешь говорить то, что несправедливо, боги возненавидят тебя», на что был дан следующий ответ: «Я должен вступить в общественную жизнь: ибо, если я буду говорить то, что справедливо, боги полюбят меня; и, если я буду говорить то, что несправедливо, люди полюбят меня». Но два заключения здесь вполне совместимы. Человек должен, исходя из данных посылок, быть и ненавидимым, и любимым, какой бы путь он ни выбрал. Настолько далеки два суждения вида
Либо С есть D, либо G есть H, и Либо С не есть D, либо G не есть H,
от того, чтобы быть несовместимыми, что они выражают в точности одно и то же, когда были выбраны противоречащие альтернативы, например —
Либо треугольник равносторонний, либо не равносторонний. Либо треугольник не равносторонний, либо равносторонний.
§ 794. Столь же иллюзорным является знаменитый пример опровержения дилеммы, содержащийся в истории Протагора и Еватла (Aul. Gell. Noct. Alt. v. 10). Еватл был учеником Протагора по риторике. Он заплатил половину гонорара, требуемого его наставником, до начала занятий и согласился выплатить остаток, когда выиграет свое первое дело. Но так как он никогда не приступал к практике в суде, стало очевидно, что он намерен обмануть своего учителя. Соответственно, Протагор сам возбудил против него судебный иск и в предварительном разбирательстве перед присяжными предложил ему следующую дилемму: «Глупейший юноша, каков бы ни был исход этого дела, ты должен заплатить мне то, что я требую: ибо, если вердикт будет вынесен в твою пользу, ты связан нашим договором; а если он будет вынесен против тебя, ты связан решением присяжных». Ученик, однако, оказался на высоте и опроверг дилемму следующим образом: «Мудрейший учитель, каков бы ни был исход этого дела, я не заплачу тебе то, что ты требуешь: ибо, если вердикт будет вынесен в мою пользу, я оправдан решением присяжных; а если он будет вынесен против меня, я оправдан нашим договором». Говорят, что присяжные были настолько озадачены противоречивой правдоподобностью аргументов, что отложили дело до греческих календ. Очевидно, однако, что тем самым была совершена грубая несправедливость по отношению к Протагору. Его дилемма была действительно неопровержимой. В контрдилемме Еватла мы должны сделать вывод, что Протагор фактически потеряет свой гонорар, вместо того чтобы просто получить его одним способом, а не другим. В любом случае он и получил бы, и потерял бы свой гонорар в том смысле, что получил бы его по одному основанию, а не получил бы по другому: но ни в одном из случаев он не потерял бы его на самом деле.
§ 795. Если дилемма правильна по форме, заключение, конечно, строго следует: но материальная логическая ошибка часто лежит в основе этой формы аргументации в молчаливом предположении, что альтернативы, предложенные в меньшей посылке, составляют исчерпывающее деление. Так, дилемма «Если боль сильна, она будет кратковременной; и если она длится долго, она будет слабой» и т. д. упускает из виду тот печальный факт, что боль может быть и сильной, и продолжительной. Опять же, следующая дилемма —
Если студенты ленивы, экзамены бесполезны; и если они прилежны, экзамены излишни. Студенты либо ленивы, либо прилежны. .'. Экзамены либо бесполезны, либо излишни,
вполне обоснована, насколько это касается формы. Но человек, который использовал ее, несомненно, имел в виду, что студентов можно исчерпывающе разделить на ленивых и прилежных. Никакое дедуктивное заключение не может идти дальше своих посылок; так что все, что вышеприведенное заключение может в строгом смысле означать, — это то, что экзамены бесполезны, когда студенты ленивы, и излишни, когда они прилежны, — что является просто повторным утверждением как факта того, что ранее было дано как чистая гипотеза.
ГЛАВА XXVII.
О сведении дилеммы.
§ 796. Поскольку дилемма является лишь особой разновидностью частично конъюнктивного силлогизма, мы должны естественно ожидать, что она сводима таким же образом к форме простого силлогизма. И это действительно так. Конструктивная дилемма соответствует первой фигуре, а деструктивная — второй.
1) Простая конструктивная дилемма.
Barbara. Если А есть В или если Е есть F, то С есть D. Все случаи либо А, являющегося В, либо Е, являющегося F, суть случаи С, являющегося D. Либо А есть В, либо Е есть F. Все актуальные случаи суть случаи либо А, являющегося В, либо Е, являющегося F. .'. С есть D. .'. Все актуальные случаи суть случаи С, являющегося D.
(2) Простая деструктивная.
Camestres. Если А есть В, то С есть D и Е есть F. Все случаи А, являющегося В, суть случаи С, являющегося D, и Е, являющегося F. Либо С не есть D, либо Е не есть F. Никакие актуальные случаи не суть случаи С, являющегося D, и Е, являющегося F. .'. А не есть В. .'. Никакие актуальные случаи не суть случаи А, являющегося В.
(3) Сложная конструктивная. Barbara. Если А есть В, то С есть D; и если Е есть F, то G есть H. Все случаи либо А, являющегося В, либо Е, являющегося F, суть случаи либо С, являющегося D, либо G, являющегося H. Либо А есть В, либо Е есть F. Все актуальные случаи суть случаи либо А, являющегося В, либо Е, являющегося F. .'. Либо С есть D, либо G есть H. .'. Все актуальные случаи суть случаи либо С, являющегося D, либо G, являющегося H.
(4) Сложная деструктивная.
Если А есть В, то С есть D; и если Е есть F, то G есть H. Все случаи А, являющегося В, и Е, являющегося F, суть случаи С, являющегося D, и G, являющегося H. Либо С не есть D, либо G не есть H. Никакие актуальные случаи не суть случаи С, являющегося D, и G, являющегося H. Либо А не есть В, либо Е не есть F. Никакие актуальные случаи не суть случаи А, являющегося В, и Е, являющегося F.
§ 797. Ничто не мешает нам иметь Darii вместо Barbara в конструктивной форме и Baroko вместо Camestres в деструктивной. Как и в случае частично конъюнктивного силлогизма, остальные модусы первой и второй фигуры получаются путем взятия отрицательного суждения в качестве консеквента большей посылки, например —
Простая конструктивная. Celarent или Ferio. Если А есть В или если Е есть F, то С не есть D. Никакие случаи либо А, являющегося В, либо Е, являющегося F, не суть случаи С, являющегося D. Либо А есть В, либо Е есть F. Все (или некоторые) актуальные случаи суть случаи либо А, являющегося В, либо Е, являющегося F. .'. С не есть D. .'. Все (или некоторые) актуальные случаи не суть случаи С, являющегося D.
ГЛАВА XXVIII.
О дилемме, рассматриваемой как непосредственное умозаключение.
§ 798. Подобно частично конъюнктивному силлогизму, дилемма может быть выражена в формах непосредственного умозаключения. Как и прежде, заключение в конструктивном типе сводится к субальтернированному суждению самой большей посылки, а в деструктивном типе — к субальтернированному суждению ее контрапозитива. Простая конструктивная дилемма, например, может быть прочитана следующим образом —
Если либо А есть В, либо Е есть F, то С есть D, .'. Либо А, являющееся В, либо Е, являющееся F, — С есть D,
что эквивалентно
Каждый случай либо А, являющегося В, либо Е, являющегося F, есть случай С, являющегося D. .'. Некоторый случай либо А, являющегося В, либо Е, являющегося F, есть случай С, являющегося D.
Переход здесь от «каждый» к «некоторый» занимает место перехода от гипотезы к факту.
§ 799. Опять же, сложная деструктивная может быть прочитана так —
Если А есть В, то С есть D; и если Е есть F, то G есть H, .'. Поскольку не является истинным, что С есть D и G есть H, не является истинным, что А есть В и Е есть F,
что может быть сведено к двум шагам непосредственного умозаключения, а именно к обращению путем контрапозиции, за которым следует субальтернация —
Все случаи А, являющегося В, и Е, являющегося F, суть случаи С, являющегося D, и G, являющегося H. .'. Все, что не является случаем С, являющегося D, и G, являющегося H, не является случаем А, являющегося В, и Е, являющегося F. .'. Некоторый случай, который не является случаем С, являющегося D, и G, являющегося H, не является случаем А, являющегося В, и Е, являющегося F.
ГЛАВА XXIX.
О цепях рассуждений.
§ 800. Формального логика заботит только проверка того, следует ли заключение должным образом из посылок: он не должен беспокоиться об истинности или ложности своих данных. Но посылки одного силлогизма сами могут быть заключениями, выведенными из других силлогизмов, посылки которых, в свою очередь, могли быть установлены еще более ранними силлогизмами. Когда силлогизмы связаны таким образом, мы имеем то, что называется цепью рассуждений.
§ 801. Очевидно, что все истины не могут быть установлены путем рассуждения. Ибо попытка сделать это вовлекла бы нас в бесконечный регресс, в котором количество силлогизмов, необходимых для этого, возрастало бы на каждом шаге в геометрической прогрессии. Чтобы установить посылки данного силлогизма, нам потребовались бы два предшествующих силлогизма; чтобы установить их посылки — четыре; на следующем шаге назад — восемь; на следующем — шестнадцать; и так далее ad infinitum. Таким образом, сама возможность рассуждения предполагает истины, которые известны нам до всякого рассуждения; и, как бы длинна ни была цепь рассуждений, мы должны в конечном итоге прийти к истинам, которые либо самоочевидны, либо принимаются как должное.
§ 802. Любой силлогизм, который устанавливает одну из посылок другого, называется по отношению к этому другому просиллогизмом, в то время как силлогизм, который имеет в качестве одной из своих посылок заключение другого силлогизма, называется по отношению к этому другому эписиллогизмом.
Эпихейрема.
§ 803. Название «эпихейрема» дается силлогизму, у которого одна или обе посылки подкреплены обоснованием. Таким образом, следующее является двойной эпихейремой —
Все В есть А, ибо оно есть Е. Все С есть В, ибо оно есть F. .'. Все С есть А.
Всякая добродетель похвальна, ибо она способствует общему благу. Щедрость есть добродетель, ибо она побуждает людей ставить других выше себя. .'. Щедрость похвальна.
§ 804. Говорят, что эпихейрема относится к первому или второму порядку в зависимости от того, подкреплена ли таким образом большая или меньшая посылка. Двойная эпихейрема представляет собой комбинацию двух порядков.
§ 805. Эпихейрема, как будет видно, состоит из одного полностью выраженного силлогизма вместе с одним или, возможно, двумя энтимемами (§ 557). В вышеприведенном примере, если бы рассуждение, которое поддерживает посылки, было изложено полностью, мы имели бы вместо энтимем два следующих просиллогизма —
(i) Все Е есть А. Все В есть Е. .'. Все В есть А.
Все, что способствует общему благу, похвально. Всякая добродетель способствует общему благу. .'. Всякая добродетель похвальна.
(2) Все F есть В. Все С есть F. .'. Все С есть В.
Все, что побуждает людей ставить других выше себя, есть добродетель. Щедрость побуждает людей ставить других выше себя. .'. Щедрость есть добродетель.
§ 806. Энтимемы в приведенном выше примере обе относятся к первому порядку, имея опущенную большую посылку. Но ничто не мешает одной или обеим из них быть второго порядка —
Все В есть А, потому что все F есть. Все С есть В, потому что все F есть. .'. Все С есть А.
Все магометане — фанатики, потому что все монотеисты — таковы. Эти люди — магометане, потому что все персы — таковы. .'. Эти люди — фанатики.
Здесь в каждом силлогизме опущена меньшая посылка, а именно:
(1) Все магометане — монотеисты.
(2) Эти люди — персы.
Сорит.
§ 807. Сорит — это самая изящная и самая сжатая форма, которую может принять цепь рассуждений.
§ 808. Его иногда более уместно называют цепным аргументом, и его можно определить как —
Цепь рассуждений, в которой одна посылка каждого эписиллогизма подкреплена просиллогизмом, а другая принимается как должное.
Это его внутренняя сущность.
§ 809. По своей внешней форме его можно описать как ряд суждений, каждое из которых имеет один общий термин с тем, которое ему предшествовало, в то время как в заключении один из терминов последнего суждения становится либо субъектом, либо предикатом одного из терминов первого.
§ 810. Сорит может быть либо —
(1) прогрессивным,
или (2) регрессивным.
Прогрессивный сорит.
Все А есть В. Все В есть С. Все С есть D. Все D есть E. .'. Все А есть E.
Регрессивный сорит.
Все D есть E. Все С есть D. Все В есть С. Все А есть В. .'. Все А есть E.
§ 811. Обычной формой является прогрессивная; так что сорит обычно описывается как ряд суждений, в которых предикат каждого становится субъектом следующего, в то время как в заключении последний предикат утверждается или отрицается относительно первого субъекта. Регрессивная форма, однако, в точности меняет эти атрибуты местами; и ее следовало бы описать как ряд суждений, в которых субъект каждого становится предикатом следующего, в то время как в заключении первый предикат утверждается или отрицается относительно последнего субъекта.
§ 812. Регрессивный сорит, как можно заметить, состоит из тех же суждений, что и прогрессивный, только записанных в обратном порядке. Почему же тогда, можно спросить, мы даем ему особое название, хотя мы не считаем силлогизм другим, если меньшая посылка случайно предшествует большей? Это потому, что сорит — это не просто ряд суждений, а сжатая цепь рассуждений; и две цепи рассуждений могут быть сведены к своим составным силлогизмам таким образом, чтобы показать реальное различие между ними.
§ 813. Прогрессивный сорит — это цепь рассуждений, в которой меньшая посылка каждого эписиллогизма подкреплена просиллогизмом, в то время как большая принимается как должное.
§ 814. Регрессивный сорит — это цепь рассуждений, в которой большая посылка каждого эписиллогизма подкреплена просиллогизмом, в то время как меньшая принимается как должное.
Прогрессивный сорит. (i) Все В есть С. Все А есть В. .'. Все А есть С.
(2) Все С есть D. Все А есть С. .'. Все А есть D.
(3) Все D есть E. Все А есть D. .'. Все А есть E.
Регрессивный сорит. (1) Все D есть E. Все С есть D. .'. Все С есть E.
(2) Все С есть E. Все В есть С. .'. Все В есть E.
(3) Все В есть E. Все А есть В. .'. Все А есть E.
§ 815. Вот конкретный пример двух видов сорита, каждый из которых сведен к своим составным силлогизмам —
Прогрессивный сорит.
Все жители Бидефорда — жители Девоншира. Все жители Девоншира — англичане. Все англичане — тевтоны. Все тевтоны — арийцы. .'. Все жители Бидефорда — арийцы.
(1) Все жители Девоншира — англичане. Все жители Бидефорда — жители Девоншира. .'. Все жители Бидефорда — англичане.
(2) Все англичане — тевтоны. Все жители Бидефорда — англичане. .'. Все жители Бидефорда — тевтоны.
(3) Все тевтоны — арийцы. Все жители Бидефорда — тевтоны. .'. Все жители Бидефорда — арийцы.
Регрессивный сорит.
Все тевтоны — арийцы. Все англичане — тевтоны. Все жители Девоншира — англичане. Все жители Бидефорда — жители Девоншира. .'. Все жители Бидефорда — арийцы.
(1) Все тевтоны — арийцы. Все англичане — тевтоны. .'. Все англичане — арийцы.
(2) Все англичане — арийцы. Все жители Девоншира — англичане. .'. Все жители Девоншира — арийцы.
(3) Все жители Девоншира — арийцы. Все жители Бидефорда — жители Девоншира. .'. Все жители Бидефорда — арийцы.
§ 816. При развертывании сорит оказывается содержащим столько силлогизмов, сколько суждений находится между первым и последним. Это очевидно также при проверке путем подсчета количества средних терминов.
§ 817. При развертывании прогрессивной формы мы должны начать со второго суждения сорита в качестве большей посылки первого силлогизма. В прогрессивной форме субъект заключения один и тот же во всех силлогизмах; в регрессивной форме предикат один и тот же. В обоих используется один и тот же ряд средств, или средних терминов, различие заключается в крайних терминах, которые сравниваются друг с другом через них.
[Иллюстрация]
§ 818. Из рисунка видно, что в прогрессивной форме мы работаем изнутри наружу, в регрессивной форме — снаружи внутрь. В первом случае мы сначала используем термин «жители Девоншира» как средство для соединения «жителей Бидефорда» с «англичанами»; затем мы используем «англичан» как средство для соединения того же субъекта «жителей Бидефорда» с более широким термином «тевтоны»; и, наконец, мы используем «тевтонов» как средство для соединения исходного субъекта «жителей Бидефорда» с конечным предикатом «арийцы».
§ 819. Наоборот, в регрессивной форме мы сначала используем «тевтонов» как средство, с помощью которого подводим «англичан» под «арийцев»; затем мы используем «англичан» как средство, с помощью которого подводим «жителей Девоншира» под тот же предикат «арийцы»; и, наконец, мы используем «жителей Девоншира» как средство, с помощью которого подводим конечный субъект «жителей Бидефорда» под исходный предикат «арийцы».
§ 820. Сорит может быть либо правильным, либо неправильным.
§ 821. В правильной форме термины, которые соединяют каждое суждение в ряду с его предшественником, то есть средние термины, сохраняют фиксированное относительное положение; так что, если средний термин является субъектом в одном, он всегда будет предикатом в другом, и наоборот. В неправильной форме это симметричное расположение нарушается.