A lógica é um campo de estudo da Filosofia que se dedica a entender as relações linguísticas que tornam uma proposição válida ou inválida no interior de um argumento.

Proposição é um termo usado em lógica para descrever o conteúdo de asserções. Uma asserção é um conteúdo que pode ser tomado como verdade é altamente controversa entre filósofos, muitos dos quais são céticos sobre a existência de proposições.

A proposição, o conteúdo, as informações essenciais que servem de base para um raciocínio, para um estudo que levará a uma conclusão. Em lógica a premissa significa cada uma das proposições de um silogismo.

Um argumento é um conjunto de afirmações conectadas das quais pelo menos uma a premissa pretende oferecer razões para mostrar que a outra a conclusão é verdadeira.

O silogismo é a estrutura básica de um argumento ou um raciocínio dedutivo, o qual é formado por três proposições que estão interligadas. Na filosofia, o silogismo é parte integrante da lógica aristotélica e está baseado na dedução.

A falácia é um tipo de argumento utilizado com a intenção de parecer correto, porém quem opta por esse recurso geralmente omite algumas informações por trás do discurso. Por definição, a falácia se refere a qualquer ideia equivocada ou falsa crença em algo.

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.

Pode ser de dois tipos: indutiva e dedutiva.