Такой тип общих суждений, у которых субъект сводится к одному-единственному предмету, называются единичным суждением.
Выберем теперь «вкусные булочки» в качестве субъекта суждения, т. е. сосредоточим наше внимание на левой половине подноса, где все булочки обладают признаком y, иначе говоря, вкусные.
Предположим, что левая половина размечена следующим образом
Что бы это значило?
После того как мы столь подробно объяснили, что означают все возможные случаи для двух клеток, расположенных по горизонтали, нет необходимости тратить время на перебор всех мыслимых случае заполнения двух клеток, выстроенных по вертикали. Думаю, что вы и сами догадались: красная фишка в верхней клетке означает «Некоторые y суть x», или «Некоторые вкусные булочки свежие».
— Как же так? — спросите вы. — Ведь с красной фишкой, стоящей в клетке 5, мы уже встречались. Тогда вы поставили красную фишку на клетку 5 и сказали, что это означает «Некоторые свежие булочки вкусные», а теперь вы утверждаете, будто красная фишка, стоящая в клетке 5, означает «Некоторые вкусные булочки свежие». Разве может красная фишка в клетке 5 означать и то и другое суждение одновременно?
Вопрос этот весьма глубок и делает честь вашей проницательности, дорогой читатель! Красная фишка, стоящая в клетке 5, действительно означает и то и другое суждение. Если в качестве объекта суждения вы выберете x (т. е. «свежие булочки»), а клетку 5 будете считать стоящей в горизонтальном ряду, получится суждение «Некоторые x суть y», т. е. «Некоторые свежие булочки вкусные». Если же в качестве объекта суждения вы выберете y (т. е. «вкусные булочки»), а клетку 5 будете считать стоящей в вертикальном ряду, получится суждение «Некоторые вкусные булочки свежие». Оба суждения служат двумя различными способами выражения одной и той же истины.
Не тратя лишних слов, я просто выпишу все остальные случаи заполнения двух вертикальных клеток, указывая каждый раз суждение, которому они соответствуют. Сравнивая их с различными вариантами заполнения горизонтального ряда, вы без труда во всем разберётесь.
Прекрасный способ проверить себя с помощью приводимой ниже таблицы — закрыть сначала правый, потом левый столбец и попытаться самостоятельно восстановить его. Такая проверка поможет вам, как говорят школьники, выучить таблицу «назубок».
Будет очень хорошо, если вы составите для себя ещё две таблицы: одну — для нижней половины подноса, другую — для его правой половины.
Обозначения — Суждения
— «Некоторые x суть y'», т. е. «Некоторые вкусные (булочки) чёрствые».
— «Ни один y не есть x», т. е. «Ни одна вкусная (булочка) не свежая». Обратите внимание, что то же самое можно сказать иначе: «Ни одна свежая булочка не вкусная».
— «Ни один y не есть x», т. е. «Ни одна вкусная булочка не чёрствая».
— «Некоторые y суть x, и некоторые y суть x'», т. е. «Некоторые вкусные (булочки) свежие, и некоторые — не свежие».
— «Ни один y не есть x, и ни один y' не есть x», т. е. «Ни один y не существует», или «Вкусных булочек нет».
— «Все y суть x», т. е. «Все вкусные булочки свежие».
— «Все y суть x'», т. е. «Все вкусные булочки не свежие».
Мне кажется, что мы уже сказали все необходимое о малой диаграмме и можем переходить к большой.
Её можно представлять себе в виде подноса, расчерченного так же, как мы расчерчивали подносы до сих пор, который, кроме того, разделён на две части (для признака m).
Условимся считать, что m означает «полезный». Предположим, что все полезные булочки сложены внутри центрального квадрата, а все не полезные (вредные для здоровья) — вне его, т. е. в какой-то из четырёх внешних причудливо изогнутых клеток.
При рассмотрении малой диаграммы булочки, находившиеся в каждой из её клеток, обладали двумя признаками. Теперь же булочки в любой из клеток обладают тремя признаками. Буквы, обозначавшие два признака, мы ставили на границе, отделяющей одну клетку от другой. Теперь же мы будем ставить их у вершин клеток. (Обратите внимание на то, что внешние вершины четырёх наружных клеток считаются помеченными буквой m.) Взглянув на любую клетку, мы можем тотчас же сказать, какими тремя признаками обладают находящиеся в ней предметы. Возьмём, например, клетку 12. В её вершинах стоят буквы x, y', m, поэтому мы знаем, что находящиеся в ней булочки (если таковые существуют) обладают тройным признаком xy'm, т. е. «свежие, невкусные и полезные». Рассмотрим теперь клетку 16. В её вершинах стоят буквы x', y', m'. Следовательно, находящиеся в ней булочки «несвежие, невкусные и не полезные».
Перебор всех суждений, содержащих x и y, x и m, y и m, которые можно представить на большой диаграмме, занял бы слишком много времени, и я ограничусь тем, что рассмотрю лишь два или три суждения в качестве примера (думаю, что вы не станете сердиться на меня за это, когда узнаете, что всего таких суждений 96). Но вы поступите очень хорошо, если изучите гораздо больше случаев.
Рассмотрим отдельно верхнюю половину большой диаграммы, иначе говоря, суждения с субъектом «свежие булочки». Как изобразить на ней суждение «Ни одна свежая булочка не полезная»?
В буквенных обозначениях интересующее нас суждение имеет вид: «Ни один x не есть m». Записанное так, оно говорит нам, что ни одна из булочек, находящаяся на верхней половине подноса (т. е. большой диаграммы), не лежит внутри центрального квадрата. Другими словами, клетки 11 и 12 пусты. На диаграмме такая ситуация изображается так
А как выглядит противоположное суждение «Некоторые x суть m»? Эту трудность мы уже обсуждали. Лучший способ разрешить её состоит, как мне кажется, в следующем. Нужно поставить красную фишку на линию, отделяющую клетку 11 от клетки 12, и считать, что это означает: «Одна из клеток (11 и 12) „занята“, но какая именно, пока ещё не известно». На диаграмме эту ситуацию я обозначу так
Изобразим на диаграмме суждение «Все x суть m». Как мы уже знаем, оно состоит из двух суждений
«Некоторые x суть m»
и
«Ни один x не есть не m».
Начнём с отрицательного суждения. Оно говорит нам, что ни одна из булочек, находящихся на верхней половине подноса, не должна лежать вне центрального квадрата, т. е. что клетки 9 и 10 пустые. Ясно, что на диаграмме это выглядит так
Но мы должны ещё нанести на диаграмму суждение «Некоторые x суть m». Оно говорит нам, что некоторые булочки находятся в горизонтальном ряду, состоящему из клеток 11 и 12. Поэтому, как и в предыдущем примере, мы поставим красную фишку на границу, отделяющую клетку 11 от клетки 12, и в результате получим
Попытаемся теперь перевести одну или две диаграммы на обычный язык.
Что можно сказать относительно x и y, глядя на диаграмму
Прежде всего мы видим, что квадрат xy' полностью пуст: и клетка 12, и «уголок» 10 помечены нулями. Относительно квадрата xy диаграмма говорит нам, что он занят. Правда, помечена единицей в нем лишь клетка 11, но и этого вполне достаточно, чтобы утверждать (независимо от того, пуст или занят «уголок» 9), что в квадрате xy что-то есть.
Если мы захотим избавиться от признака m и перейдём к меньшей диаграмме, то в её клетках нуль и единица будут расставлены так
что, как известно, означает «Все x суть y».
Точно к такому же результату мы бы пришли, если бы верхняя половина большой диаграммы имела вид
А что можно сказать относительно x и y, глядя на диаграмму
Прежде всего, что одна из частей квадрата xy — его «уголок» — пуста. Но эта информация совершенно бесполезна, поскольку в другой его части — клетке 11 — не стоит ничего. Если эта клетка окажется пустой, то и весь квадрат xy будет пуст. Если же клетка 11 окажется занятой, то и квадрат xy будет занят. Итак, поскольку нам неизвестно, какая фишка стоит в клетке 11 — красная или чёрная, — мы ничего не можем сказать и относительно квадрата xy.
Зато о другом квадрате — xy' — мы можем с уверенностью утверждать, что он (как и в предыдущем примере) занят.
Перенеся разметку на меньшую диаграмму, получим
что означает «Некоторые x суть y'».
Те же принципы применимы и ко всем другим половинкам большой диаграммы — вертикальным и горизонтальным. Например, чтобы представить на большой диаграмме суждение «Все y' суть m'», необходимо взять её правую вертикальную половину (ту, которая отвечает признаку y') и разметить её следующим образом
Если же мы захотим узнать, какое суждение (относительно x и y) содержится в нижней половине большой диаграммы, на которой нули и единицы расставлены так
то, преобразовав её в малую диаграмму
мы без труда «расшифруем» скрытое в ней суждение: «Все x' суть y».
Относительно суждений необходимо сделать ещё два замечания.
Во-первых, в каждом суждении, начинающемся со слов «некоторые» или «все», утверждается, что субъект суждения существует в действительности. Например, если я говорю: «Все скупые люди эгоистичны», то я подразумеваю что скупые люди существуют в действительности. Если бы я хотел избежать такого утверждения или только сформулировать правило, согласно которому скупость с необходимостью влечёт за собой эгоизм, то я выразился бы иначе: «Ни один скупой человек не есть неэгоист». Это суждение не утверждает, что скупые люди вообще существуют. В нем лишь говорится, что если бы скупые люди существовали, то они были бы эгоистами.
Во-вторых, если суждение начинается со слов «некоторые» или «ни один» и содержит более двух признаков, то эти признаки можно произвольно переставлять и относить к любому из терминов суждения.
Например, суждение «некоторые abc суть def» можно преобразовать в суждение «Некоторые bf суть acde», причём каждое из суждений (и исходное, и преобразованное) эквивалентно суждению «Некоторые предметы суть abcdef».
Ещё пример. Суждение «Ни один мудрый пожилой человек не является опрометчивым и безрассудным игроком» можно преобразовать так: «Ни один опрометчивый пожилой игрок не является мудрым и безрассудным (человеком)». Оба суждения эквивалентны следующему: «Ни один человек не является мудрым, пожилым, опрометчивым и безрассудным игроком».
§ 2. Силлогизмы
Предположим теперь, что мы разделили наш «Мир предметов» тремя способами в соответствии с тремя различными признаками. Из трёх признаков можно составить три различные пары (например, если имеются признаки a, b, c, то из них можно составить три пары ab, ac и bc). Предположим кроме того, что два суждения, содержащие две из трёх пар признаков, нам даны, и что из них мы умеем выводить третье суждение, содержащее оставшуюся (третью) пару признаков. (Пусть, например, мы разделили наш «Мир» в соответствии с признаками m, x и y. Тогда, если нам даны два суждения «Ни одно m не есть x'» и «Все m' суть y», содержащее пары признаков mx и my, то, опираясь на них, мы можем доказать третье суждение, содержащее признаки x и y.)
В этом случае те суждения, которые даны, называются посылками, третье, выводимое из них суждение — заключением, а все вместе — силлогизмом.
Ясно, что либо один из признаков непременно должен входить в обе посылки, либо в одну посылку должен входить сам признак, а в другую — ему противоположный.
В первом случае термин, который повторяется дважды (например, когда в качестве посылок выбраны суждения «Некоторые m суть x» и «Ни одно m не есть y'»), называется средним термином, поскольку он служит своего рода связующим звеном между двумя другими терминами.
Во втором случае (например, когда посылки имеют вид суждений «Ни один m не есть x'», и «Все m' суть y») два термина, содержащие противоположные признаки, можно назвать средними терминами.
Таким образом, в первом случае средний термин — это класс «m-предметов», во втором случае в роли средних терминов выступают два класса — «m-предметов» и «m'-предметов».
Признак, входящий в средний член или в средние члены, не входит в заключение. О нем говорят, что его «исключили» (по-учёному, «элиминировали»), что означает буквально «выставили за дверь».
Попытаемся вывести заключение из двух посылок:
«Некоторые свежие булочки неполезные»,
«Ни одна вкусная булочка не неполезная».
Чтобы выразить их с помощью фишек, необходимо разделить булочки тремя различными способами: по тому, свежие ли они, вкусные или полезные. Для этого нам придётся воспользоваться большой диаграммой, условившись заранее, что x означает «свежие», y — «вкусные» и m — «полезные». (Все, что находится внутри центрального квадрата, по предположению обладает признаком m, все, что находится вне его, — признаком m', т. е. «не-m».)
В качестве m лучше всего выбрать признак, входящий в средний термин или в средние термины. (Я обозначил этот признак буквой m потому, что именно с неё начинается слово middle — «средний».)
Изображая на диаграмме посылки силлогизма, лучше всего начинать с отрицательной посылки («Ни один…» и т. д.). Дело в том, что расстановка черных фишек не вызывает никаких сомнений и помогает уточнить расположение красных фишек, которые иногда испытывают лёгкую неуверенность относительно того, где их присутствие наиболее желательно.
Изобразим, например, суждение «Ни одна вкусная булочка не есть неполезная (булочка)», т. е. «Ни одна y-булочка не есть m'-булочка». Оно говорит нам, что ни одна из булочек, находящихся на половине y подноса, не находится в его клетках m' (т. е. «уголках», лежащих вне центрального квадрата). Следовательно, обе клетки — m'-клетка 9 и клетка 15 — пусты, и на каждую из них мы должны поставить по чёрной фишке:
Нам осталось изобразить на диаграмме вторую посылку, а именно: «Некоторые свежие булочки суть неполезные (булочки)», т. е. «Некоторые x-булочки суть m' (булочки)». Последняя форма суждения говорит нам, что некоторые из булочек, находящихся на половине x нашего подноса, разместились в его клетках, помеченных буквой m'. Следовательно, одна из этих двух клеток — 9 или 10 — занята. Поскольку нам неизвестно, на какую из двух клеток следует поставить красную фишку, мы, следуя обычному правилу, должны были бы поставить её на границу, разделяющую клетки «соперницы». Однако в данном случае первая посылка позволяет решить спор: в ней говорится, что клетка 9 пуста. Следовательно, у красной фишки нет выбора. Волей-неволей ей приходится отправиться на клетку 10:
Какие сведения можно извлечь из этой диаграммы, чтобы с их помощью расставить фишки на малой диаграмме и, исключив признак m, получить суждение, содержащее только признаки x и y? Рассмотрим по очереди все четыре клетки малой диаграммы.
Начнём с клетки 5. Все, что мы о ней знаем, сводится к следующему: та часть большой диаграммы, которая расположена вне её, пуста. О том, что находится внутри этой клетки, ничего не известно. Следовательно, квадрат 5 может быть и пустым, и занятым. Какая из этих возможностей соответствует действительности, сказать трудно. Поэтому мы и не осмелимся поставить на клетку 5 ни красную, ни чёрную фишку.
Что можно сказать о клетке 6? Здесь положение немного лучше. Ведь мы уже знаем, что в «уголке», примыкающем извне к этой клетке, что-то есть. Следовательно, на клетке 10 большой диаграммы стоит красная фишка. Правда, нам неизвестно, пуста или занята сама клетка 6, но какое это имеет значение? Одной-единственной булочки в углу квадрата совершенно достаточно, чтобы мы имели право сказать: «Этот квадрат занят» и поставить на него красную фишку.
При рассмотрении клетки 7 мы оказываемся в том же положении, как и рассмотрении клетки 5: мы знаем, что она частично пуста, но не знаем, пуст или занят примыкающий к ней извне «уголок». Таким образом, на эту клетку мы также не можем поставить ни красную, ни чёрную фишку.
Относительно клетки 8 нам вообще ничего не известно.
Каков же результат? Он показан на диаграмме:
Наше «заключение» необходимо извлечь из весьма скудного обрывка сведений — из того лишь факта, что в квадрате ху' стоит красная фишка. Так мы приходим к суждению «Некоторые x суть y'», т. е. «Некоторые свежие булочки (суть) невкусные (булочки)», или, если вы предпочитаете выбрать в качестве субъекта y', «Некоторые невкусные булочки (суть) свежие (булочки)» (первое звучит все-таки более обнадеживающе).
Запишем теперь силлогизм полностью. Условимся ставить после посылок горизонтальную черту (означающую «следовательно») и опускать для краткости слово «булочки», стоящее в конце каждой посылки. У нас получится следующее:
«Некоторые свежие булочки неполезные».
«Ни одна вкусная булочка не неполезная».
–––
«Некоторые свежие булочки невкусные».
