Труды КНЦ вып.9 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 10/2018(9))

«доказуемо», «опровержимо», «обязательно», «разрешено» и т.п. Модальными высказываниями являются высказывания, содержащие хотя бы одно из таких понятий. Модальные высказывания делятся на типы (логический, физический, эпистемический, оценочный, нормативный) в соответствии с точкой зрения, на основе которой формулируются выражаемые ими характеристики [ 8 ]. Алетические Эпистемологические Временные Деонтические Физические Логические Абсолютные Относительные Рис.1. Разновидности модальностей. Существует несколько разновидностей модальностей (рис. 1): • Алетические модальности выражают информацию о логической либо фактической обоснованности суждения с помощью операторов «необходимо», «случайно», «возможно», «невозможно». В свою очередь алетические модальности могут быть физическими и логическими. Физические модальные высказывания формируются с помощью физических модальных понятий (физически необходимо, физически возможно и т.п.), называемых также онтологическими или каузальными. Логические модальные понятия связаны с «механикой» человеческого мышления и используются для характеристики существенных ее моментов. Физические модальные понятия касаются устройства самого реального мира. Нечто необходимо, если оно не может быть иным, чем оно есть. Именно в зависимости от того, на какое основание опирается утверждение о необходимости, выделяются логическая и физическая необходимость. Логическая необходимость связана с логическим законом: логически необходимы законы логики и все, что вытекает из них. Физическая необходимость связана с законами природы: физически необходимо то, отрицание чего нарушает законы природы. Физически необходимы, например, высказывания: «Все планеты вращаются вокруг своей оси» и «Электрон, движущийся по стационарной орбите, не излучает энергию». Отрицания этих высказываний противоречили бы законам физики: отрицание первого высказывания несовместимо с законами небесной механики, отрицание второго - с законами квантовой механики [9]. 114