Модальности
    Вадим Руднев
    Модальности (от лат. modus - вид, способ) - тип отношения высказывания к реальности. Наиболее известные нам модальности - это наклонения: изъявительное - оно описывает реальность ("Я иду"), повелительное - оно ведет диалог с реальностью ("Иди") и сослагательное ("Я бы пошел") - оно вообще слабо связано с реальностью.
    Но, кроме обычных наклонений, существуют еще логические М. - они называются алетическими (от древнегр. aletycos - истинный) это М. необходимости, возможности и невозможности. Эти М. существуют как бы незримо. При логическом анализе они добавляются к предложению в виде особых зачинов на метаязыке, модальных операторов. Например, все аксиомы математики и логики являются необходимо истинными - "2х2 = 4", "Если а, то неверно, что не а" (закон двойного отрицания).
    Тогда мы говорим:
    Необходимо, что если а, то неверно, что не а.
    Такие высказывания истинны всегда, во всех возможных мирах (см. семантика возможных миров). Они называются тавтологиями.
    Пример возможно истинного высказывания: "Завтра пойдет дождь"; пример невозможного высказывания: "Если а, то не а". Такие высказывания называются противоречиями.
    Алетические М. были известны еще Аристотелю. В ХХ в. К. Льюис построил на их основе особую модальную логику, аксиомы которой отличаются от аксиом обычной пропозициональной логики (логики предложения).
    Например, законом (тавтологией) обычной логики является предложение: "Если а, то а"(форма закона тождества). Если добавим сюда оператор "возможно", то это предложение перестанет быть тавтологией, необходимой истиной:
    Если возможно, что а, то возможно, что и не а.
    В ХХ в. были разработаны и другие модальные системы:
    1. Деонтические М. ( лат. deonticos - норма) - это М. нормы. Они предписывают, что должно, что разрешено и что запрещено. Например, в трамвае:
    Должно платить билеты.
    Можно ехать.
    Нельзя курить.
    Логику деонтических М. разработал финский философ Георг фон Вригт.
    2. Аксиологические М. (лат. ахiс - ценность), различающие негативные, позитивные и нейтральные оценки. В сущности, любое предложение так или иначе окрашено аксиологически в зависимости от контекста (см. прагматика). Равным образом можно сказать:
    Хорошо, что идет дождь.
    Плохо, что идет дождь.
    И просто: Идет дождь.
    Аксиологическую логику разработал русский философ А. А Ивин.
    3. Эпистемическая логика ( древнегр. ерisteme - знание) изучает М. знания, незнания и полагания:
    Он знает, что я это сделал.
    Он полагает, что я это сделал.
    Он не знает, что я это сделал.
    Эпистемическую логику разработал Яакко Хинтикка, один из создателей семантики возможных миров.
    4. Логика времени - прошлое, настоящее, будущее:
    Вчера шел дождь.
    Сегодня идет дождь.
    Завтра пойдет дождь.
    Логику времени разработал английский философ Артур Прайор.
    5. Логика пространства - здесь, там, нигде. Подробно о ней см. в ст. пространство.
    Можно заметить, что все шесть М. ............