inferência

• A inferência é o acto que consiste em admitir como verdadeira uma proposição que não é directamente conhecida como tal, e por referência a outras proposições verdadeiras com as quais está ligada.

• A inferência pode ser “racional” mas não enquanto “juízo lógico”: é “racional” no que diz respeito ao seu “conteúdo” — embora alguns lógicos admitam a existência formal (mediante juízo lógico) de inferências imediatas.

• A inferência é dedutiva ou demonstrativa, quando a conclusão é logicamente necessária (como num silogismo, por exemplo). É indutiva ou não demonstrativa (indução) quando a conclusão não é mais que provável ou verosimilhante (por exemplo: “infiro a existência de um cão, se ouço ladrar”).

Ver: lógica

^{Editado por (OBraga)}