О модальности суждений

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

Различные способы оценки суждений в зависимости от поставленных задач и принятой точки зрения выражаются в модальных категориях (от лат. modus – мера, способ, наклонение). Впервые их изучением стал заниматься еще Аристотель, который ввел две важнейшие модальные категории: "необходимо" и "возможно", а также производные от них понятия "не необходимо" и "невозможно". Средневековые логики предложили ряд новых модальных терминов и установили связи между ними. В новое время утвердилась традиция, заложенная И. Кантом, в соответствии с которой стали разделять:

1) проблематические суждения, выражающие мысль, которая может быть истинной только при определенных условиях;

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

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

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

Систематическое исследование модальных высказываний началось в 50-е годы и в настоящее время превратилось в быстрорастущую ветвь современной неклассической логики. Если раньше модальные понятия формулировались на естественном языке и вследствие этого не всегда воспринимались однозначно, то в современной модальной логике точность и однозначность их понимания обеспечивается использованием идей и методов математической логики. Но это отнюдь не означает, что модальные высказывания сводятся к высказываниям функционально-истинностного характера. Еще Д. Юм заметил, что суждения факта нельзя выразить с помощью суждений долженствования и наоборот. Так, суждение вида S есть Р, т.е. отображающего принадлежность свойства предмету, нельзя представить как утверждение долженствования, обязательности или допустимости. С другой стороны, модальные высказывания допускают применение эффективных и точных методов символической или математической логики к ситуациям, которые характеризуются этими понятиями.

В рамках современной модальной логики рассматриваются следующие виды модальных понятий:

• логические модальности, которые выражаются терминами: "логически необходимо", "логически невозможно" и "логически случайно". К логически необходимым относятся логически истинные суждения, которые представляют собой законы логики или логические следствия из них. Суждения, противоречащие законам логики, считаются логически ложными. Они также принадлежат к классу логически необходимых суждений, поскольку характерной особенностью таких суждений является независимость их истинности или ложности от фактического состояния дел. Например, суждение (х Ú x) будет всегда истинным, ибо оно выражает закон исключенного третьего классической логики. Аналогично этому, суждение (х Ù х) будет всегда ложным, так как является законом противоречия, в связи с чем можно сказать, что такие суждения считаются истинными или ложными в силу логических оснований. В противоположность этому фактически истинными являются суждения, в которых связь между субъектом и предикатом соответствует реальным связям между предметом и его свойством. Если такого соответствия не существует, то суждение будет фактически ложным.

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

• эпистемические, (теоретико-познавательные) модальности, относятся к характеристике знания и выражаются в терминах: "доказуемо", "опровержимо", "неразрешимо", "допустимо", "вероятно", "сомнительно", "убедительно" и т.п. Мы можем оценивать, например, в ходе спора или дискуссии доводы оппонента как убедительные или сомнительные или даже определить степень их вероятности. Подобные модальные понятия дают дополнительную информацию о характере знания, содержащегося в суждении, кроме его истины или лжи;

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

• аксиологические (ценностные) модальности характеризуют суждения с точки зрения той или иной системы ценностей. Такие оценки чаще всего выражаются с помощью слов "хорошо", "плохо" или "безразлично". В сравнительном отношении используются слова "лучше", "хуже" или "равноценно", а иногда для сравнения вводятся степени предпочтения. Очевидно, что одни аксиологические термины могут определяться через другие, например, "безразличное" можно рассматривать как то, что не является ни хорошим, ни плохим;

• темпоральные (временные) модальности, которые характеризуют фактор времени в рассуждениях. Они используются для установления отношений во временных рядах: прошлое, настоящее и будущее, а также раньше, одновременно и позже.

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