Деонтические требования к нормативно-правовой системе

Деонтическая непротиворечивость: система права исключает деонтически несовместимые нормы.

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

Деонтическая полнота: регулируются все действия в данной области, и нет нерегулируемых действий.

Схема 3.17. Логические операции с суждениями

Отрицание конъюнкции может принять форму дизъюнкции отрицаний (нестрогой) ¬(АΛВ)≡(¬АV¬В) или форму импликации.

Отрицание дизъюнкции может принять форму конъюнкции отрицаний

¬(АVВ)≡(¬АΛ¬В).

Отрицание импликации может принять форму конъюнкции

¬(АВ)≡(АV¬В).

Схема 3.18. Общая характеристика логики высказываний

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

Допущения логики высказываний: 1) всякое высказывание является либо истинным, либо ложным (принципы двузначности); 2) истинностное значение сложного высказывания зависит только от истинностных значений входящих в него простых высказываний и характера их связи.

Язык логики высказываний (АЛВ) включает: 1) неограниченное множество переменных а, в, с, …, а¹, …, представляющих высказывания; 2) особые символы для логических связок Λ, V, , →, , а; скобки, играющие роль знаков препинания естественного языка.

Для меньшего количества скобок установлено, что операция отрицания выполняется первой, затем конъюнкция и только потом импликация и эквивалентность.

Основные группы формул логики высказываний

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

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

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

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

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

Невозможно обсуждать логические или научные законы с тем, кто отрицает значимость законов мысли.

В. Виндельбанд

Если бы природа имела столько законов, как государство, сам Господь не в состоянии был бы управлять ею.

К. Берне

Многочисленность законов в государстве есть то же, что большое число лекарей: признак болезни и бессилия.

Ф. Вольтер

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

К. Гельвеций

Если кто-нибудь захочет изучить все законы, то у него не будет времени нарушать их.

И. Гете