Lógica tem origem na palavra grega logos, que significa razão, argumentação ou fala. A ideia de falar e argumentar pressupõe que o que está sendo dito possua um sentido para aquele que ouve.

Esse sentido fundamenta-se na estrutura lógica, quando algo "tem lógica" quer dizer que faz sentido, é uma argumentação racional.

As premissas são sentenças consideradas como verdades que não podemos necessariamente comprovar, pois elas dependem de fatores externos. Podemos, por exemplo, considerar como premissa do projeto Construção de um prédio a seguinte frase: “Não irá faltar operário durante a obra”.

Entretanto, a demanda das construtoras, a falta de qualificação, o aquecimento do mercado imobiliário, entre outros fatores externos podem tornar a sentença falsa e haver escassez de mão-de-obra. Assim, pode-se dizer que as premissas criam riscos para o projeto.

Vamos ver o que isso quer dizer analisando vários exemplos de argumentos.

No dia a dia, não é incomum pensar que um argumento com uma briga verbal, comandos, avisos, sugestões, crenças e opiniões. Mas estritamente falando, tudo isso não é argumento. Ao contrário. Se um argumento é uma tentativa racional de convencer as pessoas, então uma briga é justamente o oposto, já que usa a agressão para convencer as pessoas.

Na filosofia, o silogismo é parte integrante da lógica aristotélica e está baseado na dedução. Ou seja, parte de afirmações verdadeiras para uma nova afirmação também verdadeira.

Aristóteles (384 a.C.-322 a.C.) utilizou esse método nos estudos da argumentação lógica.

A teoria do silogismo foi apresentada por ele na sua obra “Analytica Priora” (Analíticos Anteriores).

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.

As inferências podem ser divididas em dois tipos: imediatas e mediatas.

A inferência imediata consiste em extrair de uma só proposição outra proposição, à qual se atribui o valor de verdade ou falsidade. A inferência imediata pode ser obtida por oposição ou conversão.

A inferência mediata consiste numa conclusão obtida a partir de duas ou mais proposições. Este tipo de inferências podem ser de três tipos: analógicas, indutivas e dedutivas.