Modaliteit, in logica, de classificatie van logische proposities volgens hun bewering of ontkenning van de mogelijkheid, onmogelijkheid, contingentie of noodzaak van hun inhoud. Modale logica, die de logische kenmerken van dergelijke concepten bestudeert, is ontstaan uit Aristoteles, werd uitgebreid bestudeerd door logici in de oudheid en de Europese Middeleeuwen, en werd grotendeels verwaarloosd na de Renaissance tot het herleefde in de moderne wiskundige logica. De basisverklaring over dit onderwerp, die in de meeste hedendaagse discussies wordt verondersteld, is van CI Lewis en Cooper Harold Langford in Symbolic Logic (1932), die een modaal systeem van 'strikte implicatie' ontwikkelt voor het interpreteren van de logische kracht van 'if… dan."
