David Hume é reconhecido por sua sofisticada crítica à constituição indutiva do
conhecimento. Diferentemente das construções puramente racionais dos modelos matemáticos, nada
poderia garantir que nossas inferências com base em experiências passadas levariam a conclusões
necessárias: o testemunho do nascimento do Sol ao longo dos anos não garante que ele voltará a
nascer no futuro. Para Hume, a inferência causal dos fenômenos tem como base duas condições
necessárias, a saber: