 |
 |
 |
 |
|
 |
 |
51
модальные высказывания допускают применение эффективных и точных методов символической или
математической логики к ситуациям, которые характеризуются этими понятиями.
В рамках современной модальной логики рассматриваются следующие виды модальных понятий:
• логические модальности, которые выражаются терминами: "логически необходимо", "логически
невозможно" и "логически случайно". К логически необходимым относятся логически истинные
суждения, которые представляют собой законы логики или логические следствия из них. Суждения,
противоречащие законам логики, считаются логически ложными. Они также принадлежат к классу
логически необходимых суждений, поскольку характерной особенностью таких суждений является
независимость их истинности или ложности от фактического состояния дел. Например, суждение (х
¬x) будет всегда истинным, ибо оно выражает закон исключенного третьего классической логики.
Аналогично этому, суждение (х
¬х) будет всегда ложным, так как является законом противоречия, в
связи с чем можно сказать, что такие суждения считаются истинными или ложными в силу логических
оснований. В противоположность этому фактически истинными являются суждения, в которых связь
между субъектом и предикатом соответствует реальным связям между предметом и его свойством.
Если такого соответствия не существует, то суждение будет фактически ложным.
Различие между логической и фактической истинностью играет важную роль в процессе
аргументации. Доводы или аргументы представляют собой фактически истинные или ложные
суждения, а логические правила вывода основываются на законах логики, и потому относятся к
логически истинным суждениям;
• эпистемические, (теоретико-познавательные) модальности, относятся к характеристике
знания и выражаются в терминах: "доказуемо", "опровержимо", "неразрешимо", "допустимо",
"вероятно", "сомнительно", "убедительно" и т.п. Мы можем оценивать, например, в ходе спора или
дискуссии доводы оппонента как убедительные или сомнительные или даже определить степень их
вероятности. Подобные модальные понятия дают дополнительную информацию о характере знания,
содержащегося в суждении, кроме его истины или лжи;
• деонтические (нормативные) модальности указывают на тип предписываемых в суждении
действий и выражаются в терминах: "разрешено", "не разрешено", "обязательно", "безразлично" и др.
Таким образом, в отличие от суждений, в которых описывается какое-либо состояние дел, называемых
дескриптивными, в деонтических модальностях предписывается определенный образ действий или
поведения. Поэтому такие суждения называют также прескриптивными. Характер предписаний может
быть весьма различным, начиная от совета и рекомендации и кончая приказом. Наиболее широкая
сфера применения деонтических модальностей – мораль и право. В отличие от норм морали, правовые
нормы регулируют общеобязательные правила поведения в обществе, которые формулируются в
соответствующих кодексах и постановлениях. Юридическими нормами регулируются имущественные,
трудовые, семейные, административные и другие отношения в обществе. Неисполнение требований
правовых норм влечет юридические санкции со стороны правоохранительных органов государства. В
отличие от этого нарушение моральных норм сопровождается лишь порицанием со стороны общества.
Этим объясняется точная кодификация правовых норм, в которых всегда предполагается адресат, на
который распространяется норма, характер действия, форма предписания (запрещение, обязанность или
разрешение) и юридическая санкция за неисполнение предписания. Соответственно этому
правозапрещающие нормы в юридических документах формулируются с помощью деонтических
модальностей "запрещается", "не допускается", "нельзя" и т.п. В правообязывающих документах
употребляются такие слова, как "обязан", "должен" "необходимо" и т.п.;
• аксиологические (ценностные) модальности характеризуют суждения с точки зрения той или
иной системы ценностей. Такие оценки чаще всего выражаются с помощью слов "хорошо", "плохо" или
"безразлично". В сравнительном отношении используются слова "лучше", "хуже" или "равноценно", а
иногда для сравнения вводятся степени предпочтения. Очевидно, что одни аксиологические термины
могут определяться через другие, например, "безразличное" можно рассматривать как то, что не
является ни хорошим, ни плохим;
• темпоральные (временные) модальности, которые характеризуют фактор времени в
рассуждениях. Они используются для установления отношений во временных рядах: прошлое,
настоящее и будущее, а также раньше, одновременно и позже.
Все перечисленные модальные понятия дают возможность точнее и полнее выразить различные
контекстуальные характеристики суждений, зависящие от разного подхода к ним, их роли в познании и
практическом действии. Посредством использования символов и формальных методов современной
неклассической логики расплывчатые и неопределенные модальные термины естественного языка