Raciocínio lógico

Lógica significa pensamento, idéia e argumento de cunho matemático fortemente ligado à Filosofia. Já que o pensamento é a manifestação do conhecimento, e que o conhecimento busca a verdade, é preciso estabelecer algumas regras para que essa meta possa ser alcançada. Assim, a lógica é o ramo da filosofia que cuida das regras do bem pensar, ou do pensar correto, sendo, portanto, um instrumento do pensar. A aprendizagem da lógica não constitui um fim em si. Ela só tem sentido enquanto meio de garantir que nosso pensamento proceda corretamente a fim de chegar a conhecimentos verdadeiros. Podemos, então, dizer que a lógica trata dos argumentos, isto é, das conclusões a que chegamos através da apresentação de evidências que a sustentam. O principal organizador da lógica clássica foi Aristóteles com sua obra chamada Organaon. Ele divide a lógica em formal e material.
Um sistema lógico é um conjunto de axiomas¹ e regras de inferência que visam representar formalmente o raciocínio válido. Diferentes sistemas de lógica formal foram construídos ao longo do tempo quer no âmbito escrito da Lógica Teórica, quer em aplicações práticas na computação e em Inteligência artificial.
Normalmente a lógica é também a designação para o estudo de sistemas prescritivos de raciocínio, ou seja, sistemas que definem como se "deveria" realmente pensar para não errar, usando a razão, dedutivamente e indutivamente. A forma como as pessoas realmente raciocinam é estudado nas outras áreas, como na psicologia cognitiva.
Como ciência, a lógica revela a estrutura de declaração e argumento para elaborar fórmulas através das quais estes podem ser codificados. Implícita no estudo da lógica está a compreensão do que gera um bom argumento e de quais argumentos são falaciosos².
A lógica filosófica lida com descrições formais da linguagem natural. A maioria dos filósofos assume que a maior parte do raciocínio "normal" pode ser capturada pela lógica, desde que se seja capaz de encontrar o método certo