Питання для самоконтролю

1. У чому полягає відмінність між умовиводом та іншими формами абстрактного мислення (поняттям та судженням)?

2. Що таке умовивід?

3. Які умовиводи називаються дедуктивними?

4. Назвіть основні структурні елементи умовиводу

5. Які умовиводи називаються безпосередніми?

6. Які умовиводи називаються опосередкованими?

7. Які умовиводи називаються демонстративними?

8. Який безпосередній умовивід називається «перетворенням»?

9. У чому полягає сутність обернення як виду безпосереднього умовиводу?

10. Які категоричні судження не підлягають операції обернення і чому?

11. Що включає у себе такий вид безпосереднього умовиводу як протиставлення предиката?

12. Яке категоричне судження не підлягає операції протиставлення предиката і чому?

13. Наведіть визначення простого категоричного силогізму.

14. Назвіть основні структурні елементи простого категоричного силогізму.

15. Який засновок простого категоричного силогізму називається більшим засновком?

16. Який засновок простого категоричного силогізму називається меншим засновком?

17. Сформулюйте аксіому простого категоричного силогізму.

18. У чому сутність першої фігури простого категоричного силогізму?

19. Дайте визначення і наведіть приклад другої фігури простого категоричного силогізму.

20. Дайте визначення і наведіть приклад третьої фігури простого категоричного силогізму.

21. Дайте визначення і наведіть приклад четвертої фігури простого категоричного силогізму.

22. Назвіть правильні модуси першої фігури силогізму.

23. Назвіть правильні модуси другої фігури силогізму.

24. Назвіть правильні модуси третьої фігури силогізму.

25. Назвіть правильні модуси четвертої фігури силогізму.

26. Які правила засновків категоричного силогізму Вам відомі?

27. Назвіть правила термінів простого категоричного силогізму.

28. Який умовивід називається ентимемою?

29. Який умовивід називається полісилогізмом?

30. Чим розрізняються прогресивний та регресивний полісилогізми?

31. Як утворюються соріти?

32. Який соріт називається прогресивним?

33. Який соріт називається регресивним?

34. Який умовивід називається епіхейремою?

Тема 8. Дедуктивні умовиводи із складних суджень План

1. Суто умовні умовиводи.

2. Умовно-категоричні умовиводи та їх модуси.

3. Розділово-категоричні умовиводи та їх модуси.

4. Дилеми (умовно-розділові умовиводи), види дилем.

Розглядаючи попередню тему, ми проаналізували умовиводи, засновками яких виступали прості категоричні судження, проте у формальній логіці широко використовуються такі форми умовиводів, де засновки та висновки можуть бути виражені складними судженнями (умовними та розділовими). Залежно від того, якими видами суджень представлені засновки таких умовиводів, їх прийнято поділяти на суто-умовні, умовно-категоричні, розділово-категоричні та дилеми (умовно-розділові).

8.1. Суто-умовні умовиводи

Суто-умовним називається умовивід, обидва засновки і висновок у якому представлені умовними (імплікативними) судженнями.

Наприклад:

1. Якщо людина прагне досягти успіху, то вона використає всі можливі резерви.

2. Якщо людина використає всі можливі резерви, то перемога буде для неї найкращою нагородою.

Якщо людина прагне досягти успіху, то перемога буде для неї найкращою нагородою.

Схема:

Якщо А, то В а→в

Якщо В, то С в→с

Якщо А, то С а→с