всякое небесное тело светит или собственным светом, или отраженным;
это небесное тело не светит собственным светом;
——————————————————————————
следовательно, оно светит отраженным светом.
Здесь не учтена еще одна возможность: есть небесные тела, которые вообще не светят, как, например, радиозвезды.
Отметим, что для утверждающего силлогизма не обязательно, чтобы предикаты исключали друг друга. К одному и тому же субъекту в посылке может относиться не только один из перечисленных предикатов, но и два и более, то есть
Совсем иначе обстоит дело в отрицающем разделительном силлогизме, формула которого:
———————————
Здесь уже не обязательно, чтобы были перечислены все логически возможные предикаты.
Зато совершенно обязательно, чтобы предикаты исключали друг друга, то есть, чтобы большая посылка была исключающе-разделительным суждением. В противном случае нельзя было бы сделать вывода, что
Если, например, было бы установлено, что среди перечисленных возможных убийц
Чаще всего такие отрицающие выводы делаются из посылок, предикаты которых логически исключают друг друга. Например, один и тот же человек не может быть одновременно и дома, и в театре, и в кино. Допускать такую возможность — значит допускать логическое противоречие. Поэтому если известно, что товарищ А сегодня в 7 часов вечера будет или дома, или в кино, или в театре, и известно, что товарищ А в это время был дома, то можно смело делать вывод, что его не было ни в кино, ни в театре. Вывод может быть правильным и тогда, когда нет логической, но есть фактическая гарантия того, что члены деления исключают друг друга, например: «А — или декан, или директор». Логически предикаты здесь не исключают друг друга, так как в принципе один и тот же человек может быть и деканом и директором. Но они могут фактически исключать друг друга — например, на основе положения о том, что нельзя совмещать должность декана и директора. Поэтому, если известно, что А — декан, можно сделать вывод, что А не директор. Но в вышеприведенном силлогизме
«Петя станет или писателем или ученым;
Петя стал ученым;
——————————
Петя не стал писателем»
вывод является неправильным, так как предикаты не исключают друг друга: Петя может быть одновременно и ученым, и писателем. То же самое в силлогизме
«животные живут или на суше или в воде;
это животное живет в воде;
———————————————
это животное не живет на суше»
вывод ошибочен, так как некоторые животные, например земноводные, живут и в воде, и на суше.
Посмотрим, какие ошибки бывают в силлогизмах
1) если у человека повышенная температура, то он болен;
у Петрова температура не повышена;
————————————————————
следовательно, Петров здоров;
2) если задача решена правильно, то полученный результат совпадает с ответом, данным в задачнике;
полученный результат совпадает с ответом, указанным в задачнике;
—————————————————————
следовательно, задача решена правильно.