# data[].attributes.body
A lógica é a ciência que expõe as leis, modos e formas do conhecimento científico. Trata-se de uma ciência formal desprovida de conteúdo, que se dedica ao estudo das formas válidas de inferência. Trata-se portanto do estudo dos métodos e dos princípios utilizados para distinguir o raciocínio correto do incorreto.
A etimologia mostra que o conceito de lógica deriva do latim logĭca, que, por sua vez, provém do termo grego logikós (de logos, “razão” ou “estudo”). O filósofo grego Aristóteles foi pioneiro a utilizar a noção para fazer referência ao estudo dos argumentos enquanto manifestadores da verdade na ciência, tendi sido ele quem sugeriu o silogismo como sendo o argumento válido.
Aristóteles é considerado o pai da lógica formal. Por outro lado, a lógica informal é o estudo metódico dos argumentos prováveis na perspectiva da retórica, da oratória e da filosofia, entre outras ciências. É especializada na identificação de lapsos e paradoxos, e na construção correta dos discursos.

# data[].attributes.body
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:

eu sou gordo.

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:

Sentenças declarativas são frases em uma determinada língua, gramaticalmente corretas, com um sentido.

Proposições são o conteúdo expresso por sentenças declarativas e que pode ser verdadeiro ou falso.

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

o carro é vermelho;

the car is red;

el coche es rojo;

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:

Eu vivo em uma casa longe do centro da cidade.

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

# data[].attributes.body
Na lógica e na filosofia , as proposições iniciais de um argumento são chamadas de premissas , a partir das quais é possível chegar a uma conclusão . Este último deve ser inferido ou derivado daquele, por meio de um procedimento dedutivo ou indutivo válido, isto é, formando um argumento lógico válido.

Esta palavra vem do latim praemissus , “enviado de antemão”, constituído por sua vez por prae- (“antes”) e mittere (“enviar” ou “lançar”), de forma que sempre fez referência ao que é dado de antemão , o que é inicialmente possuído.

Da mesma forma, as premissas são o ponto de partida de um raciocínio , isto é, aquilo que já sabemos ou que nos foi dito ou dado, e de onde começa nosso trabalho dedutivo. As pistas, figurativamente, que um detetive precisa reunir para chegar a uma determinada conclusão, ou seja, os antecedentes , as hipóteses .

O estudo das premissas remonta à Antiguidade clássica, quando os grandes pensadores gregos e romanos estudavam a lógica e a oratória como formas de pensamento , geralmente em torno do silogismo : um certo tipo de raciocínio em que dadas duas premissas, uma geral e outra particular, uma conclusão é obtida.

# data[].attributes.body
Argumentos são ideias lógicas relacionadas entre si e com o propósito de esclarecer e resolver determinada situação ou dúvida, por exemplo.

Os argumentos são normalmente baseados em premissas que ajudam a construir uma conclusão. No entanto, todas as premissas devem ter como alicerce um sentido lógico, caso contrário o resultado final pode não ser verdadeiro ou válido.

Por norma, os argumentos servem principalmente para provar alguma coisa, como um ponto de vista, uma decisão ou ideia. Seu objetivo, neste caso, consiste em justificar determinado objeto que é causa de um debate.

# data[].attributes.body
Silogismo é um modelo de raciocínio baseado na ideia da dedução, composto por duas premissas que geram uma conclusão.

O precursor desta linha de pensamento lógico foi o filósofo grego Aristóteles, conhecido por ser um dos primeiros pensadores e filósofos de todos os tempos.

O chamado silogismo aristotélico é formado por três principais características: mediado, dedutivo e necessário.

O silogismo seria mediado devido a necessidade de se usar o raciocínio para se chegar à conclusão real. Seria dedutivo pelo fato de se partir de preposições universais para se chegar a uma conclusão específica. E, por fim, seria necessário por estabelecer uma conexão entre todas as premissas.

# data[].attributes.body
Falácia é um raciocínio que parece lógico e verdadeiro, porém existe alguma falha que o faz ser falso.

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.

Significado

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.

# data[].attributes.body
Um inferência é uma conclusão ou opinião que é alcançada levando-se em conta evidências ou fatos conhecidos. Na lógica, uma inferência é definida como o processo de derivar consequências lógicas das suposições assumidas.
Uma premissa também é definida como uma proposição dada como verdadeira e da qual uma conclusão é tirada.
A três tipos de inferência são elas dedução, indução e abducção.

1- Dedução

Dedução é o processo de derivar uma conclusão dos axiomas e fatos dados. Isto é, tirar uma conclusão com base no conhecimento e observações disponíveis.

2- Indução

Por outro lado, a indução implica derivar uma regra geral (também chamada de axioma) de observações particulares ou específicas.

Esse tipo de raciocínio é o oposto do dedutivo. Basicamente, significa extrair as conclusões ou inferências de vários dados, indo do específico para o geral. Os cientistas usam o raciocínio indutivo para formar hipóteses e teorias.

3- Abducção

Este tipo de inferência é baseado em um conjunto incompleto de observações, resultando na explicação mais provável possível.

Baseia-se em fazer e testar hipóteses usando as melhores informações disponíveis. Freqüentemente envolve fazer uma suposição depois de observar um fenômeno para o qual não há uma explicação clara.