Como adjetivo, 'lógico' ou 'lógico' significa que algo segue as regras da lógica e da razão. Também indica uma consequência natural ou normal esperada.

Também é usado para se referir ao chamado 'bom senso'

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.

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 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.

No âmbito da lógica, uma falácia consiste no ato de chegar a uma determinada conclusão errada a partir de proposições que são falsas.

A filosofia de Aristóteles abordou a chamada “falácia formal” como um sofisma, ou seja, um raciocínio errado que tenta passar como verdadeiro, normalmente com o intuito de ludibriar outras pessoas.

De acordo com a lógica filosófica aristotélica, a “falácia informal” difere-se da formal, principalmente pelo fato da primeira usar de raciocínios válidos, a princípio, para chegar a resultados que sejam inconsistentes e com premissas falsas.

Ao contrário das falácias formais, que são mais fáceis de identificar, as falácias informais, por apresentar uma forma lógica válida, podem ser de difícil identificação.

Uma inferência incorreta é conhecida como uma falácia. Os filósofos que estudam lógica informal compilaram grandes listas delas, e os psicólogos cognitivos têm documentado inúmeros casos onde tendemos a conclusões errôneas, principalmente em questões mais contra intuitivas.

Os sistemas de IA primeiro providenciaram "inferência logica automática". Uma vez que estes já foram temas de investigação extremamente popular, levaram a aplicações industriais sob a forma de sistemas especialistas e depois "business rule engines".

O trabalho de um sistema de inferência é o de estender uma base de conhecimento automaticamente. A base de conhecimento (KB) é um conjunto de proposições que representam o que o sistema sabe sobre o mundo. Várias técnicas podem ser utilizadas pelo sistema para estender KB por meio de inferências válidas.