Логическая игра
Шрифт:
Аналогично предметы с признаками ym могут находиться лишь в клетках 11 и 13. В клетке 11 уже стоит чёрная фишка — клетка пуста. Следовательно, красную фишку необходимо поставить на клетку 13.
Окончательный результат — диаграмма
А что из представленных здесь сведений можно использовать при построении малой диаграммы?
Рассмотрим по порядку все четыре клетки малой диаграммы.
Клетка 5. Мы видим, что она полностью пуста (и поэтому ставим на неё чёрную фишку).
Клетка 6. Эта клетка занята (её мы отметим красной фишкой).
Клетка 7. То же самое.
Клетка 8. Относительно этой клетки никаких сведений у нас нет.
Итак, малая диаграмма заполнена весьма щедро:
А
Выбрав в качестве субъекта x, мы получим первое суждение: «Все x суть y'», т. е. «Все драконы не шотландцы».
Выбрав в качестве субъекта y, мы получим второе суждение: «Все y суть x'», т. е. «Все шотландцы не драконы».
Запишем теперь весь силлогизм полностью: и две наши посылки, и оба наших заключения. Вот что у нас получится:
«Все драконы не лукавые».
«Все шотландцы лукавые».
–––
«Все драконы не шотландцы».
«Все шотландцы не драконы».
На прощание я хотел бы сделать одно важное замечание. В некоторых книгах по логике вообще не предполагается, что какой-то предмет существует. Суждение «Некоторые x суть y» в таких книгах понимается так: «Признаки x и y совместимы, в силу чего некий предмет может одновременно обладать ими обоими». Суждение же «Ни один x не есть y» они интерпретируют как несовместимость признаков x и y, в силу которой ни один предмет не может обладать ими обоими.
Суждения в таких трактатах имеют совсем иной смысл, чем тот, который они имеют в нашей «Логической игре», и будет небесполезно, если мы ясно поймём, в чем именно состоит различие.
Прежде всего рассмотрим суждение «Некоторые x суть y». Мы считаем, что связка «суть» означает «являются в действительности, на самом деле, фактически». Отсюда, разумеется, следует, что некоторые x-предметы существуют. Они же (авторы упоминавшихся книг по логике) считают, что связка «суть» означает «может быть». Из такого понимания связки никакого существования уже не следует. Таким образом, их интерпретация связки 'yже, чем наша: наша интерпретация включает в себя их интерпретацию (из того, что «Некоторые x суть y», следует, что «Некоторые x могут быть y»), но не наоборот. Например, согласно этим авторам, суждение «Некоторые уэлльские гиппопотамы неуклюжие» истинно (поскольку признаки «уэлльский» и «неуклюжий» совместимы в гиппопотаме), но в нашей игре оно ложно (ибо уэлльские гиппопотамы, которые должны быть неуклюжими, не существуют в природе).
Рассмотрим, далее, суждение «Ни один x не есть y». В этом случае мы понимаем связку «есть» лишь как «является в действительности», из чего вовсе не следует, что ни один x не может быть y. Они же понимают это суждение в том смысле, что ни один x не только не есть y, но и не может быть y. В данном случае они понимают суждение шире, чем мы: их интерпретация включает в себя нашу (из того, что ни один x не может быть y, следует, что ни один x не есть y), но не наоборот. Например, суждение «ни один полисмен не имеет восьми футов росту» было бы истинно в нашей игре (поскольку столь великолепные образчики полисменов покуда ещё не найдены), но ложно в смысле упомянутых мною авторов. (Действительно, признаки «быть полицейским» и «иметь восемь футов росту» вполне совместимы: ничто не мешает полицейскому вырасти до указанной высоты. Необходимо лишь усердно натираться «Роуландовским макасарским маслом». Говорят, что если натирать этим маслом волосы, то волосы начинают расти. Следовательно, если натирать этим маслом полисмена, то полисмен также начнёт расти.)
Рассмотрим, наконец, суждение «Все x суть y», состоящее из двух частных суждений: «Некоторые x суть y» и «Ни один x не есть y». В этом случае авторы уже упоминавшихся трудов по логике понимают связку 'yже, чем мы, в первой части и шире, чем мы, — во второй. Узость интерпретации одного суждения (и у нас, и у них) отнюдь не компенсируется широтой интерпретации другого: если уж вас угораздило сбить печную трубу, то хозяин дома вряд ли утешится тем, что вы пристроите ещё одну ступеньку к крыльцу.
Предложенная мной система позволит вам без особого труда решать и силлогизм в интерпретации авторов учёных трудов по логике: стоит лишь заменить «суть» на «могут быть», и все остальное пойдёт как по маслу. Суждение «Некоторые x суть y» перейдёт при этом в суждение «Некоторые x могут быть y», т. е. «Признаки x и y совместимы». Суждение «Ни один x не есть y» примет вид «Ни один x не может быть y», т. е. «Признаки x и y несовместимы». Суждение же «Все x суть y» станет двойным суждением «Некоторые x могут быть y, и ни один x не может быть y'», т. е. «Признаки x и y совместимы, и признаки x и y' несовместимы». При пользовании диаграммой по этой системе необходимо не упускать из виду, что красная фишка означает суждение «Вполне возможно, что в этой клетке что-нибудь есть», а чёрная — суждение «Вполне возможно, что в этой клетке ничего нет».
§ 3. Логические ошибки
Вы, конечно, думаете, что в реальной жизни логику используют главным образом для вывода заключений из правильных посылок и для проверки заключений, выведенных другими людьми (ведь я угадал, не так ли?). Как бы я хотел, чтобы все обстояло именно так! Общество было бы в гораздо меньшей степени подвержено пагубным заблуждениям, а политическая жизнь выглядела совсем иначе, если бы аргументы (пусть даже не все, но хотя бы большинство), широко распространённые во всем мире, были правильными. Боюсь, что в действительности наблюдается обратная картина. На одну здравую пару посылок (под здравой я понимаю пару посылок, из которых, рассуждая логически, можно вывести заключение), встретившуюся вам при чтении газеты или журнала, приходится по крайней мере пять пар, из которых вообще нельзя вывести никаких заключений. Кроме того, даже исходя из здравых посылок автор приходит к правильному заключению лишь в одном случае, в десяти же он выводит из правильных посылок неверное заключение.
В первом случае (когда посылки не ведут ни к какому логическому заключению) мы говорим об ошибке в посылках, во втором (когда из правильных посылок выводится неверное заключение) — об ошибке в заключении.
Главная польза, которую вы сможете извлечь из владения логикой на том уровне, который приобретёте, играя в нашу «Логическую игру», — это умение обнаруживать логические ошибки только что названных двух типов.
Ошибку первого типа («Ошибку в посылках») вы обнаружите после того, как, расставив фишки на большой диаграмме, попытаетесь извлечь из неё сведения, необходимые для расстановки фишек на малой диаграмме. Рассматривая по очереди все четыре клетки малой диаграммы и спрашивая себя каждый раз: «Какую фишку я должен поставить на эту клетку?», вы всякий раз будете приходить к одному и тому же ответу: «Не знаю, об этой клетке у меня нет никаких сведений». Это и будет означать, что из рассматриваемой вами пары посылок вообще нельзя вывести никакого заключения. Например, пусть имеются две посылки и заключение:
«Все солдаты храбрые».
«Некоторые англичане храбрые».
–––
«Некоторые англичане — солдаты».
Выглядит это весьма похоже на силлогизм, и менее опытный логик вполне мог бы принять такое рассуждение за силлогизм. Но провести вас не так-то просто! Вы выделяете посылки, рассматриваете их, а затем холодно замечаете: «Ошибка в посылках!» и даже не снисходите задать вопрос о том, какое заключение намеревался вывести из них автор, заведомо зная, что каким бы оно ни было, оно должно быть ложным. В правильности своего диагноза вы столь же уверены, как та мудрая мать, которая говорит няне: «Мэри, поднимитесь, пожалуйста, в детскую, посмотрите, что делает малыш и скажите ему, чтобы он этого не делал!»