Тема 11. Матрицы истинности сложных высказываний
1. Табличная семантика логики высказываний
2. Законы классической логики высказываний
3. Понятие фактической и логической совместимости и несовместимости высказываний
4. Полные и неполные системы связок в логике высказываний. Теорема о полноте системы КДО
5. Стрелка Ч. Пирса и штрих Г. Шеффера как полные системы логических связок
6. Доказательство и логический вывод в формальном аксиоматическом исчислении высказываний
7. Метатеоремы в формальном аксиоматическом исчислении высказываний
8. Натуральное исчисление высказываний: понятие, метатеоремы и правила
Контрольные упражнения № 1, 2, 3 (23, с. 12–13), 1, 2, 3 (29, с. 3), 5, 9, 12 (29, с. 4)
Литература: 1, 5, 9, 12, 20.
Тема 12. Понятие и язык логики предикатов
1. Понятие логики предикатов и ее порядка.
2. Знаки в исчислении предикатов: основные виды, общие принципы и контекст применения
3. Алфавитная символика при исчислении предикатов
4. Формально-логическая структура релятивного суждения в исчислении предикатов
5. Пустые понятия в логике предикатов
6. Термы и формулы логики предикатов. Формулы-понятия и формулы-высказывания
Контрольные упражнения № 1, 2, 3 (29, с. 5–6).
Литература: 1, 5, 9, 12, 20.
Раздел 5. УМОЗАКЛЮЧЕНИЕ И ЛОГИЧЕСКИЙ ВЫВОД
Тема 13. Умозаключение как форма мысли(практическое занятие)
1. Общая характеристика умозаключения в классической логике
2. Виды умозаключений в классической логике
3. Условно-категорический силлогизм
4. Разделительно-категорический силлогизм
5. Условно-разделительный силлогизм
Контрольные упражнения № 1, 2, 3, 4, 5 (23, с. 15–17), № 1, 2, 3, 4 (23, с. 18–19).
Литература: 2, 3, 6, 8, 18, 25, 26.
Тема 14. Простой категорический силлогизм(практическое занятие)
1. Общая характеристика и состав простого категорического дедуктивного умозаключения в классической силлогистике.
2. Общие правила простого категорического силлогизма
3. Фигуры простого категорического силлогизма
4. Правила первой фигуры простого категорического силлогизма
5. Правила второй фигуры простого категорического силлогизма
6. Правила третьей фигуры простого категорического силлогизма
7. Правила четвёртой фигуры простого категорического силлогизма
8. Аксиома и демонстративность простого категорического силлогизма в классической логике
9. Модус простого категорического силлогизма: понятие, мнемотехника и операции
Контрольные упражнения № 1, 2, 3, 5 (23, с. 13–15).
Литература: 2, 3, 6, 18, 26, 10.3.7.
Тема 15. Сложные и сокращённые силлогизмы(практическое занятие)
1. Классификация силлогизмов по наличию элементов формальной структуры
2. Энтимема – простой сокращенный силлогизм
3. Полисиллогизм – сложный полный силлогизм, его структура и виды
4. Сложносокращённый силлогизм эпихейрема
5. Сорит и его виды
Контрольные упражнения № 8, 9, 10, 11, 12, 13, 14 (7, с. 106–108)
Литература: 2, 3, 6, 18, 26.
Тема 16. Дедуктивный вывод в логике высказываний(практическое занятие)
1. Понятие научной теории. Логические виды теорий
2. Натуральное исчисление высказываний
3. Правила использования кванторов в натуральном исчислении предикатов
4. Дедуктивные теоремы в исчислении предикатов
5. Аксиоматические дедуктивные теории
Контрольные упражнения № 8, 9, 10, 11 (29, с. 8)
Литература: 1, 5.
Раздел 6. ОСНОВЫ ТЕОРИИ АРГУМЕНТАЦИИ
Тема 17. Аргументация как коммуникативный процесс(семинарское занятие)
1. Понятие, структура и специфика аргументации в связях с общественностью
2. Виды вопросов и ответов и логические требования к ним
3. История античной риторики и эристики
4. Спор, его виды и критерии эффективности
5. Паралогизмы, логические парадоксы, софизмы
Контрольные упражнения № 5–9, 14 (7, с. 142–143), 1, 2, 3 (7, с. 159–163).
Литература: 3, 4, 10, 14, 15, 16, 17, 21, 27, 28, 31.
Тема 18. Доказательство и опровержение(практическое занятие)
1. Доказательство и его структура. Правила тезиса и аргументов
2. Прямое и косвенное доказательство
3. Опровержение и его виды
4. Ошибки в доказательстве и опровержении
Контрольные упражнения № 1, 2, 3 (23, с. 21–22).
Литература: 2, 3, 10, 11.