27

Подобные высказывания называются модальными, и их соответственно изучают модальные логики. Впервые модальную логику изобрел Аристотель – так называемая алетическая логика с модальными операторами необходимо, возможно и невозможно. В ХХ веке был построен целый ряд модальных логик: эпистемическая - знание, полагание, неведение [Hintikka 1961]; аксиологическая – хорошее (ценное), нейтральное, плохое (анти-ценное) [Ивин 1971]; деонтическая – должное, разрешенное, запрещенное [фон Вригт 1986]: логика времени – прошлое, настоящее, будущее [Prior 1956] и логика пространства – здесь, там, нигде [Руднев 1996].