__________
[См. стр. 68-70]
Принимая «люди» как универсум; m = «я»; x = «который совершил прогулку»; y = «который чувствует себя лучше»; представьте
19. Я был на прогулке; Я чувствую себя намного лучше.
__________
Выбрав свой собственный «универсум» и т. д., представьте
20. Я послал его принести мне котенка; Он по ошибке принес мне чайник.
[См. стр. 70, 1]
7. Использовать обе диаграммы.
__________
----------- ----------- | | | | | | | | --x-- | | | x | | | | | | | | | |--y--m--y'-| |--y--|--y'-| | | | | | | x' | | | | --x'- | | | | | | ----------- -----------
__________
N.B. В каждом вопросе следует нарисовать маленькую диаграмму только для x и y и разметить ее в соответствии с данной большой диаграммой: а затем с этой маленькой диаграммы следует считать как можно больше суждений для x и y.
----------- ----------- |0 | | | | | | | --|-- | | --|-- | | |0 | 0| | | |0 | 1| | 1. |--|--|--|--| 2. |--|--|--|--| | |1 | | | | |0 | | | | --|-- | | --|-- | |0 | | | | | ----------- -----------
[См. стр. 72]
----------- ----------- | | | | | | 0| | --|-- | | --|-- | | |0 | 0| | | | | | | 3. |--|--|--|--| 4. |--|--|--|--| | |1 | 0| | | |0 | | | | --|-- | | --|-- | | | | | | | 0| ----------- -----------
__________
Отметьте на большой диаграмме следующие пары суждений из предыдущего раздела: затем отметьте маленькую диаграмму в соответствии с ней и т. д.
5. № 13. [см. стр. 49] 9. № 17. 6. № 14. 10. № 18. 7. № 15. 11. № 19. [см. стр. 50] 8. № 16. 12. № 20.
__________
Отметьте на большой диаграмме следующие пары суждений: затем отметьте маленькую диаграмму и т. д. Это, по сути, пары ПОСЫЛОК для силлагизмов: а результаты, считанные с маленькой диаграммы, являются ЗАКЛЮЧЕНИЯМИ.
13. Ни одна захватывающая книга не подходит лихорадочным пациентам; Незахватывающие книги вызывают сонливость.
14. Некоторые, кто заслуживает прекрасного, получают по заслугам; Никто, кроме храбрых, не заслуживает прекрасного.
15. Ни один ребенок не является терпеливым; Ни один нетерпеливый человек не может сидеть смирно.
[См. стр. 72-5]
16. Все свиньи — толстые; Ни один скелет не является толстым.
17. Ни одна обезьяна не является солдатом; Все обезьяны — озорные.
18. Никто из моих кузенов не является справедливым; Ни один судья не является несправедливым.
19. Некоторые дни — дождливые; Дождливые дни — утомительные.
20. Все лекарства — противные; Сенна — это лекарство.
21. Некоторые евреи — богатые; Все патагонцы — язычники.
22. Все трезвенники любят сахар; Ни один соловей не пьет вино.
23. Ни один маффин не является полезным; Все булочки — вредные.
24. Ни одно толстое существо не бегает хорошо; Некоторые борзые бегают хорошо.
25. Все солдаты маршируют; Некоторые юноши — не солдаты.
26. Сахар — сладкий; Соль — не сладкая.
27. Некоторые яйца — сваренные вкрутую; Ни одно яйцо не является неразбиваемым.
28. В доме нет евреев; В саду нет язычников.
[См. стр. 75-82]
29. Все битвы — шумные; То, что не производит шума, может остаться незамеченным.
30. Ни один еврей не является сумасшедшим; Все раввины — евреи.
31. Нет рыб, которые не умеют плавать; Некоторые скаты — рыбы.
32. Все страстные люди — неразумные; Некоторые ораторы — страстные.
[См. стр. 82-84]
ГЛАВА III.
ЗАПУТАННЫЕ ОТВЕТЫ.
«Я ответил ему, как посчитал нужным: "Столько же, сколько копченой сельди растет в лесу"».
__________
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', который фактически не вписан в диаграмму, но ПРЕДПОЛАГАЕТСЯ стоящим в каждом из четырех ее внешних углов).
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. | | 1 | 2. | 0 | 1 | | | | | | | ------- -------
------- ------- | | | | | | 3. | 1 | 1 | 4. | 0 | 0 | | | | | | | ------- -------
------- ------- | | | | | | 5. | 1 | 6. | | 0 | | | | | | | ------- -------
------- | | | 7. | 1 | 1 | Можно было бы подумать, что правильная | | | диаграмма выглядела бы как | 1 1 |, чтобы выразить «существуют некоторые x»: но это уже содержится в «некоторые x суть y'». Поместить красную фишку на разделительную линию означало бы лишь сказать нам «ОДНА ИЗ ячеек занята», что мы уже знаем, зная, что ОДНА занята. ------- | | | 8. Никакие x не суть y. т.е. | 0 | | | | | -------
------- | | | 9. Некоторые x суть y'. т.е. | | 1 | | | | -------
------- | | | 10. Все x суть y. т.е. | 1 | 0 | | | | -------
------- | | | 11. Некоторые x суть y. т.е. | 1 | | | | | -------
------- | | | 12. Никакие x не суть y. т.е. | 0 | | | | | -------
------- | | | 13. Некоторые x суть y, и некоторые суть y'. т.е. | 1 | 1 | | | | -------
------- | | | 14. Все x суть y'. т.е. | 0 | 1 | | | | -------
--- | | 15. Никакие y не суть x'. т.е. |---| | 0 | ---
--- | 1 | 16. Все y суть x. т.е. |---| | 0 | ---
--- | 0 | 17. Никакие y не существуют. т.е. |---| | 0 | ---
--- | | 18. Некоторые y суть x'. т.е. |---| | 1 | ---
--- | | 15. Существуют некоторые y. т.е. |-1-| | | ---
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, и некоторые суть y'. т.е. Некоторые омары эгоистичны, а некоторые бескорыстны.
13. Все y' суть x'. т.е. Все больные несчастны.
14. Существуют некоторые y'. т.е. Некоторые люди нездоровы.
15. Некоторые y' суть x, и некоторые суть x'. т.е. Некоторые больные счастливы, а некоторые несчастны.
16. Никакие y' не существуют. т.е. Никто не является нездоровым.
4. Меньшая диаграмма.
Представленные суждения.
__________
------- ------- | 1 | | | | | 1. |---|---| 2. |---|---| | 0 | | | 1 | | ------- -------
------- ------- | | | | | 1 | 3. |---|---| 4. |---|---| | | 0 | | | | ------- -------
------- ------- | | 1 | | | | 5. |---|---| 6. |---|---| | | | | 0 | | ------- -------
------- ------- | | | | | | 7. |---|---| 8. |---|---| | | 1 | | 0 | 1 | ------- -------
------- ------- | | | | | | 9. |---|-1-| 10. |---|---| | | | | 0 | 0 | ------- -------
------- ------- | 1 | | | 1 | 0 | 11. |---|---| 12. |---|---| | 1 | | | | 1 | ------- -------
------- | | | 13. Никакие x' не суть y. т.е. |---|---| | 0 | | -------
------- | | 0 | 14. Все y' суть x'. т.е. |---|---| | | 1 | -------
------- | | | 15. Существуют некоторые y'. т.е. |---|-1-| | | | -------
------- | 1 | 0 | 16. Все y суть x, и все x суть y. т.е. |---|---| | 0 | | -------
------- | | | 17. Никакие x' не существуют. т.е. |---|---| | 0 | 0 | -------
------- | 0 | 1 | 18. Все x суть y'. т.е. |---|---| | | | -------
------- | 0 | | 19. Никакие x не суть y. т.е. |---|---| | | | -------
------- | | | 20. Некоторые x' суть y, и некоторые суть y'. т.е. |---|---| | 1 | 1 | -------
------- | 0 | 1 | 21. Никакие y не существуют, и существуют некоторые x. т.е. |---|---| | 0 | | -------
------- | | 1 | 22. Все x' суть y, и все y' суть x. т.е. |---|---| | 1 | 0 | -------
------- | 1 | | 17. Некоторые x суть y, и некоторые x' суть y'. т.е. |---|---| | | 1 | -------
5. Меньшая диаграмма.
Символы интерпретированы.
__________
1. Некоторые y не суть x, или, Некоторые не-x суть y.
2. Никакие не-x не суть не-y, или, Никакие не-y не суть не-x.
3. Никакие не-y не суть x.
4. Никакие не-x не существуют. т.е. Никакие предметы не являются не-x.
5. Никакие y не существуют. т.е. Никакие дома не являются двухэтажными.
6. Существуют некоторые x'. т.е. Некоторые дома не построены из кирпича.
7. Никакие x не суть y'. Или, никакие y' не суть x. т.е. Никакие дома, построенные из кирпича, не являются не двухэтажными. Или, никакие дома, которые не являются двухэтажными, не построены из кирпича.
8. Все x' суть y'. т.е. Все дома, которые не построены из кирпича, не являются двухэтажными.
9. Некоторые x суть y, и некоторые суть y'. т.е. Некоторые толстые мальчики активны, а некоторые нет.
10. Все y' суть x'. т.е. Все ленивые мальчики худые.
11. Все x суть y', и все y' суть x. т.е. Все толстые мальчики ленивы, а все ленивые толстые.
12. Все y суть x, и все x' суть y. т.е. Все активные мальчики толстые, а все худые ленивы.
13. Никакие x не существуют, и никакие y' не существуют. т.е. Никакие кошки не имеют зеленых глаз, и ни у кого нет плохого характера.
14. Некоторые x суть y', и некоторые x' суть y. Или некоторые y суть x', и некоторые y' суть x. т.е. Некоторые зеленоглазые кошки имеют плохой характер, а некоторые, у которых нет зеленых глаз, имеют хороший характер. Или, некоторые кошки с хорошим характером не имеют зеленых глаз, а некоторые с плохим характером имеют зеленые глаза.
15. Некоторые x суть y, и никакие x' не суть y'. Или, некоторые y суть x, и никакие y' не суть x'. т.е. Некоторые зеленоглазые кошки имеют хороший характер, и никто из тех, у кого нет зеленых глаз, не имеет плохого характера. Или, некоторые кошки с хорошим характером имеют зеленые глаза, и никто из тех, у кого плохой характер, не имеет глаз, которые не являются зелеными.
16. Все x суть y', и все x' суть y. Или, все y суть x', и все y' суть x. т.е. Все зеленоглазые кошки имеют плохой характер, и все те, у кого нет зеленых глаз, имеют хороший характер. Или, все кошки с хорошим характером имеют глаза, которые не являются зелеными, и все кошки с плохим характером имеют зеленые глаза.
6. Большая диаграмма.
Представленные суждения.
__________
--------------- --------------- | | | | | | | ---|--- | ---|--- | | 0 | 0 | | | | | | 1. |---|---|---|---| 2. |-1-|---|---|---| | | | | | | | | | | | | ---|--- | ---|--- | | | | | | --------------- ---------------
--------------- --------------- | | | | | 0 | | ---|--- | ---|--- | | 0 | 0 | | | | | | 3. |---|---|---|---| 4. |---|---|---|---| | | - | | | | | | | | ---|--- | ---|--- | | | | | 0 | --------------- ---------------
--------------- --------------- | 0 | | | | | | ---|--- | ---|--- | | 0 | 0 | | | 0 | 1 | | 5. |---|---|---|---| 6. |---|---|---|---| | | 1 | | | | 0 | | | | | 0 | | | | | --------------- ---------------
--------------- --------------- | | | | | 0 | | ---|--- | ---|--- | | 0 | 0 | | | | | | 7. |---|---|---|---| 8. |---|---|---|---| | | 0 | 1 | | | | 0 | 0 | | | ---|--- | ---|--- | | | | | 0 | --------------- ---------------
--------------- | | | | ---|--- | | | 0 | 0 | | 9. Никакие x не суть m. т.е. |---|---|---|---| | | 0 | | | | ---|--- | | | ---------------
--------------- | | | | ---|--- | | | | | | | 10. Некоторые m' суть y. т.е. |-1-|---|---|---| | | | | | | | ---|--- | | | ---------------
--------------- | | | | ---|--- | | | | 0 | | 11. Все y' суть m'. т.е. |---|---|---|-1-| | | | 0 | | | ---|--- | | | ---------------
--------------- | | | | ---|--- | | | 0 | 0 | | 12. Все m суть x'. т.е. |---|---|---|---| | | 1 | | | ---|--- | | | ---------------
--------------- | 0 | | | ---|--- | | | 0 | 0 | | 13. Никакие x не суть m; т.е. |---|---|---|---| Все y суть m. | | 1 | | | | ---|--- | | 0 | | ---------------
--------------- | 0 | 0 | | ---|--- | | | | | | | 14. Все m' суть y; т.е. |---|---|---|---| Никакие x не суть m'. | | | | | | ---|--- | | 1 | 0 | ---------------
--------------- | 0 | 0 | | ---|--- | | | 1 | 0 | | 15. Все x суть m; т.е. |---|---|---|---| Никакие m не суть y'. | | | 0 | | | ---|--- | | | ---------------
--------------- | 0 | 0 | | ---|--- | | | | | | | 16. Все m' суть y'; т.е. |---|---|---|---| Никакие x не суть m'. | | | | | | ---|--- | | 0 | 1 | ---------------
--------------- | 0 | 0 | | ---|--- | | | 1 | 0 | | 17. Все x суть m; т.е. |---|---|---|---| Все m суть y. | | | 0 | | | ---|--- | [См. примечания к № 7, стр. 60.] | | ---------------
--------------- | 0 | | | ---|--- | | | | | | | 18. Никакие x' не суть m; т.е. |---|---|---|---| Никакие m' не суть y. | | 0 | 0 | | | ---|--- | | 0 | | ---------------
--------------- | | | | ---|--- | | | 1 | 0 | | 19. Все m суть x; т.е. |---|---|---|---| Все m суть y. | | 0 | 0 | | | ---|--- | | | ---------------
20. Нам лучше взять «людей» в качестве универсума. Мы можем выбрать «себя» в качестве «среднего термина», и в этом случае посылки примут форму
Я — человек, который послал его принести котенка; Я — человек, которому он по ошибке принес чайник.
Или мы можем выбрать «его» в качестве «среднего термина», и в этом случае посылки примут форму
Он — человек, которого я послал принести мне котенка; Он — человек, который по ошибке принес мне чайник.
Последняя форма кажется лучшей, так как интерес анекдота явно зависит от ЕГО глупости, а не от того, что случилось со МНОЙ. Давайте тогда примем m = «он»; x = «люди, которых я послал и т.д.»; и y = «люди, которые принесли и т.д.»
Следовательно, все m суть x; Все m суть y. и требуемая диаграмма —
--------------- | | | | ---|--- | | | 1 | 0 | | |---|---|---|---| | | 0 | 0 | | | ---|--- | | | ---------------