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