A ideia básica das teorias Contrafatuais de causalidade é que o significado das afirmações causais pode ser explicado em termos de condicionais Contrafatuais da forma “Se A não tivesse ocorrido, C não teria ocorrido”. A maioria das análises Contrafatuais se concentrou em reivindicações do formulário “evento c causou evento e”, Descrevendo a causa ‘singular’ ou ‘token’ ou ‘real’. Tais análises tornaram-se populares desde o desenvolvimento, na década de 1970, de possíveis semânticas mundiais para Contrafatuais. A análise contrafactual mais conhecida da causa é a teoria de David Lewis (1973b). No entanto, discussões intensas ao longo de quarenta anos puseram em dúvida a adequação de qualquer análise simples de causalidade singular em termos de Contrafatuais. Nos últimos anos, houve uma proliferação de diferentes refinamentos da ideia básica; a estrutura de ‘equações estruturais’ ou ‘modelagem causal’ é atualmente a maneira mais popular de descontar a relação entre causação e Contrafatuais.