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