1. Designa-se por inferência a operação mental pela qual obtemos de
uma ou mais proposições outra ou outras que nela(s) estava(m) já
implicitamente contida(s).
2. As inferências podem ser divididas em dois tipos: imediatas e
mediatas.
a) A inferência imediata consiste em extrair de uma só proposição
outra proposição, à qual se atribui o valor de verdade ou falsidade. A
inferência imediata pode ser obtida por oposição ou conversão.
b) A inferência mediata consiste numa conclusão obtida a partir de
duas ou mais proposições. Este tipo de inferências podem ser de três
tipos: analógicas, indutivas e dedutivas.
3. O termo inferência usa-se por vezes como sinónimo de raciocínio.
Embora tal associação não seja incorrecta , a verdade é que inferência
possui um sentido mais abrangente que raciocínio.
4. O termo raciocínio será reservado aplicado apenas a um tipo de
inferências, as mediatas.
Carlos Fontes
