Для доказательства того, что вывод здесь с необходимостью вытекает из посылок, предположим обратное, то есть что вывод из этих посылок не следует с необходимостью. В таком случае при истинных посылках вывод может оказаться ложным. Если ложно суждение «задача решена неправильно», значит, истинно суждение «задача решена правильно». Но из первой посылки нам известно, что, если задача решена правильно, тогда ответ должен совпадать с данным. В меньшей же посылке сказано, что ответ с данным не совпадает. Таким образом, возникает логическое противоречие, которое можно устранить только с помощью допущения, что данный вывод с необходимостью вытекает из посылок и, следовательно, он не может быть ложным, если эти посылки истинны.
Итак:
Разумеется, применяя это правило, нужно исходить из самого существа понятий «утверждение» и «отрицание», а не из формального наличия или отсутствия отрицания «не» или «нет» в меньшей посылке. Если основание или следствие большей посылки отрицательное, тогда их
1) если Н. не имеет аттестата, он не может поступить в вуз;
Н. не имеет аттестата зрелости;
————————————————
он не может поступить в вуз
(вывод от утверждения основания к утверждению следствия);
2) если Н. не имеет аттестата, он не может поступить в вуз;
Н. может поступить в вуз;
—————————————
Н. имеет аттестат зрелости
(вывод от отрицания следствия к отрицанию основания).
Могут возразить, что человек иногда может в порядке исключения поступить в вуз и без аттестата зрелости, но это возражение относится уже не к выводу в целом, а к большей посылке.
Наиболее часты логические ошибки именно в тех рассуждениях, где большая посылка содержит отрицательное основание или отрицательное следствие. Очень распространены, например, ошибки такого типа:
1) если существительное не стоит в именительном падеже, оно не является подлежащим;
это слово стоит в именительном падеже;
—————————————————————
следовательно, оно является подлежащим.
2) если правила фигур нарушены, то силлогизм является неправильным;
правила фигур не нарушены;
———————————————
следовательно, силлогизм является правильным.
Оба рассуждения содержат логическую ошибку; меньшая посылка в обоих случаях отрицает основание, а от отрицания основания к отрицанию следствия вывод делать нельзя;
3) категорический силлогизм является неправильным, когда в нем нет 3 терминов;
данный категорический силлогизм не является правильным;
————————————————————————————————
следовательно, в нем нет трех терминов.
Вывод здесь делается от утверждения следствия к утверждению основания. То, что в большей посылке этого силлогизма на первом месте стоит не основание, как обычно, а следствие, вводит иногда в заблуждение, и следствие принимается за основание. Здесь опять следует подчеркнуть, что нужно исходить не из языкового выражения, а из логического соотношения обеих частей суждения.