§ 1. Поняття модальності. Модальні висловлювання, їх структура
Модальність — це певна характеристика або оцінка висловлювань. Модальну оцінку виражають, наприклад, за допомогою таких понять як “необхідно”, “можливо”, “доведено”, “обов’язково”, “завжди”, “інколи” та ін.
В модальних висловлюваннях не просто стверджують або заперечують наявність деякої ознаки у предмета, але й характеризують, оцінюють з деякої точки зору відношення “предмет — його ознака”. Таку характеристику, оцінку називають “модусом” (це слово означає спосіб існування предметів, або спосіб стверджування про них).Дескриптивні висловлювання описують наявність чи відсутність деякого факту, ситуації, події. Однак, крім цього, можна уточнювати, чи є деякий факт (ситуація, подія) необхідним, можливим, випадковим, бажаним і т. ін.
Результатами таких уточнень дескриптивних висловлювань є модальні висловлювання різних видів. Загальну форму модальних висловлювань можна представити у вигляді:
де M — це оператор модальності (замість нього можна підставити будь-яке модальне поняття); F — змінна, шо виражає будь-яке просте або складне дескриптивне висловлювання.
Наведемо приклади модальних висловлювань:
— “Можливо, шо “Динамо” переможе “Спартак”;
— “Необхідно, що 2x2 = 4”;
— “Доведено, що на Місяці не існує життя”;
— “Переконаний, шо місто Сакраменто — це столиця штату Каліфорнія”;
— “В салоні літака палити заборонено”;
— “Добре, шо на вулиці хороша погода”
Одне і те ж саме дескриптивне висловлювання може бути об’єктом декількох модальних оцінок. Наприклад: “Сумніваюсь, шо місто Сакраменто завжди було столицею штату Каліфорнія”, або “Добре, шо доведено, що він вчинив злочин".
Модальні висловлювання та їх взаємовідношення в структурі міркування досліджують саме в модальній логіці. Різні види модальних висловлювань вивчають у відповідних логічних системах сучасної модальної логіки.
Основні види модальностей, модальних висловлювань, а також відповідних модальних логік можна представити за допомогою таблиці:| Модальності | Вили модальних висловлювань | Види модальних ЛОГІК |
| Hcooxltho Можливо Випадково | Алстичні висловлювання | Алстична логіка |
| Переконаний Сумніваюсь Знаю Припускаю Hcbltomo | Ь.пістемічні висловлювання | кінстемічна логіка |
| Обов’язково Заборонено Дозволено | Цеонгичні висловлювання | Деонтична донка (лоика норм) |
| Добре Погано Краше Рівноцінно | Аксіолопчні висловлювання | ■пика |
| Було Є Буде Раніше Пізніше Одночасно Завжди було Завжди буде | Іемпоральні висловлювання | Гемпоральна логіка |
Алетичні висловлювання досліджували ше за часів Арістотеля, а також за часів середньовіччя. Докладне вивчення модальностей інших видів почалось лише в середині XX cτ.. хоча згадки про них наявні в дослідженнях вчених пізньої античності.