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»).