Modalita, v logice, klasifikace logických propozic podle jejich prosazování nebo popírání možnosti, nemožnosti, nepředvídatelnosti nebo nezbytnosti jejich obsahu. Modální logika, která studuje logické rysy takových konceptů, vzniklá u Aristotela, byla rozsáhle studována logiky ve starověku a evropském středověku a z větší části byla zanedbávána po renesanci, dokud nebyla obnovena v moderní matematické logice. Základní výrok k tomuto tématu, předpokládaný ve většině současných diskusích, je CI Lewis a Cooper Harold Langford v Symbolic Logic (1932), který vyvíjí modální systém „přísné implikace“ pro interpretaci logické síly „if… pak."
