Há dois tipos de Inferências:

1. Imediatas

2. Mediatas

As Imediatas dividem-se, por sua vez, em:

1.1. Oposição;

1.2. Conversão.

No que diz respeito às Mediatas (raciocínio):

2.1. Analogia;

2.2. Indução;

2.3. Dedução (matemática e silogística).

A Analogia (Ver exemplo)

A Analogia baseia-se numa comparação entre objectos diferentes e infere de certas semelhanças outras semelhanças. Parte da ideia de que se diferentes coisas são semelhantes em determinados aspectos, também o serão noutros.

Requisitos de um Argumento por Analogia:

1. A comparação tem que se basear num número razoável de semelhanças;

2. As semelhanças apontadas devem ser relevantes;

3. Não devem haver diferenças fundamentais relativamente aos aspectos que estão a ser comparados.