Alem disso, a logica classica (LC), a prindpio, trabalha com dois
valores: verdade e falsidade. Desse modo, um predicado pode ser verdadeiro
ou falso, mas nunca Simultaneamente verdadeiro e falso. Na LC nao se esta
preocupado com o fato de uma expressao ser realmente uma verdade ou nao
para a ciencia ou filosofia. Seus procedimentos funcionam independent desta
veracidade. Em outras palavras, o que esta sob o dommio dessa logica sao
procedimentos formais que permitem partir de premissas e alcan9ar um
resultado. A correspondent entre este resultado e algo externo a propria
logica nao e uma questao que a LC se proponha.
A IA normalmente se baseia na LC para gerar um modelo do
funcionamento da mente, e nesse sentido a Maquina de Turing e um modelo
logico abstrato da mente. Mas e possrvel perguntar ate que ponto esse modelo
e realmente adequado. Ou, ainda, quais aspectos da mente humana sao
evidenciados atraves deste modelo. A resposta a essas perguntas envolve nao
somente aspectos filosoficos, mas tambem computacionais e, nesse caso,
logicos.
2. A diferenca entre humanos e maquinas no tratamento de problemas