Наши партнеры

Выгодная аренда https://www.rexrent.ru/city/ufa/ в компании РексРент.
Женская одежда в Вологде магазин Electra Style.
модели

МОДАЛЬНОСТЬ (от лат., modus - мера, способ)

— оценка высказывания, данная с той или иной точки зрения. Модальная оценка выражается с помощью понятий «необходимо», «возможно», «доказуемо», «опровержимо», «обязательно», «разрешимо» и т. п.

О предмете S можно просто сказать, что он имеет свойство Р. Но можно, сверх того, уточнить, является ли эта связь S и Р необходимой или же она случайна, всегда ли S будет Р или нет, хорошо ли, что S есть Р, или плохо, доказано ли, что S есть Р, или это только предполагается и т. д. Результатами таких уточнений будут модальные высказывания разных типов. Общая их форма: М (S есть Р) или М (S не есть Р); вместо М в эту форму могут подставляться различные понятия, определяющие тип связи субъекта и предиката. Напр., из немодального высказывания «Цезий — металл» можно образовать модальные высказывания «Возможно, что цезий — металл», «Хорошо, что цезий — металл», «Немыслимо, чтобы цезий был металлом», «Доказано, что цезий — металл» и т. д. Модальной оценке могут быть подвергнуты не только связи предметов и признаков, но и связи других типов. Напр., из сложного высказывания «Если металлический стержень нагреть, он удлинится» можно получить модальные высказывания «Необходимо, что если металлический стержень нагреть, он удлинится», «Всегда будет так, что металлический стержень удлиняется, если его нагреть» и т. п.

Одно и то же высказывание может стать объектом нескольких последовательных модальных оценок с одной или разных точек зрения («Хорошо, что доказано, что цезий — металл»).

Логические связи модальных высказываний являются объектом исследования модальной логики. Из разнообразных возможных типов модальных оценок она выбирает немногие, наиболее интересные.

В современной модальной логике исследуются следующие группы модальных понятий:

Логические М. изучались еще Аристотелем (384—322 до н. э.) и средневековыми логиками. Детальное исследование других групп М. началось в 50-е годы нашего века, хотя первые упоминания о них относятся еще к поздней античности и средним векам (см.: Аксиологические М., Деонтические М., Логика времени, Логика изменения, Эпистемическая логика, Предпочтений логика, Причинности логика).

Вернуться к оглавлению