Льюис Кэрролл: Логическая игра

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

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

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

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

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

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

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

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

Читать дальше