Учебное пособие: Контрольные вопросы по логике

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. Средства моделирования логики высказываний

Логические функции. Элементарные логические операции «и», «или», «не», «следовательно». Логические функции, определенные сложными выражениями. Табличное представление булевых функций. Тавтологии. Равносильные формулы, доказательство равносильности. Тождественные преобразования формул. Семантическое следование.