Логическая игра

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

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

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

«Все бескорыстные люди щедрые».

«Ни один скупой человек не щедрый».

—

«Ни один скупой человек не бескорыстен».

В буквенных обозначениях посылки силлогизма выглядят так:

«Все x' суть m».

«Ни один y не есть m».

Правильным заключением в этом случае было бы суждение «Все x' суть y» (т. е. «Все бескорыстные люди не скупые»). Автор же, как мы видим, приводит заключение «Ни один y не есть x'» (или, что то же, «Ни один x' не есть y»). Последнее же суждение является частью общего суждения «Все x' суть y'». В этом случае вам надлежит ограничиться замечанием: «Изъян в заключении». Ситуация здесь в точности такая, как если бы вы находились в кондитерской и на ваших глазах какой-нибудь маленький мальчик, уплатив два пенса, с торжеством удалился, взяв лишь сладкий пирожок стоимостью в один пенс. Вам оставалось бы печально покачать головой и заметить: «Изъян в заключении». Вот дурачок! Может быть, вы решились бы спросить у юной леди за прилавком, не разрешит ли она вам съесть пирожок, который мальчик уже оплатил, но оставил. Скорее всего, вы услышали бы в ответ: "Ишь чего захотели!»

Но если бы в приведенном выше примере автор вывел заключение «Все скупые люди корыстны» (т. е. «Все y суть x»), то это означало бы, что он превысил свои законные права (поскольку в заключении делалось бы утверждение о существовании y, не содержащееся в посылках), и вы могли бы с полным основанием сказать: «Ошибка в заключении!»

Читая другие книги по логике, вы, несомненно, встретите различные типы (так называемых) «логических ошибок», которые далеко не всегда являются таковыми. Например, если вы предложите одному из авторов этих книг пару посылок: «Ни один честный человек не мошенник», «Ни один нечестный человек не заслуживает доверия» и спросите у него, какое заключение можно из них вывести, он, вероятнее всего, скажет: "Никакое! В ваших посылках нарушены два различных правила. Более ошибочных посылок я в жизни не видывал!» Если после этого вы все же дерзнете утверждать, что заключением можно считать суждение «Ни один мошенник не заслуживает доверия», то боюсь, что ваш искушенный в логике приятель будет вынужден поспешно удалиться. Не берусь сказать, с гневом или только с презрением, но результат, во всяком случае будет неприятным. Советую вам не пробовать на собственном опыте!

— В чем же все-таки дело? — спросите вы. — Не хотите же вы сказать, что все эти логики заблуждаются?

Отнюдь нет, дорогой читатель! С их точки зрения они абсолютно правы. Но в их системах содержатся далеко не все мыслимые формы силлогизмов.

Эти логики испытывают нечто вроде нервического припадка при виде признаков, начинающихся с отрицательной частицы. Например, суждения «Все не— x суть y» и «Ни один x не есть не— y» полностью выпадают из их системы. Исключив (в силу своей нервозности) ряд весьма полезных разновидностей силлогизмов, которые хотя и вполне применимы к немногим «разрешенным» ими формам силлогизмов, тем не менее оказываются бесполезными при рассмотрении силлогизмов всех типов.