Тема 10. Сложные суждения

Сложные суждения: логическая форма и виды. Образование сложных суждений из простых с помощью логических связок (пропозициональных союзов).

Конъюнктивное (соединительное) суждение, его строение и условия истинности.

Дизъюнктивное (разделительное) суждение, его строение, виды и условия истинности. Строгая и нестрогая дизъюнкция.

Импликативное (условное) суждение, его строение и условия истинности. Антецедент и консеквент.

Эквивалентное (двойной импликации) суждение, его строение и условия истинности.

Таблица истинности сложных суждений. Логические правила определения истинности юридических суждений.

Логические операции между сложными юридическими суждениями.

Тема 11. Модальность суждений

Понятие модальности. Модальность как дополнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных и других его характеристиках.

Логическое строение модальных простых и сложных суждений. Модальный функтор (M) и его функции в простых и сложных высказываниях.

Алетическая модальность и её виды (фактическая и логическая). Функторы алетической модальности: «необходимо», «возможно», «случайно». Алетические модальности «de dicto» и «de re» (модальности «о речи» и «о вещи»). Аксиомы алетической модальности. Свойства и связь основных алетических операторов в правоведении.

Эпистемическая модальность. Функторы эпистемической модальности: «доказуемо», «достоверно», «опровержимо» и др. Достоверные и проблематические высказывания, их функции в мышлении. Двухзначная и трёхзначная эпистемическая логика. Вера и истинность, их функции в нормативных высказываниях.

Аксиологическая (оценочная) модальность и её виды. Функторы аксиологии: «хорошо», «плохо», «лучше», «хуже» и др. Ценностная и сравнительная форма аксиологических высказываний.

Деонтическая модальность. Функторы (операторы) деонтических высказываний: «обязывание», «запрещение», «разрешение», «безразличие». Способы и нормы выражения деонтических операторов средствами алетической логики.

Деонтическая характеристика нормы как регулятора правоотношений. Проблема истинности и логичности нормативных высказываний. Свойства и связь деонтических операторов в мышлении. Деонтические требования к нормативно-правовой системе: непротиворечивость, сбалансированность, полнота.

Модальные и категорические суждения в толковании юридических норм и нравственных высказываний.

Роль и значение (практическое применение) модальных операторов в философии права, теории права и других правовых науках.

Тема 12. Логические операции между суждениями

Логические операции между простыми суждениями, их классификация. Симметричные и транзитивные операции.

Отношения между суждениями по истинности. Отношения совместимости (эквивалентность, логическое подчинение, частичная совместимость или субъконтрарность) и несовместимости (противоречие или контрадикторность), противоположность или контрарность). Отрицание простых суждений.

Логические отношения между суждениями (А, Е, I, О) по логическому квадрату (соотношение истинности и ложности).

Логические операции между сложными суждениями. Таблица логической тавтологии. Отрицание сложных суждений.

Значение логических операций между суждениями в правовой сфере.