Электронная книга «Игра в логику» Льюиса Кэрролла, доступная через Project Gutenberg (№ 6 в нашей серии книг Льюиса Кэрролла).
Законы об авторском праве меняются по всему миру. Перед загрузкой или распространением этой или любой другой электронной книги Project Gutenberg обязательно ознакомьтесь с законами об авторском праве вашей страны.
Этот заголовок должен быть первым, что вы увидите при просмотре этого файла Project Gutenberg. Пожалуйста, не удаляйте его. Не изменяйте и не редактируйте заголовок без письменного разрешения.
Пожалуйста, ознакомьтесь с «юридическими условиями мелким шрифтом» и другой информацией об электронной книге и проекте Gutenberg внизу этого файла. Там содержится важная информация о ваших правах и ограничениях на использование файла. Вы также можете узнать, как сделать пожертвование проекту Gutenberg и как принять участие в его развитии.
**Добро пожаловать в мир бесплатных, простых и понятных электронных текстовых сообщений!**
**Электронные книги, доступные для чтения как людьми, так и компьютерами, с 1971 года**
*****Эти электронные книги были подготовлены тысячами волонтеров!*****
Название: Игра в логику
Автор: Льюис Кэрролл
Дата выхода: декабрь 2003 г. [Электронная книга № 4763] [Да, мы опережаем график более чем на год] [Этот файл был впервые опубликован 13 марта 2002 г.] [Дата последнего обновления: 10 мая 2004 г.]
Издание: 10
Язык: английский
*** НАЧАЛО РАБОТЫ НАД ЭЛЕКТРОННОЙ КНИГОЙ ПРОЕКТА ГУТЕНБЕРГ «ИГРА ЛОГИКИ» ***
И всё же, если бы твоё лицо, в мистической грации,
на мгновение улыбнулось мне, то
лучи света, устремлённые
с небес в ночь, озарили бы её, сладкое сердце,
и я бы увидел в
ней неподдельный дух!
Пусть же поток долгой мечты Жизни
мягко течет к своему концу,
с множеством веселых цветочков,
по своей извилистой дороге:
пусть ни вздох не тревожит, ни заботы не огорчают,
мой любимый маленький друг!
NOTA BENE.
К каждому экземпляру этой книги прилагается конверт, содержащий схему (подобную фронтиспису) на картоне и девять фишек: четыре красных и пять серых.
Конверт и прочее можно приобрести отдельно по цене 3 пенса за штуку.
Автор будет очень благодарен за предложения, особенно от начинающих специалистов в области логики, относительно любых изменений или дополнительных пояснений, которые могут показаться желательными. Письма следует адресовать ему по адресу: «29, Бедфорд-стрит, Ковент-Гарден, Лондон».
ПРЕДИСЛОВИЕ
«Там пенилась мятежная Логика, с кляпом во рту и связанная».
Для этой игры требуется девять фишек — четыре одного цвета и пять другого: например, четыре красных и пять серых.
Помимо девяти фишек, для игры требуется как минимум один игрок. Мне неизвестна ни одна игра, в которую можно играть с меньшим количеством игроков: есть несколько игр, требующих большего количества: возьмем, к примеру, крикет, для которого нужно двадцать два игрока. Насколько проще, если вы хотите сыграть в игру, найти ОДНОГО игрока, чем двадцать два. В то же время, хотя одного игрока достаточно, гораздо больше удовольствия можно получить, играя вдвоем и исправляя ошибки друг друга.
Второе преимущество этой игры заключается в том, что, помимо того, что она является бесконечным источником развлечения (количество аргументов, которые можно использовать, бесконечно), она также даст игрокам некоторое обучение. Но разве в этом есть большой вред, если при этом вы получаете массу удовольствия?
СОДЕРЖАНИЕ.
ГЛАВА СТРАНИЦА
I. НОВЫЕ ЛАМПЫ ДЛЯ СТАРЫХ. 1. Предложения . . . . . . . 1 2. Силлогизмы . . . . . . . 20 3. Логические ошибки . . . . . . . . 32
II. ПЕРЕКРЕСТНЫЕ ВОПРОСЫ.
1. Элементарный . . . . . . . . 37
2. Половина меньшей диаграммы. Предложения,
которые необходимо представить . . . . . 40
3. Выполните. Символы, которые необходимо интерпретировать. . 42
4. Меньшая диаграмма. Предложения, которые необходимо
представить . . . . . . . 44
5. Выполните. Символы, которые необходимо интерпретировать. . 46
6. Большая диаграмма. Предложения, которые необходимо
6. Большая диаграмма. Представленные утверждения. 67
7. Использованы обе диаграммы . . . . 72
IV. УДАЧА ИЛИ ПРОМАХ . . . . . . . . . 85
ГЛАВА I.
Новые лампы вместо старых.
«Свет приходит, свет уходит».
1. Предложения.
«Некоторые новые торты хороши».
«Ни один новый торт не хорош».
«Все новые торты хороши».
Для вас есть три «ПРЕДЛОЖЕНИЯ» — единственные три типа, которые мы будем использовать в этой игре: и первое, что нужно сделать, это научиться выражать их на игровом поле.
Начнём с
«Некоторые новые торты хороши».
Но прежде чем это сделать, необходимо заметить одну важную деталь, которую отнюдь не легко понять за один раз: поэтому, пожалуйста, прочтите это ОЧЕНЬ внимательно.
В мире много ВЕЩЕЙ (таких как «булочки», «младенцы», «жуки», «боевые роботы» и т. д.); и эти вещи обладают множеством АТРИБУТОВ (таких как «выпеченный», «красивый», «черный», «сломанный» и т. д.: по сути, все, что можно «приписать», то есть «говорят, что оно принадлежит» какой-либо вещи, является атрибутом). Всякий раз, когда мы хотим упомянуть вещь, мы используем СУБСТАНТИВНОЕ: когда мы хотим упомянуть атрибут, мы используем ПРИЛАГАТЕЛЬНОЕ. Люди задавали вопрос: «Может ли вещь существовать без каких-либо атрибутов, принадлежащих ей?» Это очень загадочный вопрос, и я не собираюсь пытаться на него ответить: давайте презрительно закроем на него глаза и будем относиться к нему с презрительным молчанием, как будто он действительно не заслуживает внимания. Но если они поставят вопрос в другую сторону и спросят: «Может ли атрибут существовать без чего-либо, к чему он мог бы принадлежать?», мы сразу же ответим: «Нет: не больше, чем младенец может отправиться в железнодорожное путешествие без кого-либо, кто бы о нем заботился!» Вы ведь никогда не видели «красивое», парящее в воздухе или разбросанное по полу, без чего-либо, что могло бы БЫТЬ красивым, не так ли?
Итак, к чему же я клоню во всей этой длинной чепухе? Вот к чему. Вы можете поставить «is» или «are» между названиями двух ВЕЩЕЙ (например, «некоторые свиньи — толстые животные») или между названиями двух АТРИБУТОВ (например, «розовый — светло-красный»), и в каждом случае это будет иметь смысл. Но если вы поставите «is» или «are» между названием ВЕЩИ и названием АТРИБУТА (например, «некоторые свиньи розовые»), это НЕ будет иметь смысла (ибо как вещь может БЫТЬ атрибутом?), если у вас нет взаимопонимания с человеком, с которым вы разговариваете. И самое простое понимание, я думаю, будет таким: предполагается, что существительное повторяется в конце предложения, так что предложение, если его написать полностью, будет звучать так: «некоторые свиньи розовые (Свиньи)». И теперь слово «are» приобретает вполне понятный смысл.
Таким образом, чтобы правильно понять утверждение «некоторые новые пирожные хороши», мы должны предположить, что оно записано полностью в форме «некоторые новые пирожные хороши (Пирожные)». В этой форме содержатся два «ТЕРМИНА» — «новые пирожные» и «хорошие (Пирожные)». «Новые пирожные», о которых мы говорим, называются «СУБЪЕКТОМ» утверждения, а «хорошие (Пирожные)» — «ПРЕДИКАТОМ». Также это утверждение называется «ЧАСТНЫМ», поскольку оно говорит не о ВСЕМ своем СУБЪЕКТЕ, а только о ЕГО ЧАСТИ. Два других вида называются «УНИВЕРСАЛЬНЫМИ», потому что они говорят о ВСЕМ своих СУБЪЕКТАХ — один отрицает «хорошесть», а другой утверждает ее, — о ВСЕМ классе «новых пирожных». Наконец, если вы хотите получить определение самого слова «предложение», можете взять следующее: «предложение, утверждающее, что некоторые, или ни одно, или все вещи, принадлежащие к определенному классу, называемому его «подлежащим», также являются вещами, принадлежащими к определенному другому классу, называемому его «сказуемым»».
Эти семь слов — ПРЕДЛОЖЕНИЕ, АТРИБУТ, ТЕРМИН, ПОДЛЕЖАЩИЙ, ПРЕДИКАТ, ЧАСТНЫЙ, УНИВЕРСАЛЬНЫЙ — окажутся для вас весьма полезными, если вдруг кто-нибудь из ваших друзей спросит, изучали ли вы когда-нибудь логику. Обязательно включите все семь слов в свой ответ, и ваш друг уйдет от вас с глубоким впечатлением — «более печальным и более мудрым человеком».
Теперь, пожалуйста, взгляните на меньшую диаграмму на доске и представьте, что это шкаф, предназначенный для всех пирожных в мире (разумеется, он должен быть большим и хорошим). Предположим, что все новые пирожные помещены в верхнюю половину (обозначенную «x»), а все остальные (то есть, НЕ новые) — в нижнюю половину (обозначенную «x»). Таким образом, нижняя половина будет содержать ПОСТАРЫЕ пирожные, ВЫЦВШИЕ пирожные, ДОПОСВЯЩЕННЫЕ пирожные — если таковые имеются: я сам их не видел много — и так далее. Предположим также, что все хорошие пирожные помещены в левую половину (обозначенную «y»), а все остальные (то есть, не очень хорошие) — в правую половину (обозначенную «y»). В настоящее время мы должны понимать x как «новый», x' как «не новый», y' как «хороший», а y' как «не очень хороший».
А какие пирожные вы ожидаете найти в отсеке
№ 5?
Это часть верхней половины, понимаете? Поэтому, если в ней есть пирожные, они должны быть НОВЫМИ; и это часть левой половины, поэтому они должны быть ХОРОШИМИ. Следовательно, если в этом отделении есть пирожные, они должны обладать двойным атрибутом «новый и хороший»: или, если использовать буквы, то должно быть «x y».
Обратите внимание, что буквы x и y написаны на двух краях этого отсека. Это очень удобное правило для определения того, какими атрибутами обладают предметы в любом отсеке. Возьмем, к примеру, предмет № 7. Если там есть какие-либо пирожные, они должны быть «x' y», то есть «не новые и красивые».
Теперь давайте заключим еще одно соглашение: красный счетчик в отсеке означает, что он «ЗАНЯТ», то есть в нем ЕСТЬ КАКИЕ-ТО пирожные. (Слово «какие-то» в логике означает «одно или несколько», так что одного пирожного в отсеке вполне достаточно, чтобы сказать: «Здесь ЕСТЬ КАКИЕ-ТО пирожные»). Также давайте договоримся, что серый счетчик в отсеке означает, что он «ПУСТ», то есть в нем НЕТ пирожных. На следующих диаграммах я буду ставить «1» (что означает «одно или несколько») там, где нужно поставить КРАСНЫЙ счетчик, и «0» (что означает «ни одного») там, где нужно поставить СЕРЫЙ.
Поскольку предметом нашего предложения являются «новые торты», в настоящее время нас интересует только ВЕРХНЯЯ половина шкафа, где все торты обладают атрибутом x, то есть «новые».
Теперь, сосредоточив внимание на верхней половине, предположим, что мы обнаружили её с такой маркировкой:
—————-
| | |
| 1 | | |
| |
—————-
То есть, с красным счетчиком под номером 5. Что это нам скажет относительно класса «новых тортов»?
Разве это не говорит нам о том, что НЕКОТОРЫЕ из них находятся в отсеке x-y? То есть, что некоторые из них (помимо наличия атрибута x, который принадлежит обоим отсекам) обладают атрибутом y (то есть, «хорошие»). Это можно выразить словами: «некоторые торты x — это торты y», или, используя слова вместо букв,
«Некоторые новые торты хороши (торты)».
или, в более короткой форме,
«Некоторые новые торты хороши».
Наконец-то мы выяснили, как представить первое утверждение этого раздела. Если вы не до конца поняли всё, что я сказал, не читайте дальше, а перечитывайте снова и снова, пока не поймёте. После того, как вы это освоите, всё остальное покажется вам довольно лёгким.
Чтобы упростить выполнение остальных предложений, мы договоримся вообще не использовать слово «пироги». Мне удобнее называть весь класс вещей, для которых предназначен этот шкаф, «Вселенной». Так мы могли бы начать с фразы: «Давайте возьмем Вселенную Пирогов». (Звучит неплохо, не правда ли?)
Конечно, любые другие вещи подошли бы ничуть не хуже, чем торты. Мы могли бы выдвинуть предложения о «Вселенной ящериц» или даже «Вселенной шершней». (Разве это не была бы очаровательная вселенная для жизни?)
Таким образом, к настоящему моменту мы узнали, что
—————-
| | |
| 1 | | |
| |
—————-
означает «некоторые x и y», то есть «некоторые новые вещи хороши».
Думаю, без дальнейших объяснений вы поймете, что
—————-
| | |
| | 1 |
| | |
—————-
означает «некоторые x — это y», то есть «некоторые новые — неприятные».
Теперь давайте поместим СЕРЫЙ счетчик в число 5 и зададимся вопросом, что это значит.
—————-
| | |
| 0 | |
| | |
—————-
Это говорит нам о том, что отсек x-y ПУСТ, что мы можем выразить словами «ни один x не является y» или «ни один новый торт не хорош». Это второе из трех утверждений в начале этого раздела.
Таким же образом,
—————-
| | |
| | 0 |
| | |
—————-
Это означало бы «нет ничего плохого» или «нет ничего плохого в новых тортах».
Интересно, что бы вы об этом подумали?
—————-
| | |
| 1 | 1 |
| | |
—————-
Надеюсь, вам не составит труда понять, что это представляет собой ДВОЙНОЕ утверждение: а именно, «некоторые x являются y, И некоторые являются y», то есть «некоторые новые хороши, а некоторые не очень».
Следующее задание, пожалуй, немного сложнее:
—————-
| | |
| 0 | 0 |
| | |
—————-
Это означает, что «ни один x не является y, И ни один не является y», то есть «ни один новый не является хорошим, И ни один не является плохим»: что приводит к довольно любопытному результату: «ни одного нового не существует», то есть «ни один торт не является новым». Это происходит потому, что «хорошие» и «плохие» образуют то, что мы называем «ИСЧИСЛЯЮЩИМ» разделением класса «новые торты»: то есть между ними они ИСЧЕЗАЮТ весь класс, так что все новые торты, которые существуют, должны находиться в одном или другом из них.
А теперь предположим, вам нужно представить с помощью счетчиков противоречие утверждению «Нет новых тортов», которое звучало бы как «Некоторые торты новые», или, если использовать буквы вместо слов, как «Некоторые торты x». Как бы вы это сделали?
Полагаю, это вас немного озадачит. Очевидно, вы должны поставить красный прилавок ГДЕ-НИБУДЬ в верхней половине шкафа, поскольку знаете, что появились новые пирожные. Но вы не должны ставить его в ЛЕВОЕ отделение, поскольку не знаете, хорошие ли они; и вы не можете ставить его в ПРАВОЕ, поскольку не знаете, плохие ли они.
Что же вам делать? Думаю, лучший выход из этой ситуации — разместить красный счетчик НА РАЗДЕЛИТЕЛЬНОЙ ЛИНИИ между плоскостями xy и xy'. Я это покажу (поскольку я всегда ставлю «1» там, где нужно разместить красный счетчик) на диаграмме.
—————-
| | |
| -1- |
| | |
—————-
Наши находчивые американские кузены придумали выражение, чтобы описать позицию человека, который хочет присоединиться к одной из двух партий — например, к их собственной партии «демократы» и «республиканцы» — но не может определиться, КАКОЙ именно. Такого человека называют «сидящим на заборе». Именно в таком положении находится красная фишка, которую вы только что поставили на разделительную линию. Ему нравится номер 5, ему нравится номер 6, и он не знает, КАКОЙ именно ему выбрать. И вот он сидит, глупый человечек, свесив ноги, по одной с каждой стороны забора!
Теперь я дам вам гораздо более сложный для понимания текст. Что это значит?
—————-
| | |
| 1 | 0 |
| | |
—————-
Это явно ДВОЙНОЕ утверждение. Оно говорит нам не только о том, что «некоторые x являются y», но и о том, что «никакие x не являются y». Следовательно, результат — «ВСЕ x являются y», то есть «все новые торты хороши», что является последним из трех утверждений в начале этого раздела.
Таким образом, мы видим, что универсальное утверждение
«Все новые торты великолепны»
состоит из двух утверждений, взятых вместе, а именно:
«Некоторые новые торты хороши»,
и «Ни один новый торт не плох».
Таким же образом
—————-
| | |
| 0 | 1 |
| | |
—————-
Это означало бы "все x — это y", то есть
«Все новые торты невкусные».
А как бы вы отреагировали на такое утверждение, как «Торт, который вы мне дали, вкусный»? Это частное или универсальное утверждение?
«Конечно, речь идёт о чём-то особенном», — с готовностью отвечаете вы. «Даже один-единственный торт вряд ли заслуживает того, чтобы называться „несколькими“».
Нет, мой дорогой импульсивный читатель, это «Вселенная». Помните, что, хотя их и немного (и я признаю, что их не может быть меньше), это (или, скорее, «это») ВСЁ, что вы мне дали! Таким образом, если (исключив «красный» из списка) я разделю свою Вселенную Пирожных на два класса — Пирожные, которые вы мне дали (к которым я отвожу верхнюю половину шкафа), и те, которые вы мне НЕ дали (которые должны быть внизу), — я обнаружу, что нижняя половина довольно полна, а верхняя почти пуста. И затем, когда мне скажут сделать вертикальное деление на каждую половину, оставив ХОРОШИЕ Пирожные слева, а НЕ ХОРОШИЕ справа, я начну с того, что тщательно соберу ВСЕ Пирожные, которые вы мне дали (время от времени говоря себе: «Щедрое создание! Как я когда-нибудь отплачу за такую доброту?»), и сложу их в левом отделении. И на это не потребуется много времени!
Вот вам ещё одно универсальное утверждение. «Барзиллаи Беккелегг — честный человек». Это значит, что «ВСЕ Барзиллаи Беккелегги, которых я сейчас рассматриваю, — честные люди». (Вы думаете, я сам придумал это имя? Но нет. Оно написано на телеге какого-то перевозчика где-то в Корнуолле.)
Такое универсальное утверждение (где субъектом является единая
вещь) называется «индивидуальным» утверждением.
Теперь возьмем в качестве подлежащего "ХОРОШИЕ пирожные": то есть, сосредоточим свои мысли на ЛЕВОЙ половине шкафа, где все пирожные обладают атрибутом y, то есть "хорошие".
———
Предположим, мы обнаружим его с такой маркировкой: — | |
| 1 |
Что это нам скажет? | |
———
| |
| |
| |
———
Надеюсь, после столь подробного объяснения ГОРИЗОНТАЛЬНОГО продолговатого объекта не потребуется много времени на рассмотрение ВЕРТИКАЛЬНОГО. Надеюсь, вы сами поймете, что это означает «некоторые y являются x», то есть,
«Появились новые вкусные торты».
«Но», — скажете вы, — «у нас уже был такой случай. Вы поставили красный счётчик в число 5 и сказали, что это означает «некоторые новые пирожные хороши»; а теперь вы говорите, что это означает «некоторые ХОРОШИЕ пирожные НОВЫЕ»! Может ли это означать И ТО И ДРУГОЕ?»
Вопрос очень вдумчивый и очень вам помогает, дорогой читатель! Он действительно означает и то, и другое. Если вы решите взять x (то есть «новые торты») в качестве подлежащего и рассматривать № 5 как часть ГОРИЗОНТАЛЬНОГО прямоугольника, вы можете прочитать это как «некоторые x — это y», то есть «некоторые новые торты хороши»: но если вы решите взять y (то есть «хороший торт») в качестве подлежащего и рассматривать № 5 как часть ВЕРТИКАЛЬНОГО прямоугольника, ТОГДА вы можете прочитать это как «некоторые y — это x», то есть «некоторые хорошие торты — новые». Это всего лишь два разных способа выразить одну и ту же истину.
Без лишних слов я просто перечислю другие способы обозначения этого вертикального продолговатого прямоугольника, добавив значение в каждом случае. Сравнив их с различными вариантами обозначения горизонтального продолговатого прямоугольника, вы, надеюсь, сможете их ясно понять.
Вам покажется хорошей идеей проверить себя за этим столом, закрыв сначала один столбец, затем другой и «уворачиваясь», как говорят дети.
Также вам будет полезно составить для себя еще две таблицы — одну для НИЖНЕЙ половины шкафа, а другую для его ПРАВОЙ половины.
И теперь, я думаю, мы сказали все, что нужно было сказать о меньшей
диаграмме, и можем перейти к большей.
_________________________________________________ | Символы. | Значения. _______________|_________________________________ ——- | | | | | | | Некоторые y являются x'; | | | то есть Некоторые хорошие не являются новыми. ——- | | | | | 1 | | | | | ——- | | ——- | | | | Нет y, которые являются x; | 0 | | то есть Никакие хорошие не являются новыми. | | | ——- | [Обратите внимание, что это всего лишь другой способ | | | выразить «Нет ничего нового, что было бы хорошим».] | | | | | | ——- | | ——- | | | | | | | Нет y, которые являются x'; | | | то есть Никакие хорошие не являются не новыми. ——- | | | | | 0 | | | | | ——- | | ——- | | | | | 1 | | Некоторые y являются x, а некоторые — x'; | | | то есть Некоторые хорошие являются новыми, а некоторые ——- | не новыми. | | | | 1 | | | | | ——- | | ——- | | | | | 0 | | Нет y, которые являются x, и ни один не является x'; то есть y не существует; ——- | то есть нет хороших тортов. | | | | 0 | | | | | ——- | | ——- | | | | | 1 | | Все y являются x; | | | то есть Все хорошие — новые. ——- | | | | | 0 | | | | | ——- | | ——- | | | | | 0 | | Все y являются x'; | | | то есть Все хорошие — не новые. ——- | | | | | 1 | | | | | ——- | _______________|_________________________________
Это можно рассматривать как шкаф, разделённый таким же образом, как и предыдущий, но ТАКЖЕ разделённый на две части для атрибута m. Присвоим m значение «полезный»: и предположим, что все полезные пирожные находятся ВНУТРИ центрального квадрата, а все вредные — СНАРУЖИ, то есть в одном из четырёх странных ВНЕШНИХ отделений.