Логическая игра | страница 14
Зато о другом квадрате — xy' — мы можем с уверенностью утверждать, что он (как и в предыдущем примере) занят.
Перенеся разметку на меньшую диаграмму, получим
что означает «Некоторые x суть y'».
Те же принципы применимы и ко всем другим половинкам большой диаграммы — вертикальным и горизонтальным. Например, чтобы представить на большой диаграмме суждение «Все y' суть m'», необходимо взять её правую вертикальную половину (ту, которая отвечает признаку y') и разметить её следующим образом
Если же мы захотим узнать, какое суждение (относительно x и y) содержится в нижней половине большой диаграммы, на которой нули и единицы расставлены так
то, преобразовав её в малую диаграмму
мы без труда «расшифруем» скрытое в ней суждение: «Все x' суть y».
Относительно суждений необходимо сделать ещё два замечания.
Во-первых, в каждом суждении, начинающемся со слов «некоторые» или «все», утверждается, что субъект суждения существует в действительности. Например, если я говорю: «Все скупые люди эгоистичны», то я подразумеваю что скупые люди существуют в действительности. Если бы я хотел избежать такого утверждения или только сформулировать правило, согласно которому скупость с необходимостью влечёт за собой эгоизм, то я выразился бы иначе: «Ни один скупой человек не есть неэгоист». Это суждение не утверждает, что скупые люди вообще существуют. В нем лишь говорится, что если бы скупые люди существовали, то они были бы эгоистами.
Во-вторых, если суждение начинается со слов «некоторые» или «ни один» и содержит более двух признаков, то эти признаки можно произвольно переставлять и относить к любому из терминов суждения.
Например, суждение «некоторые abc суть def» можно преобразовать в суждение «Некоторые bf суть acde», причём каждое из суждений (и исходное, и преобразованное) эквивалентно суждению «Некоторые предметы суть abcdef».
Ещё пример. Суждение «Ни один мудрый пожилой человек не является опрометчивым и безрассудным игроком» можно преобразовать так: «Ни один опрометчивый пожилой игрок не является мудрым и безрассудным (человеком)». Оба суждения эквивалентны следующему: «Ни один человек не является мудрым, пожилым, опрометчивым и безрассудным игроком».