Перші правила поводження з модальностями були сформульовані Аристотелем, який, поряд з ассерторіческіе силогізмами ввів в обіг модальні силогізми. де хоча б одна з посилок є висловленням типу «A необхідно належить B», «A можливо належить B». При цьому необхідне Аристотель не вважав за можливе. Розв'язати проблему модальностей в рамках побудованої двозначної логічної теорії силогізмів Аристотеля не вдалося. В цілому, модальна сіллогістіка Аристотеля неоднозначно тлумачиться дослідниками і має зараз лише історичне значення.
Наступний крок у розвитку модальної логіки зробив учень Аристотеля Теофраст, який став відносити модальності до висловлювань в цілому, а не до окремих понять. Крім того, він прийняв тезу: все необхідне можливо, що відкрило дорогу до визначення можливості через необхідність: «можливо A» еквівалентно «Не необхідно не-A».
В середні віки багато інтуїтивно очевидні для античної логіки уявлення про модальності були забуті. Проте, ще в середині XIII століття В. Шервуд розрізняв шість видів модальностей: Поправді, помилково, можливо, неможливо, випадково, необхідно. В подальшому вони були зведені трьом формам: неминуче, можливо, неможливо, а потім - істинно, помилково і нерозв'язною. У середньовічній логіці відбувся поділ модальностей на модальності de dicto (про мови), що відносяться до висловлення в цілому, і модальності de re (про речі), що відносяться до властивостей і виражають особливий тип зв'язку суб'єкта (предмета думки) з предикатом (ознакою, властивим предмету думки).
У логіці XII-XIII століть загальноприйнятим було розрізнення двох модальностей необхідності: necessarium per se (необхідність сама по собі) і necessarium per accidens (акцидентальная необхідність). Твердження з модальностями першого типу індиферентні щодо часу, тобто вони завжди правдиві затвердження з модальностями другого типу істинні тільки в певному проміжку часу.
У XVIII столітті І. Кант за ознакою модальностей класифікував судження на три групи:
- ассерторіческіе судження;
- аподиктичні судження;
- проблематичні судження.
Традиційна (класична) логіка (див. Логіка) у вигляді рудимента зберегла тільки класифікацію суджень за модальністю. У ній розрізняють такі три групи модальних висловлювань:
- аподиктичні висловлювання з модальностями необхідності (S має бути P);
- проблематичні висловлювання з модальностями можливості (S може бути P);
- ассерторіческіе висловлювання з модальностями дійсності (S є P) в залежності від необхідності, можливості або дійсності подій.
Творці математичної логіки. включаючи Г. Фреге, прагнучи до кінця виявити і досліджувати всі можливості екстенсіональной логіки (логіки обсягів), тотально ігнорували значення модальностей для логіки. Модальні поняття були майже повністю виключені з логіки аж до досліджень К. І. Люіса 1912-1918 років, який аксіоматично сформулював системи модальної логіки, назвавши їм системами числення S1 - S6. Інтенсивно модальності почали вивчатися лише після розробки теоретико-модельних семантик.
У сучасній логіці модальності розглядаються в якості «металогіческіх» оцінки висловлювання (див. Металогіку) і вивчаються в модальної логіки (див. Модальна логіка), яка з різноманітних можливих типів модальних оцінок вибирає деякі, найбільш цікаві.
У модальної логіки досліджуються такі групи модальних висловлювань та їх логічних зв'язків:
- Алетіческіе модальності, які поділяються на логічні (трансцендентальний), що характеризують здібності і потенції інтелекту, і фізичні (онтологічні, або метафізичні), що характеризують точність взаємин між мовою і реальністю, про яку йдеться в цій мові:
- логічні модальності (абсолютні модальності: «логічно необхідно», «логічно випадково», «логічно можливо», «логічно неможливо»; порівняльні модальності: «логічно тягне», «є логічний наслідок»);
- фізичні (онтологічні, каузальні) модальності (абсолютні модальності: «фізично необхідно», «фізично випадково», «фізично неможливо», «фізично можливо»; порівняльні модальності: «є причина», «є слідство», «не є ні причиною, ні слідством »).
Всі модальності поділяються на абсолютні, не пов'язані ні з яким умовами, і відносні, пов'язані з будь-якими умовами. Модальності різних типів мають загальні формальні властивості. Незалежно від того, до якої групи відносяться модальності, вони визначаються один через одного по одній і тій же схемі (наприклад, щось можливо, якщо протилежне не є необхідним; дозволено, якщо протилежне не обов'язково; допустимо, якщо протилежне не заборонено; випадково те, що не є ні необхідним і ні неможливим; нерозв'язною те, що неможливо довести і незаперечно, і так далі).
У сучасній логіці до модальностям відносять більшість логічних операторів, за допомогою яких вдається враховувати ступінь істинності затверджується, хоча з урахуванням їх специфіки та виділяють розділи логіки, їх вивчають, всередині модальної логіки. Прикладами таких розділів є тимчасова логіка (оператори «завжди буде», «завжди було» і «коли-небудь буде», «колись було»), логіка знань ( «агент n знає»), логіка доказовою ( «в даній теорії доказово »), динамічна логіка (« після виконання програми л ») і багато інших. Таке розширення предметного поля вивчення в модальної логіки пов'язано з тим, що в цих специфічних розділах використовуються подібні ідеї і методи, спочатку застосовувалися, як правило, до класичних модальним операторам «необхідно» і «можливо». У той же час ці приватні розділи модальної логіки мають численні застосування в конкретних галузях знання, наприклад, в філософії, в підставах математики, в теоретичних підставах інформатики та їх практичних застосуваннях, в когнітивних науках, лінгвістиці і інших.