Что добро, того желать должно.

Что желать должно, то и одобрить надлежит.

Что одобрить надлежит, то похвально.

Следовательно, что добро, то похвально.

Эпихейрема - самое сложное, пожалуй, умозаключение среди силлогизмов. Она составляется из двух энтимем. Каждая из них, точнее их заключения, играют роль посылок. Заключение всего такого сложного образования - простое категорическое суждение. Чтобы разобраться с эпихейремой, проверить ее соответствие правилам логики, надо каждый раз восстанавливать обе энтимемы в полный силлогизм. Попробуем, например, разобраться со следующим рассуждением.

Нефть перевозят в цистернах, потому что она - жидкость, а поскольку данный завод - нефтеперерабатывающий, то значит сырьем для него служит нефть. Следовательно, сырье для данного завода перевозят в цистернах.

В принципе восстановление можно ограничить определением заключений в каждой из энтимем, не восстанавливая их самих.

Нефть перевозят в цистернах.

Сырьем для данного завода служит нефть.

Сырье для данного завода перевозят в цистернах.

Получился силлогизм по первой фигуре. Однако такой прием лучше рассматривать как вспомогательный при восстановлении хода всей мысли в целом, потому что энтимемы тоже могут содержать ошибки. И после выполнения данного этапа восстановить оба составных силлогизма.

Жидкости перевозят в цистернах.

Нефть - жидкость.

Нефть перевозят в цистернах.

У нефтеперерабатывающих заводов сырье - нефть.

Данный завод нефтеперерабатывающий.

Сырье данного завода - нефть.

Сырье данного завода перевозят в цистернах.

В принципе может быть и множество других комбинаций силлогизмов и суждений. Все их нельзя было бы перебрать. Логика указывает только на наиболее распространенные. Их усвоение помогает овладеть правилами логики, вырабатывает навыки самостоятельного их использования в повседневной деятельности, в научной работе, в творчестве.

§21. (2) Условные и условно-категорические силлогизмы

И в науке, и в обиходе приходится часто отмечать зависимость тех или иных явлений, событий, процессов от всякого рода обстоятельств: факторов, способных изменить течение дел, причинных воздействий, порождающих известные события, внешних влияний, которые удерживают ход вещей в известных рамках. Короче, речь идет об условиях, определяющих все, что происходит вокруг нас. Обычно условия задаются с помощью оборота "Если ., то .": "Если работа окончена, то мы можем идти", "Если орудие железное, то оно не относится к каменному веку". Суждения, в которых задаются такого рода связи, называют условными, а в символической логике импликативными, или импликациями.

Условные суждения и вместе с ними условные умозаключения стали изучаться еще в Древней Греции философами стоической школы. Правила оперирования такими умозаключениями довольно просты и легко устанавливаются.

Условные силлогизмы подразделяются на собственно условные и условно-категорические. Кроме того, они могут комбинироваться с другими умозаключениями, например с разделительными, о которых речь впереди.

Собственно условные умозаключения содержат и в посылках, и в заключении одни только условные суждения:

Если выпускается много денежных знаков, то растут денежные доходы.

Если растут денежные доходы населения, то растет покупательная способность.

Если растет покупательная способность, то растут цены.

Если растут цены, то растет инфляция.

Следовательно, если выпускается много денежных знаков, то растет инфляция.

Выражение "Если ., то ." удобно заменять стрелкой, а сами высказывания - буквами a, b, c, . Тогда получается простая символическая запись, которая означает: если a, то b, если b, то c .

a => b.

b => c.

a => c.

Условно-категорическое умозаключение имеет одну из посылок и заключение, выражаемые категорическими суждениями. У него два правильных модуса, которые имеют латинские названия - modus ponens (утверждающий) и modus tollens (отрицающий). Первый из них выглядит следующим образом:

Если алмаз огранен, то он - бриллиант. a => b

Данный алмаз огранен. a

Данный алмаз - бриллиант. b

Modus ponens

В нем от наличия основания условной связи делают вывод о наличии следствия. Название "утверждающий" происходит от того, что этим модусом условно-категорического силлогизма утверждается то, о чем говорит следствие в его посылке. Но это вовсе не означает, будто его заключение может быть только утвердительным суждением. В том случае, когда следствие в условной посылке является отрицательным, то тогда и вывод тоже звучит как отрицание. Например, возьмем утверждение, сделанное в виде такой условной посылки: "Если температура ниже нуля, то лед не тает". Добавим сюда еще одну посылку: "Температура ниже нуля". Тогда нам придется делать такой вывод по схеме утверждающего модуса, который, однако, выражается отрицательным суждением: "Лед не тает".

При отрицающем модусе вывод делается от отсутствия следствия к отсутствию порождающего его основания:

Если данный материал - стекло, то он хрупкий. a => b

Данный материал не хрупкий -b.

Данный материал - не стекло -a.

Modus tollens

Надчеркивание над буквами в символической записи умозаключения выражает отрицание, означает то же, что не-a или, точнее, неверно, что a.

И этот модус, подобно предыдущему, в принципе может давать как утвердительный по логической форме вывод, так и отрицательный. Все зависит от того, каким суждением выражается основание условной посылки. Скажем, рассуждение "Если такси не свободен, то не горит "зеленый глазок"; но "зеленый глазок" горит" приводит к утвердительному выводу: "Такси свободен". Хотя получен он по отрицающему модусу.

Суммировать приведенные соображения можно одним простым и коротким правилом:

Вывод в условно-категорическом умозаключении можно делать либо от наличия основания к наличию следствия, либо от отсутствия следствия к отсутствию основания.

Интуитивно здесь напрашиваются еще два возможных модуса, которые, однако, в действительности являются неправильными.

Если у больного ангина, то у него температура a => b

У данного больного нет ангины -a.

У данного больного нет температуры -b?

Если у больного ангина, то у него температура. a => b

У данного больного температура. b

У данного больного ангина? a?

Неправильные модусы

На самом деле в силу многозначности причинно-следственных связей, в силу того, что одно и то же следствие может вызываться многими причинами, выводы по таким модусам в лучшем случае вероятностны, но часто бывают и ложными. Наличие температуры не доказывает, что у больного обязательно ангина, ибо и другие болезни тоже вызывают ее, и отсутствие ангины не гарантирует отсутствие повышенной температуры по тем же причинам. Только в том случае, когда связь между основанием и следствием взаимно-однозначная, то есть когда одно не бывает без другого, только тогда выводы по неправильным модусам дают верный результат. Например, условная посылка "Если год високосный, то в феврале 29 дней" позволяет строить умозаключения по всем четырем модусам, включая два неправильных.