Например, в суждении
«Некоторые свежие булочки невкусные», или, если записать его в разверну
том виде, «Некоторые свежие булочки суть невкусные булочки», субъектом я
вляется класс «свежих булочек», а предикатом Ц класс «невкусных булоче
к».
6. Суждение, в котором утверждается, что некоторые из предметов
, принадлежащих субъекту суждения, являются такими-то и такими-то, называ
ются частным. Например, «Некоторые свежие булочки вкусные», «Некоторые с
вежие булочки невкусные» Ц частные суждения.
Суждение, в котором утверждается, что ни один из предметов, при
надлежащих субъекту суждения, не есть то-то и то-то, или, наоборот, все пред
меты являются такими-то и такими-то, называется общим. Например, «Ни одна
свежая булочка не вкусна», «Все свежие булочки не вкусны» Ц суждения об
щие.
7. Предметы, находящиеся в любой из клеток малой диаграммы, обладают двумя
признаками, которые обозначены буквами, стоящими на прямых, отделя
ющих эту клетку от соседних .
8. «Некоторые» предметы в логике означают «Один или несколько».
9. «Мир» в нашей игре означает класс предметов, изображаемых на диаграмме.

10. Двойным называется суждение, содержащее два утверждения, например суж
дение «Некоторые свежие булочки вкусные» и «Некоторые свежие булочки н
евкусные» Ц двойное.
11. Разбиение называется исчерпывающим, если каждый элемент класса прина
длежит какой-то из частей, на которые распадается класс при данном разби
ении. Например, разбиение класса «свежих булочек» на вкусные и невкусные
является исчерпывающим, поскольку каждая свежая булочка дол
жна быть либо вкусной, либо невкусной.
12. В тех случаях, когда человек не может решить, в какую из двух партий Ц ре
спубликанцев или демократов Ц он хочет вступить, в Америке говорят, что
он «сидит на стенке» (и не знает, на какую сторону ему спрыгнуть).
13. «Некоторые x суть y» и «Ни один x не есть y'».
14. Суждения, в которых субъект состоит из одного-единственного предмета,
называются единичными. Например, «Я счастлив», «Джона нет дома» Ц едини
чные суждения. Единичные суждения относятся к числу общих суждений, поск
ольку суждение «Я счастлив» эквивалентно суждению «Все я, которые сущес
твуют, счастливы», а суждение «Джона нет дома» Ц суждению «Всех Джонов, к
оторых я рассматриваю в данным момент, нет дома».
15. Из суждений, начинающихся со слов «некоторые» или «все».
16. В тех случаях, когда суждения начинаются со слов «некоторые» или «ни од
ин». Например, суждение «Некоторые abc суть def» можно преобразовать в сужден
ие «Некоторые bf суть acde», причем и исходное и конечное суждения эквивалент
ны суждению «Некоторые abcdef существуют».
17. Некоторые тигры свирепы.
Ни один тигр не кроток.
18. Некоторые сваренные вкрутую яйца вредны для здоровья.
Ни одно сваренное вкрутую яйцо не полезно для здоровья.
19. Некоторые «я» счастливы.
Ни один «я» не несчастлив.
20. Некоторых Джонов нет дома.
Ни один Джон не дома.
21. Предметы, находящиеся в любой из клеток большой диаграммы, обладают
тремя признаками, буквенные обозначения которых стоят у трех
вершин данной клетки (единственное иключение составляет признак m' Ц пр
едполагается, что буквы m', хотя в действительности их и нет, стоят во всех ч
етырех углах большой диаграммы рядом с номерами 9, 10, 15 и 16).
22. Если «Мир предметов» разделен на части по трем различным признакам и на
м заданы два суждения, содержащих две различные пары эти приз
наков, и из них мы можем вывести третье суждение относительно той пары пр
изнаков, которые не вошли в первые два суждения, то в этом случае данные дв
а суждения называются «посылками», третье суждение Ц «заключением», а в
се три суждения вместе Ц «силлогизмом». Например, посылками могут быть
суждения «Ни один m не есть x'» и «Все m' суть y», из которых можно вывести закл
ючение, содержащее x и y.
23. Если некий признак входит в обе посылки, то содержащий его термин назыв
ается «средним термином». Например, если посылки имеют вид суждений «Все
m суть x» и «Ни один m не есть y'», то средним термином будет класс «m-предметов
».
Если же какой-то признак входит в одну посылку, а противоположный ему при
знак Ц в другую, то термины, содержащие эти признаки, можно назвать «сред
ними терминами». Например, если в качестве посылок выбраны суждения «Ни
один m не есть x'» и «Все m' суть y», то два класса Ц «m-предметов» и «m'-предметов
» Ц можно назвать «средними терминами».
24. Потому что места для черных фишек определяются однозначно,
в то время как утвердительные суждения (т. е. суждения, начинаю
щиеся со слов «некоторые» или «все») иногда вынуждают нас усаживать крас
ную фишку «на стенку».
25. Потому что единственный вопрос, который нас интересует, состоит в том, м
ожно ли логически вывести данное заключение из данных посыло
к, иначе говоря, будет ли данное заключение истинным, если посылки истинн
ы.
26. Следует принять соглашение о том, что красная фишка означает «Эта клетк
а может быть занята», а черная Ц «Эта клетка не может
быть занята», или «Эта клетка должны быть пустой».
27. Ошибка в посылках и ошибка в заключении.
28. Ошибку в заключении можно обнаружить, если при переходе от большой диаг
рамме к малой у нас не оказывается никаких сведений ни об одной из четыре
х клеток малой диаграммы.
29. Нужно найти правильное заключение и затем сравнить его с предложенным.
Если последнее не тождественно правильному и не составляет его части, мы
имеем дело с ошибкой в заключении.
30. В тех случаях, когда предложенное нам заключение является частью
правильного заключения.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17