Логическая игра

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=«те, у кого болят зубы».