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

Для решения проблем права разрабатывается деонтическая логика.

Данный тип модальности - выраженное в суждении побуждение людей к конкретным действиям в форме совета, пожелания, команды, правила поведения или приказа. Другими словами, это характеристики действий и поступков людей в обществе. Данная модальность выражается в терминах "обязательно", "разрешено", "запрещено", "безразлично".

Обозначения для Деонтических модальностей:

a. О – обязательно,

b. Р – разрешено,

c. З – запрещено,

d. Б – безразлично.

К деонтическим относятся различного рода нормативные высказывания, в том числе и нормы права, т. е. официально принятые общеобязательные правила поведения, регулирующие правовые отношения в социальной среде. К деонтическим относятся высказывания типа "Запрещается переходить улицу на красный свет" или "Курить в аудитории не разрешается"

Логические зависимости между деонтическими модальностями можно изобразить с помощью логического квадрата «квадрата противоположностей».

Буква «р» обозначает некоторое действие, которое может быть обязательно, или разрешено, или запрещено.

Утверждения вытекающие из «квадрата противоположностей»:

- если действие обязательное, то оно разрешено.

- если действие запрещено, то оно не обязательно.

- никакое действие не является обязательным и запрещенным одновременно.

- любое действие либо разрешено, либо запрещено.

- если действие запрещено, то оно не разрешено.

- если действие разрешено, то оно не запрещено.

- все, что не запрещено, то разрешено.

Деонтическая логика не просто описывает нормативные рассуждения и реальные кодексы, она формулирует критерии рационального рассуждения в области права; критерии, дающие разумные основания для действий.

24. Сложные суждения и их виды. Логическая форма сложных суждений.

Суждение – мысль, в которой утв. или отриц. наличие связей между предметами и их св-вами, а также отношений между предметами.

Сложное суждение – суждение, содержащее в себе другие суждения в качестве логической части.

Вид сложного суждения определяется логическим союзом, с помощью которого оно образовано.

Знаки для логических союзов:

& (конъюнкция),

∨ (дизъюнкция),

∨ (строгая дизъюнкция),

→ (импликация),

≡ (эквивалентность),

¬ (отрицание).

Виды сложных суждений:

1. Соединительное суждение – конъюнкция = «и». Пример: «Блеснула молния и загремел гром». Логическая форма: (А & В).

2. Разделительное суждение – дизъюнкция = «или». Пример: «Я куплю конфеты или печенье». Логическая форма: (А ∨ В).

3. Строго-разделительное суждение – строгая дизъюнкция = «либо…, либо…». Пример: «Подозреваемы либо виновен, либо невиновен». Логическая форма: (А ∨ В).

4. Условное суждение – импликация = «если…, то…». Пример: «Если я устал, то не могу работать». Логическая форма: (А → В).

5. Суждение эквивалентности = «…тогда и только тогда, когда…». Пример: «Подозреваемый виновен тогда и только тогда, когда его вина будет доказана». Логическая форма: (А ≡ В).

6. Отрицательное суждение – отрицание = «не», «неверно, что…». Пример: Не видит. Логическая форма: (¬ А).