Inferência é uma dedução feita com base em informações ou um raciocínio que usa dados disponíveis para se chegar a uma conclusão.

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.

A falácia foi um recurso utilizado por Aristóteles, pela Escolástica, pela Demagogia e serve como figura de linguagem em discursos e temas argumentativos.

A palavra tem origem no termo em latim “fallacia”, aquilo que engana ou ilude. Desta forma, falácia será algo enganoso.

As falácias são construídas por raciocínios aparentemente corretos que levam à falsas conclusões. Este tipo de argumento está muito presente nos textos dissertativos.

A palavra inferência tem origem do latim inferentia.

Dependendo do contexto em que é usada a palavra premissa pode ter como sinônimos, por exemplo: princípio, ideia inicial, alegação, enunciado ou argumento.

Premissa na lógica

Premissa em lógica é um conjunto de uma ou mais de uma sentença declarativa que é acompanhada de uma outra frase declarativa que é a conclusão. A verdade da conclusão é uma consequência lógica das premissas que a antecederam. Portanto, as premissas são as proposições que justificam a conclusão obtida.

Toda premissa, pode ser verdadeira ou falsa, bem como a conclusão, não aceitando jamais a ambiguidade. As frases que apresentam uma premissa são referidas como verdadeiras ou falsas (válidas ou inválidas), portanto, devem ser portadoras da verdade.

Esses são alguns exemplos de proposições:

O que você deve estar se perguntando é porque uma palavra a mais (proposição) que indica basicamente o mesmo que “sentença declarativa”?

A lógica preza por clareza e distinções conceituais são fundamentais para isso. Considere a mesma sentença declarativa dita por duas pessoas diferentes, uma gorda e outra magra:

Essa sentença é verdadeira ou falsa? Se pensamos que sentenças são verdadeiras ou falsas, teremos que concluir que a frase “eu sou gordo” é verdadeira e falsa ao mesmo tempo: quando dita pela pessoa magra, falsa; pela pessoa gorda, verdadeira. O que seria uma contradição. Então, há algo expresso pela sentença, seu conteúdo, que não é equivalente à sentença, que é verdadeiro ou falso.

Então, por motivos de clareza, existe essa distinção:

Assim, diferentes sentenças podem expressar a mesma proposição:

embora sejam sentenças diferentes, inclusive em outra língua, exprimem a mesma proposição – se uma é verdadeira, todas são.

E a mesma sentença declarativa pode expressar diferentes proposições:

Quando afirmado por pessoas diferentes, essa mesma sentença expressa proposições diferentes.

A lógica, enquanto propriedade linguística, não se preocupa com a veracidade dos enunciados, mas com a validade formal lógica, ou seja, com a possibilidade de sentido da frase dada por sua estrutura. Se a estrutura de uma frase é correta, isto é, se ela segue um padrão formal correto, podemos dizer que a frase é logicamente válida. Na matemática, é a lógica que garante a estrutura formal racional das equações e demais elementos matemáticos que, de algum modo, relacionam-se.

Não podemos dizer que a lógica em si foi criada, mas sim descoberta. Desde que existe racionalidade, a lógica existe. Quem a descobriu foi Aristóteles. As suas criações dizem respeito apenas à nomenclatura que ele deu e ao estudo sistemático daquilo que era a lógica. A lógica aristotélica, também chamada de lógica clássica, sustenta-se com base em princípios racionais e nos silogismos.