Логическая игра
Шрифт:
Зато о другом квадрате — xy' — мы можем с уверенностью утверждать, что он (как и в предыдущем примере) занят.
Перенеся разметку на меньшую диаграмму, получим
что означает «Некоторые x суть y'».
Те же принципы применимы и ко всем другим половинкам большой диаграммы — вертикальным и горизонтальным. Например, чтобы представить на большой диаграмме суждение «Все y' суть m'», необходимо взять её правую вертикальную половину (ту,
Если же мы захотим узнать, какое суждение (относительно x и y) содержится в нижней половине большой диаграммы, на которой нули и единицы расставлены так
то, преобразовав её в малую диаграмму
мы без труда «расшифруем» скрытое в ней суждение: «Все x' суть y».
Относительно суждений необходимо сделать ещё два замечания.
Во-первых, в каждом суждении, начинающемся со слов «некоторые» или «все», утверждается, что субъект суждения существует в действительности. Например, если я говорю: «Все скупые люди эгоистичны», то я подразумеваю что скупые люди существуют в действительности. Если бы я хотел избежать такого утверждения или только сформулировать правило, согласно которому скупость с необходимостью влечёт за собой эгоизм, то я выразился бы иначе: «Ни один скупой человек не есть неэгоист». Это суждение не утверждает, что скупые люди вообще существуют. В нем лишь говорится, что если бы скупые люди существовали, то они были бы эгоистами.
Во-вторых, если суждение начинается со слов «некоторые» или «ни один» и содержит более двух признаков, то эти признаки можно произвольно переставлять и относить к любому из терминов суждения.
Например, суждение «некоторые abc суть def» можно преобразовать в суждение «Некоторые bf суть acde», причём каждое из суждений (и исходное, и преобразованное) эквивалентно суждению «Некоторые предметы суть abcdef».
Ещё пример. Суждение «Ни один мудрый пожилой человек не является опрометчивым и безрассудным игроком» можно преобразовать так: «Ни один опрометчивый пожилой игрок не является мудрым и безрассудным (человеком)». Оба суждения эквивалентны следующему: «Ни один человек не является мудрым, пожилым, опрометчивым и безрассудным игроком».
§ 2. Силлогизмы
Предположим теперь, что мы разделили наш «Мир предметов» тремя способами в соответствии с тремя различными признаками. Из трёх признаков можно составить три различные пары (например, если имеются признаки a, b, c, то из них можно составить три пары ab, ac и bc). Предположим кроме того, что два суждения, содержащие две из трёх пар признаков, нам даны, и что из них мы умеем выводить третье суждение, содержащее оставшуюся (третью) пару признаков. (Пусть, например, мы разделили наш «Мир» в соответствии с признаками m, x и y. Тогда, если нам даны два суждения «Ни одно m не есть x'» и «Все m' суть y», содержащее пары признаков mx
В этом случае те суждения, которые даны, называются посылками, третье, выводимое из них суждение — заключением, а все вместе — силлогизмом.
Ясно, что либо один из признаков непременно должен входить в обе посылки, либо в одну посылку должен входить сам признак, а в другую — ему противоположный.
В первом случае термин, который повторяется дважды (например, когда в качестве посылок выбраны суждения «Некоторые 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 — пусты, и на каждую из них мы должны поставить по чёрной фишке: