Модальная логика
Реферат - Философия
Другие рефераты по предмету Философия
х, прогрессивных или реакционных.
- Второй тип логически обоснованные суждения, выражающие знание.
Знание, фактор логического воздействия это принятие суждения как истинного или ложного в силу его обоснованности другими суждениями, из которых принимаемое суждение логически вытекает как следствие, где К модальный оператор, означающий знание.
По степени обоснованности среди знаний различают два непересекающихся класса суждений: достоверные и проблематичные.
- Достоверные суждения это достаточно обоснованные истинные или ложные суждения. Модальность можно выразить с помощью двух операторов:
- Доказанности (верифицированности) V.
- Опровергнутости (фальсифицированности) F.
- Проблематичные суждения это суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности. Точно не установить истинность или ложность таких суждений, то они лишь могут быть таковыми. Их и называют: проблематичные, правдоподобные, вероятные.
Обоснованность суждения, выражаемая в соответствующей мотивировке, должна быть ведущим фактором, определяющим формирование субъективной уверенности, без которой также не бывает раскрытия истины.
Деонтическая модальность
Деонтическая модальность термин заимствован из греческого языка и означает обязанность, это выраженная в суждении просьба, совет, приказ или предписание, побуждающее кого-либо к конкретным действиям.
Деонтические (нормативные) модальности указывают на тип предписываемых в суждении действий и выражаются в терминах: разрешено, не разрешено, обязательно, безразлично и др.
Среди предписаний следует выделить нормативные предписания, включающие и нормы права.
Норма права это официально принятые уполномоченным органом общеобязательные правила поведения, регулирующие правовые отношения в социальной среде, неисполнение которых влечет применение юридических санкций.
Явно или неявно выраженные в правовой норме компоненты:
- авторитет орган, установивший норму;
- адресат лица, которым надлежит исполнять предписание;
- диспозиция подлежащее исполнению действие;
- деонтическая характеристика нормы определенный тип предписания;
- санкция юридические последствия неисполнения предписания.
Наибольший интерес для модального анализа деонтическая характеристика нормы как регулятора правоотношений. В правовом отношении праву всегда соответствует обязанность, и наоборот, всякой обязанности соответствует определенное право. Право и обязанности как фундаментальные характеристики правоотношения выражают с помощью деонтических операторов:
- O обязывание;
- F запрещение;
- P разрешение.
В соответствии с деонтическими операторами среди норм права различают:
- правообязывающие нормы формируются с помощью слов: обязан, должен, признается и другие.
- правозапрещающее нормы формируются с помощью слов: запрещается, не вправе, не может, не допускается и других.
- правопредоставляющие нормы формируют с помощью слов: имеет право, может быть, может применять и других.
Рационально построенная нормативно правовая система должна удовлетворять минимальным модальным деонтическим требованиям:
- непротиворечивость проявляется в том, что система права исключает деонтически несовместимые нормы.
- сбалансированность проявляется в том, что в правовой системе для всякой правопредоставляющей нормы предусмотрена соответствующая ей правообязывающая норма.
- полнота означает, что в системе регулируются все предусмотренные в данной предметной области действия и в ней нет нерегулируемых действий.
Алетическая модальность
Алетическая модальность термин греческого происхождения, означает истинный, это выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической детерминированности (обусловленности) суждения.
Существует два способа обусловленности, или детерминированности суждений предопределяющих соответствующие типы модальностей:
- Логическая модальность это логическая детерминироанность суждения, истинность или ложность которого определяется структурой, или формой суждения.
К логически истинным (L-и) относятся суждения, выражающие законы логики.
К логически ложным (L-л) внутренне противоречивые суждения.
Логически истинные суждения вместе с логически ложными (L-и L-л) образуют класс логически детерминированных суждений. Все остальные суждения, истинность или ложность которых не может быть определена исходя из их структуры, составляют класс фактически детерминированных суждений: F-и F-л.
- Фактическая модальность связана с объективной , или физической детерминированностью суждений, когда их истинность и ложность определяются положением дел в реальной действительности.
К фактически истинным (F-и) относятся суждения, в которых связь между терминами соответствует реальным отношениям между предметами.
К фактически ложным (F-л) относятся суждения, в которых связь между терминами не соответствует действительности.
Объективная устойчивость и интенсивность реальных связей между предметами находит свое выражение в фактической ?/p>