A lógica surge como parte da filosofia, estudando o formato do pensamento. Ela analisa o modo como relacionamos as informações e se concluímos de forma correta. Ela serve como ferramenta para pensar a verdade. A lógica não é algo criado pelo homem, mas foi descoberta. Desde que existe racionalidade, há lógica. Isso é perceptível ao observar a ordem que predomina na natureza e na própria mente humana.

A proposição lógica é definida como toda oração que declare algo, podendo ser valorada como verdadeira ou falsa, sem casos em que ela se encaixe nas duas opções. As proposições lógicas podem ser classificadas em dois tipos:

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.

O silogismo é uma estrutura que consiste em duas premissas e uma conclusão . Este termo contém três (um maior e um menor e um médio) que se apresentam como um raciocínio dedutivo que vai do geral para o particular. Na vida cotidiana empregamos conscientemente ou não esta estrutura lógica. Os silogismos ajudam a pensar com um critério lógico. No entanto, é na matemática onde são empregados. Neste sentido, o raciocínio e as provas matemáticas estão baseadas nas regras do silogismo.

Falácia é um raciocínio que parece lógico e verdadeiro, porém existe alguma falha que o faz ser falso. Ela foi um recurso utilizado por Aristóteles, pela Escolástica, pela Demagogia e serve como figura de linguagem em discursos e temas argumentativos.

As falácias são construídas por raciocínios aparentemente corretos que levam à falsas conclusões. Tem como intuito atacar a pessoa que enunciou o argumento. Por isso, é considerada ad hominen, expressão em latim que significa contra o homem.

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.