La prova controfattuale, in filosofia, è un procedimento logico basato sull’uso di enunciati controfattuali, cioè proposizioni condizionali in cui l’ipotesi (protasi) afferma qualcosa di contrario a ciò che è realmente accaduto e la conseguenza apodosi) descrive ciò che sarebbe successo in quel caso. In filosofia della scienza e logica essa viene utilizzata soprattutto per analizzare la causalità: si valuta se un evento A è causa di un evento B chiedendosi se, in un mondo possibile simile a quello reale, ma in cui A non si verifica, anche B non si verificherebbe. Se la risposta è affermativa, si considera che esista una dipendenza causale controfattuale tra A e B. La prova controfattuale in filosofia è uno strumento per valutare relazioni causali e necessarie tra eventi, immaginando scenari alternativi e verificando cosa sarebbe successo se le circostanze fossero state diverse.