Логика. Учебник для средней школы. (Издание восьмое. Утверждён Министерством просвещения РСФСР.)

Вторая посылка в этом примере (как и в предыдущем) отрицает следствие, вследствие чего заключение необходимо отрицает основание.
Итак, в условных умозаключениях мы получаем достоверный вывод в двух случаях:
1) или по 1-й форме, когда от утверждения основания мы переходим к утверждению следствия;
2) или по 2-й форме, когда мы от отрицания следствия переходим к отрицанию основания.
Таково правило получения достоверного вывода в условных силлогизмах.
Во всех других формах условного силлогизма достоверный вывод может быть, а может и не быть. Тем самым достоверный вывод становится лишь возможным.
Например:
Если через проводник проходит электрический ток, то проводник нагревается.
Проводник нагрелся
----------------------------
Возможно, через проводник проходит ток.
В этом примере меньшая посылка утверждает следствие. Поэтому в заключении мы получили не достоверный, а лишь вероятный вывод, так как проводник мог нагреться и не от того, что через него проходит ток.
Возьмём другой пример:
Если железо нагревается, то объём его увеличивается.
Данный кусок железа не нагревается.
-----------------------------
Следовательно, объём его не увеличивается.
Соответствует ли такой вывод действительности? Да, соответствует. Но в таком случае оказывается неверным правило о том, что нельзя путём отрицания основания прийти к достоверному выводу, так как в нашем примере отрицается основание, а вывод всё же получился верный.
Однако никакого противоречия здесь нет. Правило вывода в условном силлогизме говорит не о том, что при отрицании основания не может получиться верного вывода. Такой вывод может получиться, и его возможность не исключает этого правила. Правило говорит лишь о том, что достоверный вывод всегда будет получен при утверждении основания или при отрицании следствия.
В других случаях (при отрицании основания или при утверждении следствия) достоверный вывод может быть, а может и не быть, в одном силлогизме он будет, в другом не будет, и, следовательно, никакого общего правила для таких случаев установить нельзя.
Следует учесть, что вероятные выводы имеют своё значение. Поэтому в практике мышления мы от вероятных выводов не отказываемся. Например, такие науки, как археология, история, часто пользуются вероятными выводами как временными предположениями, которые определяют путь дальнейшего исследования.
Условные силлогизмы во многих отношениях близко стоят к категорическим. В частности, это находит своё выражение в том, что условный силлогизм большей частью легко преобразуется в категорический и соответственно наоборот: категорический — в условный.
  
§ 11. Разделительно-категорический силлогизм
 
Разделительный силлогизм — это такой силлогизм, в котором одна или обе посылки являются разделительными суждениями.
Силлогизм, в котором одна посылка разделительная, а другая категорическая, называется разделительно-категорическим.
Существуют две формы разделительно-категорического силлогизма.
1-я форма (утверждающая).
Общая формула её следующая:
S есть или Р1, или Р2, или Р3
S не есть ни Р1, ни Р2.
-----------------------
Следовательно, S есть Р3.
Например, установлено, что данное вещество (S) содержит в себе или хлор (P1), или бром (Р2). Дальнейший анализ показал, что данное вещество не содержит в себе хлора. Следовательно, оно содержит бром.
В меньшей посылке первой формы отрицаются все предикаты, указанные в большей посылке, кроме одного. Из посылок закономерно следует вывод, что субъекту принадлежит оставшийся предикат.
2-я форма (отрицающая).
Общая формула её следующая:
S есть или P1, или Р2, или P3.
S есть P1.
---------------------------
Следовательно, S не есть ни Р2, ни P3.
Например: следы на снегу могла оставить или лисица, или куница; установлено, что здесь оставила следы лисица. Следовательно, куница здесь следов не оставила.
В меньшей посылке второй формы утверждается один из предикатов, указанных в большей посылке. В выводе отрицаются все остальные предикаты.
Правила применения разделительного силлогизма заключаются в следующем:
1. Предикаты большей посылки должны исключать друг друга.
Это возможно в том случае, если предикаты большей посылки представлены несовместимыми понятиями. Союз «или» должен иметь, следовательно, разделительное значение, а не соединительное.
2. Совокупность предикатов большей посылки должна полностью исчерпывать объём субъекта этой посылки.
Если эти правила нарушаются, то правильный вывод может получиться только случайно.
  
§ 12. Энтимема
 
В практике нашего мышления мы редко употребляем силлогизм в полной его форме. Полный силлогизм применяется в математических рассуждениях и доказательствах, которые требуют особой точности и очевидности. В повседневной жизни мы пользуемся силлогизмами главным образом в сокращённой форме, т. е. без той или иной их части.
Сокращённая форма силлогизма, в которой какая-либо часть его не высказывается, а только подразумевается, называется энтимемой.
Например, когда мы говорим: «Она комсомолка и поэтому обязана укреплять дисциплину», то мы применяем энтимему. Большая посылка в этом силлогизме опущена, она подразумевается, так как нет необходимости в данном случае её высказывать. В полной форме этот силлогизм примет следующий вид:
Все комсомольцы обязаны укреплять дисциплину.
Она — комсомолка.
--------------------------
Следовательно, она обязана укреплять дисциплину.
Чаще всего опускается большая посылка, которая обычно выражает истину, широко известную. Но могут опускаться и меньшая посылка, и заключение.
Существуют три основных вида энтимем:
1) Силлогизм без большей посылки:
Наш школьный вечер прошёл успешно,
потому что был хорошо организован.
В этом примере первое суждение является заключением, второе — меньшей посылкой. Опущена большая посылка. Восстановим эту энтимему:
Что хорошо организуется, то успешно осуществляется.
Наш школьный вечер был хорошо организован.
-----------------------------------
Следовательно, наш школьный вечер прошёл успешно.
2) Силлогизм без меньшей посылки:
Лыжный спорт полезен для здоровья,
так как всякий вид спорта полезен для здоровья.
В этом примере первое суждение является заключением, второе — большей посылкой. Опущена меньшая посылка. Восстановим эту энтимему:
Всякий вид спорта полезен для здоровья.
Лыжный спорт является одним из видов спорта.
-----------------------------
Следовательно, лыжный спорт полезен для здоровья.
3) Силлогизм без заключения: