КОНТРОЛЬНІ ПИТАННЯ З ЛОГІКА
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. Символічне представлення закону суперечності.
35. Сформулюйте закон виключеного третього.
36. Символічне представлення закону виключеного третього.
37. Сформулюйте закон достатньої підстави.
38. Символічне представлення закону достатньої підстави.
39. Закони математичної логіки.
40. Як відрізнити закон логіки від виразу, не є закон.
41. Що таке умовивід. Який його склад.
42. Які умовиводи називаються «дедуктивними».
43. Що таке перетворення.
44. Що таке звернення.
45. Що таке протиставлення предикату.
46. Що таке простий категоричний силогізм.
47. Менший термін. Великий термін. Середній термін.
48. Як знайти посилки і висновок силогізму.
49. Поняття терміна.
50. Загальні вимоги до термінів і посилок силогізму.
51. Чим відрізняються одна від іншої фігури силогізму.
52. Скільки фігур силогізму.
53. Правила фігур.
54. Як встановити правильність силогізму.
55. Що таке ентимема і як встановити її коректність.
56. Правила термінів.
57. Правила посилок.
58. Правила модусу.
59. Умовно-категоричний силогізм. Його модуси.
60. Розділово-категоричний силогізм. Його модуси і вимоги до розділової посилці.
61. Конструктивна дилема.
62. Деструктивна дилема.
63. Що таке індукція. Чим індуктивний висновок відрізняється від дедуктивного.
64. Види індукції.
65. Метод встановлення причинних зв'язків - єдиного подібності.
66. Метод встановлення причинних зв'язків - єдиного відмінності.
67. Метод встановлення причинних зв'язків - єдиного методу подібності та відмінності.
68. Метод встановлення причинних зв'язків - метод залишків.
69. Метод встановлення причинних зв'язків - метод супутніх змін.
70. Роль індукції у пізнанні.
71. Що таке доказ. З яких елементів вона складається.
72. Види доказів.
73. Вимоги до тези докази.
74. Вимоги до аргументів докази.
75. Що таке суперечка.
76. Які різновиди спорів виділяє еристика.
77. Які умови раціонального спору.
78. Лояльні прийоми спору.
79. Чим відрізняються нелояльні прийоми спору від лояльних.
80. Нелояльні загальні прийоми.
81. Різновиди аргументів.
82. Як відповідати на використання нелояльних прийомів.
ТЕМАТИКА КОНТРОЛЬНИХ РОБІТ ПО ЛОГІКА
Тема 1. Принципи моделювання
Моделювання, як спосіб пізнання дійсності. Приклади моделей. Основні характеристики моделей: мета, досліджувана область, структура і система понять досліджуваної області, закономірності, засоби, уявлення. Методологія використання моделей. Предмет і метод логіки. Логіка традиційна та сучасна. Поняття, судження, міркування (умовивід) як основні категорії логіки.
Тема 2. Теоретико-множинні засоби моделювання
Поняття множини, підмножини, рівності множин. Операції над множинами. Співвідношення між операціями. Діаграми Ейлера - Венна. Рівності в теорії множин. Безліч підмножин.
Поняття у традиційній логіці, обсяг і зміст поняття. Обсяги понять і множини. Відносини між поняттями. Узагальнення і обмеження поняття. Твір множин. Теорія множин і бази даних. Відносини. Опції.
Тема 3. Засоби моделювання логіки висловлювань
Логічні функції. Елементарні логічні операції «і», «або», «не», «отже». Логічні функції, визначені складними виразами. Табличне представлення булевих функцій. Тавтології. Рівносильні формули, доказ равносильности. Тотожні перетворення формул. Семантичне слідування.
Тотожно істинна формула як логічний закон. Основні закони логіки: закон тотожності, протиріччя, виключеного третього, достатньої підстави.
Положення логіки висловлювань для вирішення текстових логічних задач.
Тема 4. Засоби моделювання логіки предикатів
Предикативні функції. Квантори існування та загальності. Вільні і зв'язані змінні. Інтерпретація формул. Здійснимі, загальнозначущі формули. Моделювання закономірностей предметних областей логічними формулами.
Бази даних, мови запитів і логічні формули.
Поняття логічного числення. Арістотелева сіллогістіка. Модуси і фігури силогізму.
Тема 5. Логіка наукового пізнання
Доказ і дедуктивний висновок. Види індукції. Методи встановлення причинних зв'язків. Гіпотетико-дедуктивний метод. Аналогія.
Література
1. Вайнтроб А.Ю., Ганнушкіна С.А. Елементи теорії множин. М.: РДГУ, 1992.
2. Гладкий А.В. Введення в сучасну логіку. М. МЦНМО, 2001.
3. Кук Д., Бейз Г. Комп'ютерна математика. М.: Наука, 1990.
4. Бочаров В.А., Маркін В.І. Основи логіки. М.: ИНФРА-М, 2000
5. Уйомов А.І. Логічні основи методу моделювання. М.: Думка, 1971.
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. Символічне представлення закону суперечності.
35. Сформулюйте закон виключеного третього.
36. Символічне представлення закону виключеного третього.
37. Сформулюйте закон достатньої підстави.
38. Символічне представлення закону достатньої підстави.
39. Закони математичної логіки.
40. Як відрізнити закон логіки від виразу, не є закон.
41. Що таке умовивід. Який його склад.
42. Які умовиводи називаються «дедуктивними».
43. Що таке перетворення.
44. Що таке звернення.
45. Що таке протиставлення предикату.
46. Що таке простий категоричний силогізм.
47. Менший термін. Великий термін. Середній термін.
48. Як знайти посилки і висновок силогізму.
49. Поняття терміна.
50. Загальні вимоги до термінів і посилок силогізму.
51. Чим відрізняються одна від іншої фігури силогізму.
52. Скільки фігур силогізму.
53. Правила фігур.
54. Як встановити правильність силогізму.
55. Що таке ентимема і як встановити її коректність.
56. Правила термінів.
57. Правила посилок.
58. Правила модусу.
59. Умовно-категоричний силогізм. Його модуси.
60. Розділово-категоричний силогізм. Його модуси і вимоги до розділової посилці.
61. Конструктивна дилема.
62. Деструктивна дилема.
63. Що таке індукція. Чим індуктивний висновок відрізняється від дедуктивного.
64. Види індукції.
65. Метод встановлення причинних зв'язків - єдиного подібності.
66. Метод встановлення причинних зв'язків - єдиного відмінності.
67. Метод встановлення причинних зв'язків - єдиного методу подібності та відмінності.
68. Метод встановлення причинних зв'язків - метод залишків.
69. Метод встановлення причинних зв'язків - метод супутніх змін.
70. Роль індукції у пізнанні.
71. Що таке доказ. З яких елементів вона складається.
72. Види доказів.
73. Вимоги до тези докази.
74. Вимоги до аргументів докази.
75. Що таке суперечка.
76. Які різновиди спорів виділяє еристика.
77. Які умови раціонального спору.
78. Лояльні прийоми спору.
79. Чим відрізняються нелояльні прийоми спору від лояльних.
80. Нелояльні загальні прийоми.
81. Різновиди аргументів.
82. Як відповідати на використання нелояльних прийомів.
ТЕМАТИКА КОНТРОЛЬНИХ РОБІТ ПО ЛОГІКА
Тема 1. Принципи моделювання
Моделювання, як спосіб пізнання дійсності. Приклади моделей. Основні характеристики моделей: мета, досліджувана область, структура і система понять досліджуваної області, закономірності, засоби, уявлення. Методологія використання моделей. Предмет і метод логіки. Логіка традиційна та сучасна. Поняття, судження, міркування (умовивід) як основні категорії логіки.
Тема 2. Теоретико-множинні засоби моделювання
Поняття множини, підмножини, рівності множин. Операції над множинами. Співвідношення між операціями. Діаграми Ейлера - Венна. Рівності в теорії множин. Безліч підмножин.
Поняття у традиційній логіці, обсяг і зміст поняття. Обсяги понять і множини. Відносини між поняттями. Узагальнення і обмеження поняття. Твір множин. Теорія множин і бази даних. Відносини. Опції.
Тема 3. Засоби моделювання логіки висловлювань
Логічні функції. Елементарні логічні операції «і», «або», «не», «отже». Логічні функції, визначені складними виразами. Табличне представлення булевих функцій. Тавтології. Рівносильні формули, доказ равносильности. Тотожні перетворення формул. Семантичне слідування.
Тотожно істинна формула як логічний закон. Основні закони логіки: закон тотожності, протиріччя, виключеного третього, достатньої підстави.
Положення логіки висловлювань для вирішення текстових логічних задач.
Тема 4. Засоби моделювання логіки предикатів
Предикативні функції. Квантори існування та загальності. Вільні і зв'язані змінні. Інтерпретація формул. Здійснимі, загальнозначущі формули. Моделювання закономірностей предметних областей логічними формулами.
Бази даних, мови запитів і логічні формули.
Поняття логічного числення. Арістотелева сіллогістіка. Модуси і фігури силогізму.
Тема 5. Логіка наукового пізнання
Доказ і дедуктивний висновок. Види індукції. Методи встановлення причинних зв'язків. Гіпотетико-дедуктивний метод. Аналогія.
Література
1. Вайнтроб А.Ю., Ганнушкіна С.А. Елементи теорії множин. М.: РДГУ, 1992.
2. Гладкий А.В. Введення в сучасну логіку. М. МЦНМО, 2001.
3. Кук Д., Бейз Г. Комп'ютерна математика. М.: Наука, 1990.
4. Бочаров В.А., Маркін В.І. Основи логіки. М.: ИНФРА-М, 2000
5. Уйомов А.І. Логічні основи методу моделювання. М.: Думка, 1971.