inferência
A inferência refere-se às ações de reunir um conjunto de proposições, levando a uma demonstração de verdade, falsidade ou probabilidade, sob a forma de uma proposição chamada conclusão. Um distingue em inferências dedutivas, indutivas e abdutivas particulares. Em sua definição clássica, a inferência é uma operação lógica baseada em proposições consideradas verdadeiras e concluindo a verdade de uma nova proposição em virtude de sua conexão com a primeira. É por isso que a inferência é muitas vezes reduzida à dedução necessária, na qual a verdade das premissas garante a verdade da conclusão. No entanto, para os semiólogos, como Charles Peirce, o pensamento não opera em proposições, mas em sinais. Eles propõem, assim, um modelo estruturalista, centrado nas relações formais da linguagem, que se inspira na linguística. Na verdade, para Ferdinand de Saussure, todas as linguas constituem um sistema em que os sinais se combinam e evoluem de uma forma que é imposta aos que o manipulam.