
- •Утверждаю
- •Тема 1. Предмет и специфика логики. Основные логические структуры: понятие, суждение, умозаключение
- •Тема 2. Основы теории аргументации. Основные формально-логические законы
- •Тема 3. Элементы логики высказываний: алгоритм формализации сложных суждений, формулы логики высказываний
- •Тема 4. Элементы логики высказываний: нормальные формы в доказательстве, проблема разрешимости суждений
- •Тема 5. Элементы логики высказываний: обзор причин и следствий
- •Тема 6. Силлогистика: виды и структура простых суждений
- •Тема 7. Силлогистика: непосредственное умозаключение
- •Тема 8. Силлогистика: силлогизма и его виды
- •Тема 9. Логические операции с понятиями
- •Тема 10. Логика и юриспруденция: обзор применимости
- •Варианты контрольных работ Вариант № 1.
- •Вариант № 2
- •Проверить правильность вывода и указать возможные ошибки в силлогизме.
- •4. Сделать вывод из посылок, если это возможно:
- •Вариант № 3
- •Вариант № 4
- •3. Проверить правильность вывода и указать возможные ошибки в силлогизме.
- •4. Сделать вывод из посылок, если это возможно:
- •5. С помощью нормальных форм определить, является ли формула X гипотезой для формулы y:
- •Вариант № 5
- •3. Проверить правильность вывода и указать возможные ошибки в силлогизме.
- •4. Сделать вывод из посылок, если это возможно.
- •6. Изобразить понятия на кругах Эйлера, их сложить и обобщить.
- •Вариант № 6
- •3. Проверить правильность вывода и указать возможные ошибки в силлогизме.
- •5. Найти возможные гипотезы для формулы:
- •Вариант № 7
- •4. Восстановите, если возможно, полисиллогизм:
- •5. Найти возможные гипотезы для имеющейся информации, сформулировать и проверить их.
- •Вариант № 8
- •5. С помощью нормальных форм определить, является ли формула X гипотезой для формулы y:
- •Вариант № 9
- •Вариант № 10
- •Вариант № 11
- •5. Доказать или опровергнуть с помощью кнф, является ли формула тождественно-истинной:
- •Вариант № 12
- •5. Найти возможные гипотезы для формулы:
- •Вариант№ 13
- •4. Сделать вывод из посылок, если это возможно:
- •Вариант № 14
- •3. Восстановить пропущенную часть силлогизма, если это возможно:
- •4. Сделать вывод из посылок, если это возможно:
- •5. Привести формулы к нормальной форме:
- •Вариант № 15
- •4. Сделать вывод из посылок, если это возможно:
- •5. Найти возможные гипотезы для имеющейся информации и сформулировать их.
- •Вариант № 16
- •4. Сделать вывод из посылок, если это возможно:
- •5. С помощью нормальных форм определить, является ли формула X гипотезой для формулы y:
- •Вариант № 17
- •4. Сделать вывод из посылок, если это возможно.
- •5. Привести формулы к нормальной форме:
- •Вариант № 18
- •5. Привести к днф и установить является ли формула тождественно-истинной, логически-нейтральной, невыполнимой?
- •Вариант № 19
- •Восстановите, если возможно, полисиллогизм:
- •5. Доказать или опровергнуть с помощью кнф, является ли формула тождественно-истинной:
- •Вариант № 20
- •Вариант № 21
- •3. Восстановить пропущенную часть силлогизма, если это возможно.
- •Вариант № 22
- •5. С помощью нормальных форм определить, является ли формула X логическим следствием множества формул y:
- •6. Представьте в схеме отношения между понятиями:
- •Вариант № 23
- •2. Произвести обращение суждений:
- •Вариант № 24
- •2. Произвести обращение суждений:
- •Вариант № 25
- •Вариант № 26
- •Вариант № 27
- •Вариант № 28
- •Вариант № 29
- •5. Найти возможные следствия из формулы:
- •Найдите понятия, отношения между которыми представлены в схеме:
- •Вариант № 30
- •3. Получите правильный вывод, если это возможно:
- •6 . Найдите понятия, отношения между которыми представлены в схеме:
- •Вопросы для подготовки к экзамену.
- •7. Учебно-методическое и информационное обеспечение дисциплины Литература
- •8. Материально-техническое обеспечение дисциплины
- •«Логика в юриспруденции»
5. Найти возможные следствия из формулы:
(((AB) (BD)) B)
Найдите понятия, отношения между которыми представлены в схеме:
1
2 3
4
Вариант № 30
1. Дать логическую характеристику простого суждения: не все талантливые люди - учёные.
2. Произвести противопоставление предикату: всякая скупость есть порок.
3. Получите правильный вывод, если это возможно:
Всякий человек есть царь.
Всякий человек есть раб.
4. Восстановите, если возможно, полисиллогизм: преступления общественно опасны. Все хищения – преступления. Все кражи – хищения. Все тайные присвоения книг из библиотеки – кражи.
5. Табличным способом обосновать (опровергнуть) правильность вывода: если разбивается витрина, то включается звуковая сигнализация и одновременно поступает сигнал в милицию. Если же при разбивании витрины не поступает сигнал в милицию, то не включается и звуковая сигнализация. Значит, звуковая сигнализация включается только вместе с поступлением сигнала в милицию.
6 . Найдите понятия, отношения между которыми представлены в схеме:
1 2
3, 4 5 6,7
Вопросы для подготовки к экзамену.
Предмет логики. Логика и другие науки.
Понятие логической формы. Истинность и правильность как различные категории в логике.
Понятие как форма мышления. Содержание и объём понятий.
Виды понятий.
Отношения между понятиями.
Определение понятий как логическая операция: правила и возможные ошибки. Процедуры, сходные с определением: описание характеристика, сравнение и др.
Деление понятий как логическая операция: правила и возможные ошибки. Классификация. Типология.
Суждение как форма мышления. Суждение и предложение.
Простое суждение как форма мышления: логическая структура, виды простых суждений по типу предиката.
Объединённая классификация простых категорических суждений по качеству и количеству и её практическое применение в логике.
Отношения между простыми категорическими суждениями. «Логический квадрат». Особенности непосредственных умозаключений по «логическому квадрату».
Распределённость терминов в простых категорических суждениях. Практическое применение этого свойства в логике.
Логическая операция отрицания простых суждений.
Сложное суждение и его виды.
Модальные суждения. Основные виды модальностей.
Вопрос как форма мышления. Вопрос и суждение. Виды вопросов.
Понятие логической некорректности вопроса и её виды.
Ответ как форма мышления. Виды ответов.
Умозаключение как форма мышления. Понятие логического следования. Виды умозаключений.
Особенности дедуктивных умозаключений и их виды.
Преобразование простых категорических суждений: превращение, обращение, противопоставление предикату.
Простой категорический силлогизм как форма мышления. Аксиома и общие правила простого категорического силлогизма.
Фигуры и модусы простого категорического силлогизма.
Сокращённый категорический силлогизм как форма мышления.
Сложные и сложносокращённые силлогизмы.
Чисто условные умозаключения как форма мышления.
Условно – категорические умозаключения, правильные и неправильные модусы.
Чисто разделительное умозаключение как форма мышления.
Разделительно – категорическое умозаключение как форма мышления.
Условно – разделительное умозаключение как форма мышления.
Индуктивные умозаключения как форма мышления: логическая природа индукции, виды индукции.
Индуктивные методы установления причинных связей.
Умозаключение по аналогии и его виды.
Основные законы формальной логики.
Логические основы теории аргументации.
Гипотеза как форма мышления.
Значение логики для профессиональной деятельности.