Что означают следующие диаграммы?
13.


14.



15.


16.




6. Суждения, представимые на б
ольшой диаграмме





С помощью красных и черных фишек изобразите на большой диаграмме следую
щие суждения.
1. Ни один x не есть m.
2. Некоторые y суть m'.
3. Все m суть x'.
4. Ни один m' не есть y'.
5. Ни один m не есть x. Все y суть m.
6. Некоторые x суть m. Ни один y не есть m.
7. Все m суть x'. Ни один y не есть m.
8. Ни один x' не есть m. Ни один y' не есть m'.
«Мир» Ц множество кроликов, m=«прожорливые», x=«старые», y=«черные».
Изобразите на диаграмме следующие суждения.
9. Ни один старый кролик не прожорлив.
10. Некоторые непрожорливые кролики черные.
11. Всем белым кроликам не свойственна прожорливость.
12. Все прожорливые кролики молодые.
13. Ни один старый кролик не прожорлив. Все черные кролики прожорливы.
14. Все непрожорливые кролики черные. Ни один старый кролик не воздержан в
пище.

«Мир» Ц множество птиц, m=«поющие громко», x=«получающие достаточное коли
чество корма», y=«счастливые».
Изобразите на диаграмме следующие суждения.
15. Все птицы, получающие достаточно корма, поют громко.
Все птицы, поющие громко, счастливы.
16. Все птицы, не поющие громко, не счастливы.
Ни одна птица, получающая достаточно корма, не поет тихо.

«Мир» Ц множество людей, m=«те, кто находится в этом доме», x=«Джон», y=«те, у к
ого болят зубы».
Изобразите на диаграмме следующие суждения.
17. Джон находится в этом доме.
У всех, кто находится в этом доме, болят зубы.
18. В этом доме нет никого, кроме Джона.
Ни у кого из тех, кто находится в этом доме, не болят зубы.

«Мир» Ц множество людей, m=«я», x=«совершившие прогулку», y=«чувствующие се
бя лучше».
Изобразите на диаграмме следующие суждения.
19. Я совершил прогулку.
Я чувствую себя гораздо лучше.

«Мир» и признаки, обозначаемые буквами m, x и y, выбирайте по своему усмотрен
ию. Изобразите на диаграмме следующие два суждения.
20. Я попросил его принести котенка.
Он по ошибке принес мне котелок.

7. Суждения, представимые на д
вух диаграммах Ц большой и малой








Указание. При ответе на каждый вопрос необходимо начертить м
алую диаграмму (для одних лишь признаков x и y), разметить ее в соответствии
с большой диаграммой и, глядя на малую диаграмму, постараться сформулиро
вать как можно больше суждений относительно x и y.
1.


2.


3.



4.


На большой диаграмме при помощи черных и красных фишек изобразите переч
исленные ниже пары суждений из предыдущего параграфа, затем разметьте м
алую диаграмму в соответствии с большой и т. д.
5. №13
6. №14
7. №15
8. №16
9. №17
10. №18
11. №19
12. №20
То же самое проделайте со следующими суждениями (в действительности каж
дая из этих пар суждений служит посылками силлогизма, поэтом
у результаты, считываемые вами с малой диаграммы, представляют собой не
что иное, как заключение силлогизма).
13. Ни одна книга с острым сюжетом не подходит для чтения легко возбудимым
людям.
От книг со спокойным сюжетом клонит в сон.
14. Некоторые из тех, кто достоин славы, получают награду.
Никто, кроме храбрецов, не достоин славы.
15. Ни один ребенок не обладает терпением.
Ни один нетерпеливый человек не может сидеть спокойно.
16. Все свиньи жирные.
Все скелеты тощи.
17. Ни одна обезьяна не солдат.
Все обезьяны ведут себя непристойно.
18. Ни одна из моих кузин не справедлива.
Все судьи справедливы.
19. Некоторые дни дождливы.
Дождливые дни наводят скуку.
20. Все лекарства противны на вкус.
Александрийский лист Ц лекарство.
21. Некоторые евреи богаты.
Все патагонцы не евреи.
22. Все трезвенники любят сахар.
Ни один соловей не пьет вина.
23. Никакая горячая сдоба не полезна.
Все сладкие пирожки не полезны.
24. Ни одно толстое созданье не бегает хорошо.
Некоторые гончие бегают хорошо.
25. Все солдаты маршируют.
Некоторые юноши не солдаты.
26. Сахар сладкий.
Соль несладкая.
27. Некоторые яйца сварены вкрутую.
Все яйца бьются.
28. В этом доме нет евреев.
Все неевреи в саду.
29. Все битвы сопровождаются страшным шумом.
То, что происходит без шума, может ускользнуть от внимания.
30. Ни один еврей не сумасшедший.
Все раввины евреи.
31. Не существует рыбы, которая не умела бы плавать.
Некоторые коньки рыбы.
32. Все склонные к горячности люди неразумны.
Некоторые ораторы склонны к горячности.


Глава 3. Фейерверк ответов


Число гвоздик ты хочешь знат
ь,
Растущих на морозе?
Изволь: оно равно числу
Бананов на березе.


1. Ответы на элементарные воп
росы

1. Любое свойство, которым обладает предмет или которое можно приписать п
редмету, называется признаком. Например, «пироги» (довольно часто) облад
ают признаком «подгорелые», а «мальчики» (в исключительно редких случая
х) Ц признаком «милые».
2. Связку имеет смысл ставить между именами двух предметов (например, «Эти
свиньи Ц жирные животные») или двух признаков (например, «Розовый Ц это
бледно-красный»). Тире в первом случае означает связку «суть», во втором с
лучае Ц связку «есть».
3. Когда одно имя является именем предмета, а другое Ц именем признака (на
пример «Все свиньи суть розовые»), так как предмет не может в действитель
ности быть признаком.
4. Проще всего предположить, что существительное, входящее в субъект, повт
оряется в предикате (например, «Эти свиньи суть розовые (свиньи)»).
5. Суждение Ц это предложение, в котором утверждается, что некоторые или в
се предметы, принадлежащие определенному классу, называемому субъекто
м, одновременно являются предметами, принадлежащими некоторому другом
у классу, называемому предикатом (или что ни один предмет, принадлежащий
классу «субъект» не принадлежит классу «предикат»). Например, в суждении
«Некоторые свежие булочки невкусные», или, если записать его в разверну
том виде, «Некоторые свежие булочки суть невкусные булочки», субъектом я
вляется класс «свежих булочек», а предикатом Ц класс «невкусных булоче
к».
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. В тех случаях, когда предложенное нам заключение является частью
правильного заключения. О подобных заключениях мы говорим как об «
изъяне в заключении».

2. Суждения, представимые на п
оловине малой диаграммы

1.


2.



3.



4.



5.


6.


7.


Кому-то может показаться, что суждение «Некоторые x существуют» следова
ло бы изобразить диаграммой.


В действительности же оно содержится в утвержден
ии «Некоторые x суть y'». Красная фишка, стоящая на границе, означала бы лишь
, что «одна из двух клеток занята». Это обстоятельство нам уже известно, по
скольку мы знаем, что занята именно правая клетка.
8. «Ни один x не есть y», т. е.

9. «Некоторые x суть y'», т. е.

10. «Все x суть y», т. е.


11. «Некоторые x суть y», т. е.

12. «Ни один x не есть y», т. е.

13. «Некоторые x суть y», и «Некоторые x суть y'», т. е.




14. «Все x суть y'», т. е.




15. «Все y суть x'», т. е.



16. «Все y суть x», т. е.




17. «Ни одного y не существует», т. е.



18. «Некоторые y суть x'», т. е.



19. «Некоторые y существуют», т. е.



3. Интерпретация фишек, расст
авленных на половине малой диаграммы

1. «Ни один x не есть y».
2. «Ни один x не существует».
3. «Некоторые x существуют».
4. «Все x суть y'».
5. «Некоторые x суть y», т. е. «Некоторые хорошие загадки трудные».
6. «Все x суть y», т. е. «Все хорошие загадки трудные».
7. «Ни один x не существует», т. е. «Ни одна загадка не хорошая».
8. «Ни один x не есть y», т. е. «Ни одна хорошая загадка не трудная».
9. «Некоторые x суть y'», т. е. «Некоторые омары не эгоистичны».
10. «Ни один x не есть y», т. е. «Ни один омар не эгоистичен».
11. «Все x суть y'», т. е. «Все омары не эгоистичны».
12. «Некоторые x суть y, и некоторые x суть y'», т. е. «Некоторые омары эгоистичны,
и некоторые Ц не эгоистичны».
13. «Все y' суть x'», т. е. «Все больные несчастны».
14. Некоторые y' существуют, т. е. «Некоторые люди нездоровы».
15. «Некоторые y' суть x, и некоторые y' суть x'», т. е. «Некоторые больные счастлив
ы, и некоторые Ц несчастливы».
16. «Ни один y' не существует, т. е. „Нет ни одного нездорового человека“.

4. Суждения, представимые на м
алой диаграмме

1.



2.


3.


4.


5.


6.


7.


8.


9.


10.



11.
1 2 3 4 5 6 7