O que é lógica:
Lógica É uma ciência formal que estuda a estrutura ou formas do pensamento humano (como proposições, conceitos e raciocínio) para estabelecer leis e princípios válidos para obter critérios de verdade.
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'. Vem do latim lógica, e por sua vez do grego λογική (logike, 'tendo razão, 'intelectual', 'dialético', 'argumentativo'), que por sua vez deriva da palavra λόγος (logotipos, 'palavra', 'pensamento', 'razão', 'ideia', 'argumento').
Lógica proposicional, matemática ou simbólica
Lógica proposicional é o ramo da lógica que estuda variáveis proposicionais, conectivos lógicos (
) Alguns autores também o identificam com a lógica matemática ou lógica simbólica, pois utiliza uma série de símbolos especiais que o aproximam da linguagem matemática. As proposições podem ser verdadeiras ou falsas.
Lógica filosófica
A lógica costuma ser considerada parte da filosofia, embora a lógica, como tal, seja aplicada em várias áreas e atividades do ser humano.
A lógica filosófica usa quatro princípios fundamentais que estabelecem os processos de pensamento corretos. Esses princípios são o princípio da identidade, o princípio da não contradição, o princípio do terceiro excluído e o princípio da razão suficiente.
Lógica formal e lógica informal
A lógica formal é aquela cujo objeto de estudo são as inferências técnicas por meio do uso de sistemas dedutivos e linguagens formais e semânticas. A lógica informal, por sua vez, estuda o raciocínio natural e os sistemas de argumentação por meio da linguagem e do pensamento cotidiano.
Lógica aristotélica
É a lógica que se baseia nos estudos de Aristóteles, um filósofo grego do século IV aC. A lógica aristotélica usa os chamados silogismos, que é uma dedução ou forma de raciocínio em que são estabelecidas premissas a partir das quais uma conclusão é inferida.
É, portanto, um conceito semelhante a argumentos dedutivamente válidos. Um exemplo clássico de lógica aristotélica é: 'Todos os homens são mortais. Todos os gregos são homens. Portanto, todos os gregos são mortais. ' As primeiras duas sentenças seriam as premissas e a terceira, a conclusão.
Lógica difusa
O conceito de lógica difusa vem do inglês ('lógica difusa'). É um tipo de lógica que utiliza valores aleatórios mas contextualizados e relacionados entre si, estabelecendo o relativo do que se observa como uma posição diferencial. A lógica difusa é aplicada em várias áreas, como ciência da computação e indústria.
