Контрольні питання

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. Обгрунтування модусів II, III та IV фігур шляхом звер­нення їх до модусів І фігури.

29. Застосування аналітичних таблиць для обгрунтування силогістичних висновків.

30. Визначення недедуктивного умовиводу.

31. Типологія умовиводів.

32. Характерні особливості повної індукції.

33. Своєрідність математичної індукції.

34. Види неповної індукції.

35. Визначення популярної індукції.

36. Заходи, які підвищують надійність висновку у популяр­ній індукції.

37. Характеристика методів знаходження причинних зв’язків.

38. Визначення аналогії як умовиводу.

39. Структура умовиводів за аналогією.

40. Види аналогій.

41. Умови підвищення ефективності аналогій.