Litvek - онлайн библиотека >> Льюис Кэрролл >> Математика и др. >> Логическая игра >> страница 3
Цвета фишек


Стало вдруг светлым-светло:

Солнце КРАСНОЕ взошло.

Логическая игра. Иллюстрация № 5


А у ночи ЧЁРНЫЙ цвет:

Солнца на небе уж нет.

Логическая игра. Иллюстрация № 6

Глава 1. Старые истины на новый лад

Логическая игра. Иллюстрация № 7

§ 1. Суждения

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

«Ни одна свежая булочка не вкусная».

«Все свежие булочки вкусные».

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

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

В окружающем нас мире имеется много предметов (таких, как «берёзки», «бараны», «бациллы», «быки» и т. д.). Предметы эти обладают множеством признаков (таких, как, например, «белые», «бестолковые», «болезнетворные», «бодливые» и т. п.; в действительности любое свойство, которое «признано» за предметом, или, как ещё говорят, «принадлежит ему», может служить его признаком). Если нам нужно назвать предмет, мы употребляем существительное. Если же нужно назвать какой-нибудь признак, мы употребляем прилагательное. Наверное, найдутся люди, которым захочется спросить: «Может ли существовать предмет, не обладающий никакими признаками?» Это очень трудный вопрос, и я даже не буду пытаться ответить на него. Мы просто гордо отвернёмся и будем хранить презрительное молчание, делая вид, будто он не достоин нашего внимания. Но если вопрос поставлен иначе и люди хотят знать, могут ли существовать признаки, не принадлежащие никаким предметам, то мы сразу же сможем ответить: «Нет, как не могут грудные младенцы самостоятельно совершать поездки по железной дороге!» Ведь не приходилось же вам никогда видеть, как «блестящее» плавает в воздухе или рассыпано по полу, без того, чтобы хоть какой-нибудь предмет не был блестящим?

К чем я веду весь этот длинный (и довольно бессвязный) разговор? А вот к чему. Между именами двух предметов или между именами двух предметов или между именами двух признаков можно вставить слово «есть» или «суть»[1] (или подразумевать, что такое слово вставлено), и при этом результат получится вполне осмысленным. Например, «некоторые свиньи суть жирные животные» или «розовый — это светло-красный». Но если вы вставите слово «есть» или «суть» между именем предмета и именем признака (например, «некоторые свиньи суть розовые»), то ничего хорошего из этого не получится (ибо как может предмет быть признаком?), если тот, с кем вы говорите, не знает заранее, что вы имеете в виду. Мне кажется, что добиться взаимопонимания было бы проще всего, если бы мы условились повторять существительное в конце предложения. В этом случае предложение, если его записать полностью, имело бы вид: «Некоторые свиньи суть розовые (свиньи)». Никаких противоречий при этом не возникает. Итак, чтобы суждение «Некоторые свежие булочки вкусные» имело смысл, необходимо предположить, что оно записано в развёрнутом виде: «Некоторые свежие булочки суть вкусные (булочки)».

Полное суждение содержит два термина: один из них — «некоторые булочки», другой — «вкусные булочки». Термин «некоторые булочки», о котором идёт речь, называется субъектом суждения, термин «вкусные булочки» — предикатом суждения. Наше суждение частное, поскольку в нем говорится не о в всем субъекте, а лишь о его части. Суждения «Ни одна свежая булочка не вкусная» и «Все свежие булочки вкусные» называются общими, поскольку в каждом из них речь идёт обо всем предикате: в первом из них отрицается а во втором утверждается «вкуснота» всего класса «свежих булочек». Наконец, если вы захотите узнать, что же такое суждение, то мы можем предложить вам следующее определение: «Суждение — это предложение, утверждающее, что некоторые или все предметы, принадлежащие определённому классу, называемому субъектом, одновременно являются предметами, принадлежащими другому классу, называемому предикатом» (или что ни один предмет, принадлежащий классу «субъект», не является предметом, принадлежащим классу «предикат»).

Эти девять слов — суждение, признак, термин, суждения, субъект, предикат, частное и общее суждение — окажутся необычайно полезными, если кому-нибудь из ваших приятелей придёт в голову поинтересоваться, не приходилось ли вам когда-нибудь изучать логику. Не забудьте употребить в своём ответе все девять слов, и ваш приятель удалится совершенно потрясённым, «став не только мудрее, но и печальнее». Взгляните теперь на меньшую диаграмму (с. 9). Предположим, что она нарисована на подносе, который вмещает все булочки в мире (разумеется, размеры его должны быть достаточно велики). Пусть все свежие булочки находятся на верхней половине диаграммы (помеченной буквой x), а все остальные (т. е. не свежие) — на нижней (помеченной буквой x'). На нижней половине окажутся чёрствые булочки, окаменевшие булочки, допотопные булочки (если таковые существуют — лично мне их видеть не приходилось) и т. д. Сделаем ещё одно предположение: будем считать, что все вкусные булочки находятся на левой половине диаграммы (помеченной буквой y), а все прочие (т. е. не вкусные) булочки — на правой половине (помеченной буквой y'). Таким образом, x временно означает «свежие», x' — «несвежие», y — «вкусные» и y' — «невкусные».

Как вы думаете, какие булочки находятся в клетке 5?

Вы видите, что эта клетка расположена в верхней половине диаграммы. Следовательно, если в ней есть хоть какие-нибудь булочки, то они должны быть свежими. В то же время клетка 5 расположена в левой половине диаграммы; следовательно, принадлежащие ей булочки должны быть вкусными. Таким образом, если мы воспользуемся буквенными обозначениями, «быть xy».

Обратите внимание, что буквы x и y написаны на двух сторонах клетки 5. Как вы увидите в дальнейшем, это позволяет необычайно просто узнавать, какими признаками обладают предметы, находящиеся в любой из клеток. Возьмём, например, клетку 7. Если в ней есть булочки, то они должны быть x'y, т. е. «несвежие и вкусные».

Примем теперь ещё одно соглашение: будем считать, что клетка «занята», т. е. в ней находятся некоторые булочки, если на ней стоит красная фишка. Слово «некоторые» в логике означает «одна или несколько», поэтому одной-единственной булочки в клетке совершенно достаточно для того, чтобы мы могли сказать: «В этой