КОНТРОЛЬНЫЕ ВОПРОСЫ ПО ЛОГИКЕ
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.