O que é lógica?

Lógica é uma parte da filosofia que estuda o fundamento, a estrutura e as expressões humanas do conhecimento.
A lógica foi criada por Aristóteles no século IV a.C. para estudar o pensamento humano e distinguir interferências e argumentos certos e errados.
Aristóteles estabeleceu um conjunto de regras rígidas para que conclusões pudessem ser aceitas como logicamente válidas: o emprego da lógica leva a uma linha de raciocínio baseado em premissas e conclusões.
Por exemplo: se for observado que "todo ser vivo é mortal" (premissa 1), a seguir é constatado que "João é um ser vivo" (premissa 2), como conclusão temos que "João é mortal".
Desde então, a lógica Ocidental, assim chamada, tem sido binária, isto é, uma declaração é falsa ou verdadeira, não podendo ser ao mesmo tempo parcialmente verdadeira e parcialmente falsa. Esta suposição e as leis da identidade (A é A), da não contradição (A não é B), e do terceiro excluído (A é A e não pode ser B) cobrem todas as possibilidades e formam a base do pensamento lógico Ocidental.
A Lógica ao mesmo tempo em que define as leis ideais do pensamento, estabelece as regras do pensamento correto, cujo conjunto constitui uma arte de pensar. E como o raciocínio é a operação intelectual que implica todas as outras operações do espírito, define-se muitas vezes a lógica como a ciência do raciocínio correto. A Lógica é então necessária para tornar o espírito mais penetrante e para ajudá-lo a justificar suas operações recorrendo aos princípios que fundam a sua legitimidade.
Em outras palavras, lógica é arte que nos faz proceder, com ordem, facilmente e sem erro, no ato próprio da razão.