Lógica tem origem na palavra grega logos, que significa razão, argumentação ou fala. A ideia de falar e argumentar pressupõe que o que está sendo dito possua um sentido para aquele que ouve. Esse sentido fundamenta-se na estrutura lógica, quando algo "tem lógica" quer dizer que faz sentido, é uma argumentação racional.

Inferir é deduzir um resultado, por lógica, com base na interpretação de outras informações. Inferir também pode significar chegar a uma conclusão a partir de outras percepções ou da análise de um ou mais argumentos.

Exemplo: Se eu tiver dinheiro, irei viajar. Se eu for viajar, ficarei feliz. Portanto, se eu tiver dinheiro, ficarei feliz.

O silogismo é um modelo de raciocínio baseado na ideia da dedução a partir de duas premissas, ou seja, é um tipo de inferência.

A palavra inferência tem origem do latim inferentia.

A inferência causal acontece ao se estabelecer uma relação de causalidade (causa e efeito) entre fatos, a partir da observação de acontecimentos.

Exemplo: Está chovendo. Depois da chuva vem o sol. Então, o sol deve aparecer logo.
Inferência textual

Inferência textual está relacionada à compreensão da leitura. Significa interpretar os elementos que estão explícitos e implícitos no texto, analisando em conjunto tudo que foi escrito e compreendendo a ideia central do texto. A inferência textual pode requerer algum conhecimento prévio sobre o tema da leitura.

Inferência estatística

A inferência estatística obtém conclusões a partir de dados de amostra coletados. Estes dados são utilizados como base para se concluir sobre uma determinada situação ou hipótese. É o que acontece, por exemplo, com a coleta de dados feita no censo demográfico.