Логическая игра | страница 14



— клетке 11 — не стоит ничего. Если эта клетка окажется пустой, то и весь квадрат xy будет пуст. Если же клетка 11 окажется занятой, то и квадрат xy будет занят. Итак, поскольку нам неизвестно, какая фишка стоит в клетке 11 — красная или чёрная, — мы ничего не можем сказать и относительно квадрата xy.

Зато о другом квадрате — xy' — мы можем с уверенностью утверждать, что он (как и в предыдущем примере) занят.

Перенеся разметку на меньшую диаграмму, получим

что означает «Некоторые x суть y'».

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

Если же мы захотим узнать, какое суждение (относительно x и y) содержится в нижней половине большой диаграммы, на которой нули и единицы расставлены так

то, преобразовав её в малую диаграмму

мы без труда «расшифруем» скрытое в ней суждение: «Все x' суть y».

Относительно суждений необходимо сделать ещё два замечания.

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

Во-вторых, если суждение начинается со слов «некоторые» или «ни один» и содержит более двух признаков, то эти признаки можно произвольно переставлять и относить к любому из терминов суждения.

Например, суждение «некоторые abc суть def» можно преобразовать в суждение «Некоторые bf суть acde», причём каждое из суждений (и исходное, и преобразованное) эквивалентно суждению «Некоторые предметы суть abcdef».

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