Модальність , в логіці, класифікація логічних положень відповідно до їх твердження або заперечення можливості, неможливості, непередбаченості чи необхідності їх змісту. Модальна логіка, яка вивчає логічні особливості таких концепцій, зароджених ще в Арістотеля, широко вивчалася логіками в античності та європейському Середньовіччі і, здебільшого, нехтувалася після епохи Відродження, поки не відродилася в сучасній математичній логіці. Основне твердження з цього приводу, передбачене у більшості сучасних дискусій, зроблено К. І. Льюїсом та Купером Гарольдом Ленгфордом у « Символічній логіці» (1932), яка розробляє модальну систему «суворого значення» для інтерпретації логічної сили «якщо». . . тоді."
Ця стаття була нещодавно переглянута та оновлена Брайаном Дуйньяном, старшим редактором.
