степени истины. Как только между истиной и ложью допускается что-то
промежуточное, встает вопрос: что, собственно, означают высказывания, не
относящиеся ни к истинным, ни к ложным? Кроме того, введение
промежуточных степеней истины изменяет обычный смысл самих понятий
истины и лжи. Приходится поэтому не только придавать смысл
промежуточным степеням, но и переистолковывать сами понятия истины и
лжи.
Модальная логика. Для классической логики вещь существует или не
существует, и нет никаких других вариантов. Стремление обогатить язык
логики и расширить ее выразительные возможности привело к
возникновению модальной логики. Ее задача – анализ рассуждений, в
которых встречаются модальные понятия, служащие для конкретизации
устанавливаемых нами связей, их оценки с той или иной точки зрения.
Еще Аристотель начал изучение таких, наиболее часто встречающихся
модальных понятий, как «необходимо», «возможно», «случайно». В средние
века круг модальностей был существенно расширен, и в него вошли также
«знает», «полагает», «было», «будет», «обязательно», «разрешено» и т. д.
Понятия «полагает», «сомневается» и т. п. исследует раздел логики,
получивший название эпистемической логики. В числе самых простых
законов этой логики такие положения: «Невозможно полагать что-то и
вместе с тем сомневаться в этом», «Если субъект убежден в чем-то, неверно,
что он убежден также и в противоположном» и т. п.
Временные модальные понятия «было», «будет», «раньше», «позже»,
«одновременно» и т. п. изучаются логикой времени. Среди элементарных ее
законов содержатся утверждения: «Неверно, что произойдет логически
невозможное событие», «Если было, что всегда будет нечто, то оно всегда
будет», «Ни одно событие не происходит раньше самого себя» и т. п.
Все модальные понятия можно разделить на абсолютные и
сравнительные. Первые представляют собой характеристики, приложимые к
отдельным объектам, вторые относятся к парам объектов, первые являются
13