В естественном языке суждения могут характеризоваться не только как истинные или ложные, но и с других точек зрения. Такие характеристики содержат дополнительную информацию, которая выражает в одних случаях отношение говорящего к высказываемой мысли, в других - обоснованность знания, содержащегося в суждениях, в третьих - предписание, норму или правило, которые надлежит соблюдать. Подобные дополнительные характеристики выражают различные точки зрения на суждение в зависимости от целей и задач, которые ставит перед собой человек. В процессе аргументации и практических рассуждениях мы интересуемся не только истинностной оценкой суждений, но дополнительно к этому стремимся узнать, насколько убедительны, а значит, обоснованны доводы оппонента в споре, являются ли они логически или фактически истинными и т.д. В этике и юриспруденции интересуются также нормами поведения людей в обществе, выясняют, что запрещено и разрешено этими нормами.
Различные способы оценки суждений в зависимости от поставленных задач и принятой точки зрения выражаются в модальных категориях (от лат. modus - мера, способ, наклонение). Впервые их изучением стал заниматься еще Аристотель, который ввел две важнейшие модальные категории: "необходимо" и "возможно", а также производные от них понятия "не необходимо" и "невозможно". Средневековые логики предложили ряд новых модальных терминов и установили связи между ними. В новое время утвердилась традиция, заложенная И. Кантом, в соответствии с которой стали разделять:
1) проблематические суждения, выражающие мысль, которая может быть истинной только при определенных условиях;
2) ассерторические, характеризующие наличие или отсутствие у предмета
некоторого свойства. Часто их называют также суждениями факта;
3) аподиктические, утверждающие истинность суждения независимо от конкретных фактов или условий.
Все законы науки принадлежат к таким суждениям. Подобная классификация долгое время держалась в традиционной логике и до сих пор иногда встречается в литературе.
Систематическое исследование модальных высказываний началось в 50-е годы и в настоящее время превратилось в быстрорастущую ветвь современной неклассической логики. Если раньше модальные понятия формулировались на естественном языке и вследствие этого не всегда воспринимались однозначно, то в современной модальной логике точность и однозначность их понимания обеспечивается использованием идей и методов математической логики. Но это отнюдь не означает, что модальные высказывания сводятся к высказываниям функционально-истинностного характера. Еще Д. Юм заметил, что суждения факта нельзя выразить с помощью суждений долженствования и наоборот. Так, суждение вида S есть Р, т.е. отображающего принадлежность свойства предмету, нельзя представить как утверждение долженствования, обязательности или допустимости. С другой стороны, модальные высказывания допускают применение эффективных и точных методов символической или математической логики к ситуациям, которые характеризуются этими понятиями.
В рамках современной модальной логики рассматриваются следующие виды модальных понятий:
• логические модальности, которые выражаются терминами: "логически необходимо", "логически невозможно" и "логически случайно". К логически необходимым относятся логически истинные суждения, которые представляют собой законы логики или логические следствия из них. Суждения, противоречащие законам логики, считаются логически ложными. Они также принадлежат к классу логически необходимых суждений, поскольку характерной особенностью таких суждений является независимость их истинности или ложности от фактического состояния дел. Например, суждение (х ∨ ¬x) будет всегда истинным, ибо оно выражает закон исключенного третьего классической логики. Аналогично этому, суждение (х ∧ ¬х) будет всегда ложным, так как является законом противоречия, в связи с чем можно сказать, что такие суждения считаются истинными или ложными в силу логических оснований. В противоположность этому фактически истинными являются суждения, в которых связь между субъектом и предикатом соответствует реальным связям между предметом и его свойством. Если такого соответствия не существует, то суждение будет фактически ложным.
Различие между логической и фактической истинностью играет важную роль в процессе аргументации. Доводы или аргументы представляют собой фактически истинные или ложные суждения, а логические правила вывода основываются на законах логики, и потому относятся к логически истинным суждениям;