En lógica, más particularmente en lógica modal y en otras disciplinas (historia, lingüística, física, economía, cosmología, etc.), se denomina contrafactual o contrafáctico a todo acontecimiento o a toda situación que no ha sucedido en el universo actualmente observable por la investigación humana, pero que podría haber ocurrido (la situación o acontecimiento fácticos o fenoménicamente existentes son llamados por este motivo, algo ambiguamente, «actuales»).
Spinoza, en su obra, no acepta lo contrafactual, es necesitarista (las cosas deben ocurrir necesariamente tal cual ocurren), por ende acepta sólo como posibles las cosas del mundo actual (actualismo), pero por su parte Leibniz supone una situación más laxa.
Saul Kripke utiliza experimentos de pensamiento contrafácticos para establecer lo que llama un designador —un nombre propio o una descripción definida—, ya sea un designador rígido o no, por ejemplo en sus ataques al descriptivismo.
Se considera que los designadores rígidos mantienen la referencia en situaciones contrafácticas.
La descripción definida «Aristóteles, el más célebre discípulo de Platón» refiere al Aristóteles más conocido del universo actual con exclusión de toda otra persona del mundo actual o de los universos posibles, y por esto es considerado un designador «no rígido» o «flexible».