A ciência que é baseada nas leis, modalidades e formas de conhecimento científico é conhecida sob o nome de lógica . É uma ciência formal que não tem conteúdo, pois se concentra no estudo de alternativas de inferência válidas . Isto é, propõe estudar os métodos e os princípios apropriados para identificar o raciocínio correto em oposição ao que não é.

A etimologia permite saber que o termo "lógica" tem sua origem na palavra latina logĭca, que, por sua vez, deriva do grego logikós (do logos, "razão" ou "estudo" ). O filósofo grego Aristóteles, especialista em questões históricas, foi pioneiro no uso da noção para nomear a verificação de argumentos como indicadores da verdade dentro da ciência e para apresentar o silogismo como um argumento válido.

No entanto, não podemos ignorar que, ao longo da história, existem muitas outras figuras que contribuíram com suas idéias e abordagens para desenvolver essa ciência. Assim, por exemplo, durante a Idade Média, devemos sublinhar o papel desempenhado por Averróis, o filósofo cordobês que, entre outras coisas, afirmou que era fundamental estudar a lógica dos velhos mestres e, a partir daí, prosseguir para " filosofar "no caminho certo.

Já nos séculos XVIII e XIX, um dos personagens que mais abordava o tema da lógica era Immanuel Kant. Este é considerado um dos mais importantes e influentes pensadores da história e é notável pelo fato de que, nesse assunto, estabelecemos um novo conceito: a lógica transcendental.

Um termo com o qual dito filósofo de origem prussiano tentou definir o processo pelo qual o ser humano deve realizar uma investigação do que viriam a ser os conceitos puros de categorias de tipo transcendental ou também do que é o entendimento exato .

Hegel, Augustus De Morgan, John Venn ou Gottlob Frege são outros autores que se destacaram no campo da lógica e especialmente os últimos que causaram uma autêntica revolução com suas teorias. Por isso, considera-se, juntamente com o aristóteles acima mencionado, o mais importante lógico de toda a história. E é isso que ele estabeleceu os conceitos de prova, lógica predicativa ou linguagem formal.

Aristóteles é considerado o pai da lógica formal . Por outro lado, a lógica informal refere-se ao exame metódico de prováveis ​​argumentos baseados em oratória, retórica e filosofia, entre outras ciências. Seu objetivo é o reconhecimento de paradoxos e falácias, além de ser um recurso efetivo para construir discursos corretamente.

A lógica natural é a capacidade natural de raciocinar sem apelar para a ciência. A chamada lógica difusa ou difusa, por outro lado, é aquela que contempla certa incerteza ao analisar o caráter verdadeiro ou falso das proposições, semelhante ao raciocínio próprio do ser humano.

Por outro lado, a lógica matemática é caracterizada pelo uso de uma linguagem simbólica artificial e uma abstração do conteúdo.

Existem outros tipos ou classes de lógica, como a chamada lógica binária, que trabalha com variáveis ​​que levam apenas dois valores discretos.