- Санкция

Право и обязанность выражают с помощью деонтических операторов:

О – обязывание

F – запрещение

Р – разрешение

d – регулируемое действие

X, y, z – объекты правоотношения

Нормы права:

1) правообязывающие

2) правозапрещающие

3) правопредоставляющие

Модальные деонтические требования:

непротиворечивость

сбалансированность

полнота

АЛЕТИЧЕСКАЯ МОДАЛЬНОСТЬ.

Это выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической детерминантности суждения.

1)ЛОГИЧЕСКАЯ МОДАЛЬНОСТЬ связана с логической детерминированностью суждения, когда истинность или ложность определяется структурой, или формой суждения.

К логическим истинным (Lи) относятся суждения, выражающие законы логики. К логически ложным (Lл) внутренне противоречивые суждения.

2) ФАКТИЧЕСКАЯ МОДАЛЬНОСТЬ связана с объективной, или физической, детерминированностью суждений, когда их истинность или ложность определяются положением дел в реальной действительности. К фактически истинным относятся суждения, в которых связь между терминами соответствует реальным отношениям между предметами. К фактически ложным относятся суждения, в которых связь между терминами не соответствует действительности.

Необходимость-случайность. Фактически необходимыми являются суждения, в которых содержится информация о законах науки. Фактически случайные – суждения, которые не содержат информации о з-нах науки, а их истинность и ложность определяются конкретными эмпирическими условиями.

Возможность-невозможность. Фактически возможными являются суждения, в которых содержится информация о принципиальной совместимости двух явлений (если возможен не только 1 исход, но и может быть противоположный исход). Фактически невозможными являются суждения, в которых содержится информация о принципиальной несовместимости двух явлений.

16. Сложное суждение и его виды Суждение – это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком, отношения между предметами или факт существования предмета и которая может быть либо истинной, либо ложной.

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

В соответствии с функциями логических связок сложные суждения делятся на следующие виды. Соединительные суждения (конъюнктивные) - это такие суждения, которые включают в качестве составных частей другие суждения - конъюнкты, объединяемые связками «и», «а», «но», «как», «так и», «так же» и др.

p	q	p q
И	И	И
И	Л	Л
Л	И	Л
л	Л	Л

Разделительные суждения (дизъюнктивные) - это такие суждения, которые включают в качестве составных частей суждения-дизъюнкты, объединяемые связкой «или». Различают нестрогую дизъюнкцию, когда союз «или» имеет соединительно-разделительное значение, не придает исключающего смысла входящим в сложное суждение составляющим.

p	q	p q
И	И	И
И	Л	И
Л	И	И
Л	л	Л

Строгая дизъюнкция возникает, когда употребляется логический союз «или» в разделяющем значении.

p	q	P q
И	И	Л
И	Л	И
Л	И	И
л	л	л

Условные суждения (импликативные)- это такие суждения, которые образованы из двух простых посредством логических союзов: «если...то», «там...где», «постольку... поскольку». Аргумент, начинающийся словом «если», называется антецедент, а составляющая, начинающаяся словом «то», консеквентом.

p	q	P q
И	И	И
И	Л	Л
Л	И	И
Л	Л	И

Эквивалентные суждения (двойная импликация) – включающие в составе составных 2 суждения, связанные двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если…, то…».

p	q	P q
И	И	И
И	Л	Л
Л	И	Л
л	л	И