A Lgica uma cincia de ndole matemtica e fortemente ligada

Filosofia.
J que o pensamento a manifestao do conhecimento, e que o
conhecimento busca a verdade, preciso estabelecer algumas
regras para que essa meta possa ser atingida.
Assim, a lgica o ramo da filosofia que cuida das regras do bem
pensar, ou do pensar correto, sendo, portanto, um instrumento do
pensar.
A aprendizagem da lgica no 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, ento, dizer que a lgica trata dos argumentos, isto ,
das concluses a que chegamos atravs da apresentao de
evidncias que a sustentam.
O principal organizador da lgica clssica foi Aristteles, com sua
obra chamada rganon. Ele divide a lgica em formal e material.
Um sistema lgico um conjunto de axiomas e regras de
inferncia que visam representar formalmente o raciocnio vlido
.
Diferentes sistemas de lgica formal foram construdos ao longo
do tempo quer no mbito estrito da Lgica Terica, quer em
aplicaes prticas na computao e em Inteligncia artificial.
Tradicionalmente, lgica tambm a designao para o estudo de
sistemas prescritivos de raciocnio, ou seja, sistemas que definem
como se "deveria" realmente pensar para no errar, usando a
razo, dedutivamente e indutivamente. A forma como as pessoas
realmente raciocinam estudado noutras reas, como na
psicologia cognitiva.
Como cincia, a lgica define a estrutura de declarao e
argumento e elabora frmulas atravs das quais estes podem ser
codificados. Implcita no estudo da lgica est a compreenso do

que gera um bom argumento e de quais os argumentos que so

falaciosos.
A lgica filosfica lida com descries formais da linguagem
natural.
A maior parte dos filsofos assumem que a maior parte do
raciocnio "normal" pode ser capturada pela lgica, desde que se
seja capaz de encontrar o mtodo certo para traduzir a linguagem
corrente para essa lgica.
Aristteles, filsofo grego (384 - 322 a.C.), foi o fundador da
cincia da lgica, e estabeleceu um conjunto de regras rgidas
para que concluses pudessem ser aceitas logicamente vlidas.
O emprego da lgica de Aristteles levava a uma linha de
raciocnio lgico baseado em premissas e concluses.
Como por exemplo: se observado que "todo ser vivo mortal"
(premissa 1), a seguir constatado que "Sarah um ser vivo"
(premissa 2), como concluso temos que "Sarah mortal".
Desde ento, a lgica Ocidental, assim chamada, tem sido binria,
isto , uma declarao falsa ou verdadeira, no podendo ser ao
mesmo tempo parcialmente verdadeira e parcialmente falsa. Esta
suposio e a lei da no contradio, que coloca que "U e no U"
cobrem todas as possibilidades, formam a base do pensamento
lgico Ocidental.