Dicionário de Termos Linguísticos

Trata-se de um tipo de condicional (ou implicação) cuja característica fundamental consiste em o antecedente ser pelo menos inconsistente com o contexto (ou ser falso). O tratamento verifuncional das contrafactuais é problemático em virtude de neste quadro ser sempre verdadeira e, por isso, Stalnacker e Lewis recorrem a uma semântica dos mundos possíveis. Mais recentemente, o estudo destas construções tem sido feito com o recurso a conceitos formais como "revisão de conhecimento", "raciocínio por defeito", etc. Por vezes, distingue-se condicionais indicativas das conjuntivas (subjunctive conditionals) e estas últimas são consideradas contrafactuais, embora tal envolva alguma imprecisão. Ex: se ele tivesse sido simpático, a Maria tinha gostado dele.