A lógica é a ciência que expõe as leis, modos e formas do conhecimento científico. Trata-se de uma ciência formal desprovida de conteúdo, que se dedica ao estudo das formas válidas de inferência. Trata-se portanto do estudo dos métodos e dos princípios utilizados para distinguir o raciocínio correto do incorreto.
A etimologia mostra que o conceito de lógica deriva do latim logĭca, que, por sua vez, provém do termo grego logikós (de logos, “razão” ou “estudo”). O filósofo grego Aristóteles foi pioneiro a utilizar a noção para fazer referência ao estudo dos argumentos enquanto manifestadores da verdade na ciência, tendi sido ele quem sugeriu o silogismo como sendo o argumento válido.
Aristóteles é considerado o pai da lógica formal. Por outro lado, a lógica informal é o estudo metódico dos argumentos prováveis na perspectiva da retórica, da oratória e da filosofia, entre outras ciências. É especializada na identificação de lapsos e paradoxos, e na construção correta dos discursos.
A lógica natural é a disposição natural para refletir acertadamente sem o auxílio da ciência. A lógica difusa ou fuzzy, pela parte que lhe toca, é aquela que admite uma certa incerteza entre a veracidade ou falsidade das suas premissas, à semelhança do raciocínio humano.
A lógica linguística trata-se de um campo de estudo ligado a filosofia, o qual dedica-se a organização formal linguística. Em outras palavras, ela ajuda a definir como a linguagem funcionará e, assim, configurar-se bem em cada caso.
Ainda, no que concerne a lógica linguística, ela, além de apresentar regras para o adequado uso da linguagem, também faz a identificação do que não possui uma validade com coesão. Dado a esse uso, temos o que se conhece por “falácia” que trata-se de um raciocínio errôneo mascarado de correto. O que caracteriza-se como falácia são enunciados com raciocínio incoerente, sem que haja a existência de uma conexão lógica entre os fatos declarados ou ainda sem a presença de nexos causais que responsabilizem-se pela explicação adequada e completa dos resultados existentes nos enunciados.
Por outro lado, a lógica matemática é aquela que opera com recurso a uma linguagem simbólica artificial e realizando uma abstração dos conteúdos.
No que diz respeito a matemática, a lógica trabalha com a organização de forma racional, nisso, ela contribui para os resultados de cálculos estejam corretos. Para isso a máquina ou o matemático responsável, através da lógica matemática, faz uso de um padrão que utiliza-se das regras racionais. Ou seja, aqui a lógica estabelece um nexo causal dentro da área da matemática.
De um modo geral, a lógica quase sempre é composta por três tipos de raciocínios, sendo esses: o raciocínio dedutivo, o raciocínio indutivo e também o raciocínio abdutivo.
A lógica é também amplamente utilizada na ciência da computação, onde abrange o seu uso em aplicações computacionais. Sendo ela uma essencial e indispensável ferramentas para quem se dedica a essa área.
Existem outros tipos ou classes de lógica, como é o caso da lógica binária, que trabalha com variáveis que consideram unicamente dois valores discretos.
Equipe editorial de Conceito.de. (12 de Maio de 2011). Atualizado em 13 de Agosto de 2019. Lógica - O que é, conceito e definição. Conceito.de. https://conceito.de/logica