Na lógica, método indutivo ou indução é o raciocínio que, após considerar um número suficiente de casos particulares, conclui uma verdade geral. A indução, ao contrário da dedução, parte de dados particulares da experiência sensível.

De acordo com o indutivista, a ciência começa com a observação. A observação, por sua vez, fornece uma base segura sobre a qual o conhecimento científico pode ser construído, e o conhecimento científico é obtido a partir de proposições de observação por indução. Afirmações a respeito da construção do conhecimento rigorosas como esta sofrem de dificuldades quanto a sua validade, como demonstra o problema da indução.

Próprio das ciências naturais também aparece na Matemática através da Estatística. Utilizando como exemplo a enumeração, trata-se de um raciocínio indutivo baseado na contagem.

É importante que a enumeração de dados (que correspondem às experiências feitas) seja suficiente para permitir a passagem do particular para o geral. Entretanto, a indução também pressupõe a probabilidade, isto é, já que tantos se comportam de tal forma, é muito provável que todos se comportem assim.

Em função desse "salto", há maior possibilidade de erro nos raciocínios indutivos, uma vez que basta encontrarmos uma exceção para invalidar a regra geral. Por outro lado, é esse mesmo "salto" em direção ao provável que torna possível a descoberta, a proposta de novos modos de compreender o mundo. Por isso, a indução é o tipo de raciocínio mais usado em ciências experimentais.