- •1. Предмет логики как науки.
- •2. Мышление как объект и инструмент познания. Логика и правовое мышление
- •3. Понятие логических форм. Истинность и правильность мысли.
- •4. Язык как знаковая система. Требования к языку права.
- •5. Семантические категории языковых выражений. Язык логики.
- •6. Понятие как форма мышления. Образование понятий.
- •7. Объем и содержание понятий, их отношения.
- •8. Операции ограничения и обобщения понятий.
- •9. Виды понятий.
- •10. Отношения между понятиями.
- •11. Определение понятий и виды определений. Приемы сходные с операциями.
- •12. Правила определения. Ошибки в определениях.
- •13. Деление понятий и его виды.
- •14. Правила деления и ошибки, возможные при делении.
- •15. Классификация, виды классификаций.
- •16. Суждение как форма мышления. Суждение и предложение.
- •17. Простые суждения и их виды.
- •18. Категорические суждения и их виды.
- •19. Распределенность терминов в категорических суждениях.
- •20. Отношения между простыми суждениями. «Логический квадрат».
- •Модальность суждений. Виды модальностей.
- •Основные эквивалентности для атлетических и эпистемических модальностей.
- •Логические отношения между деонтическими модальностями и их значение для построения нормативных рассуждений.
- •Сложные суждения и их виды. Логическая форма сложных суждений.
- •Семантическая таблица истинности.
- •Отношения между сложными суждениями. Понятие логического следования.
- •Законы логики и логические противоречия.
- •Основные законы логики
- •Отличительные черты дедуктивных умозаключений и их роль в познании.
- •Силлогический вывод. Непосредственные умозаключения, их вывод.
- •Простой категорический силлогизм. Структура и термины силлогизма.
- •Правила силлогизма: правила терминов и посылок.
- •Фигуры силлогизма и их познавательные функции. Правила фигур. Понятие модуса силлогизма.
- •Энтимема. Способы образования и проверки энтимем.
- •Сложные силлогизмы (полисиллогизмы сориты).
- •Условно-категорические умозаключения, их использование при аргументации.
- •Чисто условные умозаключения, условная правильность выводов.
- •Разделительно-категорические умозаключения, условная правильность вывода.
- •Дилеммы, их виды и правильные формы.
- •Недедуктивные умозаключения, их виды и роль в познании
- •Индукция, как метод познания. Полная индукция, возможность ее применения.
- •Неполная индукция и способы повышения ее надежности.
- •Методы сходства и различия. Объединенный метод.
- •Методы сопутствующих изменений и остатков.
- •Умозаключения по аналогии, их структура и виды.
- •Роль аналогии в науке и правовом процессе.
- •Аргументация, доказательство и опровержение, их структура.
- •Способы доказательств.
- •Виды опровержения.
- •Правила по отношению к тезису: возможные ошибки и уловки.
- •Правила по отношению к аргументам: возможные ошибки и уловки.
- •Основные требования к аргументации
- •Виды аргументации
- •Структура вопроса, виды вопросов и критерии их правильности.
- •Ответ, виды ответов, критерии правильности ответов
Условно-категорические умозаключения, их использование при аргументации.
Условно-категорическое умозаключение – одна из посылок – условное, а другая посылка и заключение – категорические суждения. Имеет два правильных модуса (согласуются с общими правилами силлогизма; заключение достоверно; утверждение основании ведет к утверждению следствия и отрицание следствия – к отрицанию основания): 1. Утверждающий модус (рассуждение от утверждения истинности основания к утверждению истинности следствия) – посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия: Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q); Иск предъявлен недееспособным лицом (р) (категорическое суждение) / Суд оставляет иск без рассмотрения (q). Признав истинность основания, признаем истинность следствия. Утверждающий модус дает достоверные выводы: p→q, р / q 2. Отрицающий модус (рассуждение от отрицания истинности следствия к отрицанию истинности основания) – посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания: Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q); Суд не оставил иск без рассмотрения (не-q) (категорическое суждение) / Неверно, что иск предъявлен недееспособным лицом (не-р) (Иск предъявлен дееспособным лицом). p→q, ┐q / ┐р Два неправильных модуса (заключение не достоверно; отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания): 1. От отрицания истинности основания к отрицанию истинности следствия: p→q, ┐р / ┐q 2. От утверждения истинности следствия к утверждению истинности основания: p→q, q / р Основание и следствие большей посылки могут быть как утвердительными, так и отрицательными суждениями; если большая посылка – эквивалентное суждение (р≡q), то достоверные заключения получаются по всем четырем модусам: (выделяющее условное суждение) Если лицо, виновно в совершении преступления, то оно подлежит уголовной ответственности.
Чисто условные умозаключения, условная правильность выводов.
Чисто-условное умозаключение – обе посылки – условные суждения: Если студент успешно сдал сессию (р), то он считается прошедшим в следующий семестр (q). Если он считается прошедшим в следующий семестр (q), то ему продлевают зачетку (r) / Если студент успешно сдал сессию (р), то ему продлевают зачетку (r). Следствие первой посылки является основанием второй, из которого, в свою очередь, вытекает некоторое следствие. Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (r): (p→q) ٨ (q→r) / p→r. Вывод основывается на правиле: следствие следствия есть следствие основания. Это простое умозаключение – вывод получается из двух условных посылок. Чисто условным называется умозаключение, обе посылки которого являются условными суждениями. Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания. Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными.