Авенир Уемов - Логические ошибки. Как они мешают правильно мыслить

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

«Неопределенность» большей посылки бывает отнюдь не во всех случаях, когда в предикате перечисляются все логические возможности.

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

Действительно, власть в государстве может принадлежать либо большинству, либо меньшинству, либо одному человеку. Четвертой возможности нет.

Необходимо различать фактически известные предикаты, с одной стороны, и логически возможные предикаты, с другой. В одной грузинской сказке рассказывается о том, как некий князь потребовал от героя Рустема, чтобы тот привел ему коня, который не был бы ни вороным, ни гнедым, ни пегим и т. д. (были перечислены все известные масти коней). Рустем согласился привести такого коня, но при одном условии: пусть за ним придут в любой день, кроме понедельника, вторника, среды… и т. д. (перечисляются все дни недели).

Требование князя выполнить трудно, но в принципе возможно — хотя бы путем выведения новой масти. Здесь перечислены все фактически известные, но не все логически мыслимые возможности. Условие же Рустема невыполнимо в принципе, так как в нем отрицаются все логически мыслимые возможности.

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

всякое небесное тело светит или собственным светом, или отраженным;

это небесное тело не светит собственным светом;

——————————————————————————

следовательно, оно светит отраженным светом.

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

Отметим, что для утверждающего силлогизма не обязательно, чтобы предикаты исключали друг друга. К одному и тому же субъекту в посылке может относиться не только один из перечисленных предикатов, но и два и более, то есть S — или P 1или P 2, или то и другое вместе. В утверждении «убийцей является или Урбенин, или цыгане, или наемник графа» предполагается, что убил не обязательно один кто-нибудь. Могло быть несколько убийц, скажем, Урбенин и цыгане и даже все перечисленные лица в принципе могли быть замешаны в убийстве. Поэтому, исключают ли предикаты друг друга или не исключают, вывод в том и другом случае будет правильным, если перечислены все логические возможности.

Совсем иначе обстоит дело в отрицающем разделительном силлогизме, формула которого:

S есть или P 1, или P 2, или P 3;

S есть P 1;

———————————

S не есть ни P 2, ни P 3.

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

Зато совершенно обязательно, чтобы предикаты исключали друг друга, то есть, чтобы большая посылка была исключающе-разделительным суждением. В противном случае нельзя было бы сделать вывода, что S не является ни P 2, ни P 3на том основании, что S есть P 1.

Если, например, было бы установлено, что среди перечисленных возможных убийц P 1, P 2, P 3убийцей оказался только P 1, то можно смело делать вывод, что ни P 2, ни P 3 — не убийцы. И этот вывод будет правильным, даже если не перечислены все возможные убийцы. Но такой вывод возможен лишь при условии, если все предикаты исключают друг друга, то есть «убил P 1» == «убил только один P 1». В противном случае нельзя сделать вывод о том, что P 2, P 3… и т. д. не причастны к убийству.

Чаще всего такие отрицающие выводы делаются из посылок, предикаты которых логически исключают друг друга. Например, один и тот же человек не может быть одновременно и дома, и в театре, и в кино. Допускать такую возможность — значит допускать логическое противоречие. Поэтому если известно, что товарищ А сегодня в 7 часов вечера будет или дома, или в кино, или в театре, и известно, что товарищ А в это время был дома, то можно смело делать вывод, что его не было ни в кино, ни в театре. Вывод может быть правильным и тогда, когда нет логической, но есть фактическая гарантия того, что члены деления исключают друг друга, например: «А — или декан, или директор». Логически предикаты здесь не исключают друг друга, так как в принципе один и тот же человек может быть и деканом и директором. Но они могут фактически исключать друг друга — например, на основе положения о том, что нельзя совмещать должность декана и директора. Поэтому, если известно, что А — декан, можно сделать вывод, что А не директор. Но в вышеприведенном силлогизме