Текст книги "Логическая игра"
Автор книги: Льюис Кэрролл
Жанр:
Математика
сообщить о нарушении
Текущая страница: 3 (всего у книги 4 страниц)
Глава 2. Град вопросов
Блуждал его взор, был вид его дик,
И дыбом стояли волосы,
Когда он спросил: «А много ль гвоздик
Растет на Северном полюсе?»
1. Элементарные вопросы[2]2
Ответы см. в следующей главе.
[Закрыть]
1. Что такое «признак»? Приведите примеры.
2. Когда между двумя именами имеет смысл ставить связку «есть» или «суть»? Приведите примеры.
3. Когда ставить связку не имеет смысла? Приведите примеры.
4. Если ставить связку не имеет смысла, то какое соглашение проще всего ввести, чтобы связка имела смысл?
5. Объясните, что такое «суждение», «термин суждения», «субъект» и «предикат». Приведите примеры.
6. Какие суждения называются частными и какие – общими? Приведите примеры.
7. Сформулируйте правило, позволяющее указывать те признаки, которые принадлежат предметам, находящимся в каждой из клеток малой диаграммы.
8. Что означает в логике слово «некоторые»?
9. В каком смысле мы употребляем в этой игре слово «Мир»?
10. Что такое двойное суждение? Приведите примеры.
11. В каких случаях о классе предметов говорят, что он разбит на части «исчерпывающим» образом? Приведите примеры.
12. Объясните смысл выражения «сидеть на стенке».
13. Какие два частных суждения, взятые вместе, образуют суждение «Все x суть y»?
14. Какие суждения называются единичными? Приведите примеры.
15. Из каких суждений в нашей игре следует вывод о существовании их субъектов?
16. Если суждение содержит более двух признаков, то в некоторых случаях признаки можно переставлять и сдвигать от одного термина суждения к другому. В каких случаях это возможно? Приведите примеры.
Каждое из следующих четырех суждений разбейте на два частных суждения.
17. Все тигры свирепые.
18. Все сваренные вкрутую яйца неполезные.
19. Я счастлив.
20. Джона нет дома.
21. Сформулируйте правило, позволяющее указывать, какими признаками обладают предметы, находящиеся в любой из клеток большой диаграммы.
22. Объясните, что означают логические термины «посылки», «заключение» и «силлогизм». Приведите примеры.
23. Объясните, что означают выражения «средний термин» и «средние термины».
24. Почему при изображении суждений на большой диаграмме удобнее все начинать с отрицательных суждений и лишь затем переходить к утвердительным суждениям?
25. Почему для нас как для логиков несущественно, ложны или истинны посылки?
26. Как решать силлогизмы, в которых суждение «Некоторые x суть y» надлежит понимать в смысле «Признаки x и y совместимы», а суждение «Ни один x не есть y» – в смысле «Признаки x и y несовместимы»?
27. Какие два типа логических ошибок вы знаете?
28. Как обнаружить ошибку в посылках?
29. Как обнаружить ошибку в заключении?
30. В некоторых случаях предлагаемое нам другими лицами заключение не совпадает с правильным, и тем не менее его нельзя назвать ошибочным. В каких случаях это возможно? Как мы называем подобные заключения?
2. Суждения, представимые на половине малой диаграммы
На половине малой диаграммы
представьте с помощью черных и красных фишек следующие суждения.
1. Некоторые x суть не– y.
2. Все x суть не– y.
3. Некоторые x суть y, и некоторые x суть не– y.
4. Ни один x не существует.
5. Некоторые x существуют.
6. Ни один x не есть не– y.
7. Некоторые x суть не– y, и некоторые x существуют.
Пусть x=«судьи», y=«справедливые».
8. Ни один судья несправедлив.
9. Некоторые судьи несправедливы.
10. Все судьи справедливы.
Пусть x=«сливы», y=«полезные».
11. Некоторые сливы полезные.
12. Полезных слив не существует.
13. Некоторые сливы полезные, и некоторые сливы неполезные (вредны для здоровья).
14. Все сливы неполезные.
На половине малой диаграммы
изобразите следующие суждения.
Пусть y=«прилежные студенты», x=«учатся хорошо».
15. Ни один прилежный студент не учится плохо.
16. Все прилежные студенты учатся хорошо.
17. Ни один студент не прилежен.
18. Некоторые студенты прилежны, но плохо учатся.
19. Некоторые студенты прилежные.
3. Интерпретация фишек, расставленных на половине малой диаграммы
Объясните, что означают следующие символы.
1.
2.
3.
4.
x=«хорошие загадки»,
y=«трудные».
5.
6.
7.
8.
x=«омары»,
y=«эгоистичные».
9.
10.
11.
12.
y=«здоровые люди»,
x=«счастливые».
13.
14.
15.
16.
4. Суждения, представимые на малой диаграмме
1. Все y суть x.
2. Некоторые y суть не-x.
3. Ни один не-x не есть не-y.
4. Некоторые x суть не-y.
5. Некоторые не-y суть x.
6. Ни один не-x не есть y.
7. Некоторые не-x суть не-y.
8. Все не-x суть не-y.
9. Некоторые не-y существуют.
10. Ни один не-x не существует.
11. Некоторые y суть x, и некоторые y суть не-x.
12. Все x суть y, и все не-y есть не-x.
«Мир» – множество наций, x=«цивилизованные», y=«воинственные».
13. Ни одна нецивилизованная нация не воинственна.
14. Все невоинственные нации нецивилизованны.
15. Некоторые нации не воинственны.
16. Все воинственные нации цивилизованны, и все цивилизованные нации воинственны.
17. Ни одна нация не нецивилизована.
«Мир» – множество крокодилов, x=«голодные», y=«дружественно настроенные».
18. Все голодные крокодилы не настроены дружественно.
19. Ни один крокодил не настроен дружественно, когда он голоден.
20. Некоторые крокодилы, когда они не голодны, настроены дружественно, некоторые же – не дружественно.
21. Ни один крокодил не настроен дружественно, и некоторые крокодилы голодны.
22. Все крокодилы, когда они не голодны, настроены дружественно, и все не дружественно настроенные крокодилы голодны.
23. Некоторые голодные крокодилы настроены дружественно, и некоторые неголодные крокодилы не настроены дружественно.
5. Интерпретация фишек, расставленных на малой диаграмме
1.
2.
3.
4.
«Мир» – множество домов, x=«кирпичные», y=«двухэтажные».
Что означают следующие диаграммы?
5.
6.
7.
8.
«Мир» – множество мальчишек, x=«толстые», y=«ловкие».
Что означают следующие диаграммы?
9.
10.
11.
12.
«Мир» – множество кошек, x=«зеленоглазые», y=«ручные».
Что означают следующие диаграммы?
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.
12.
13. «Ни один x' не существует», т. е.
14. «Все y' суть x'», т. е.
15. «Некоторые y' существуют», т. е.
16. «Все y суть x, и все x суть y», т. е.
17. «Ни один x' не существует», т. е.
18. «Все x суть y'», т. е.
19. «Ни один x не есть y'», т. е.
20. «Некоторые x' суть y, и некоторые x' суть y'», т. е.
21. «Ни один y не существует, и некоторые x существуют», т. е.
22. «Все x' суть y, и все y' суть x», т. е.
23. «Некоторые x суть y, и некоторые x' суть y'», т. е.
5. Интерпретация фишек, расставленных на малой диаграмме
1. «Некоторые y суть не-x», или «Некоторые не-x суть y».
2. «Ни один не-x не есть не-y», или «Ни один не-y не есть не-x».
3. «Ни один не-y не есть x».
4. «Ни один не-y не существует», т. е. «Ни один предмет не есть не-x».
5. «Ни один y не существует», т. е. «Ни один дом не двухэтажный».
6. «Некоторые x' существуют», т. е. «Некоторые дома построены не из кирпича».
7. «Ни один x не есть y'», или «Ни один y' не есть x», т. е. «Ни один кирпичный дом не имеет числа этажей, отличного от двух», или «Ни один не двухэтажный дом не построен из кирпича».
8. «Все x' суть y'», т. е. «Все не кирпичные дома не имеют двух этажей».
9. «Некоторые x суть y, и некоторые x суть 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», т. е. «Все кошки с зелеными глазами дикие, и все кошки, у которых цвет глаз отличен от зеленого, ручные», или «У всех ручных кошек цвет глаз отличен от зеленого, и у всех диких кошек зеленые глаза».
