ideografica ( nao fonetica). As ideias sao representadas por sinais- A forma gramatical e substituida pela forma logica Giuseppe Peano (1858-1932) desenvolve o sistema de notacao empregue pelos logicos e matematicos. Peano demonstrou igualmente que os enunciados matematicos nao sao obtidos por intuicao, mas sim deduzidos a partir de premissas. Bertrand Russel (1872-1970) procura desenvolver o projecto do logicismo, isto e, a reducao das matematicas a logica. Na sua volumosa obra "Principia Mathematica" (1910-1913), escrita em colaboracao com Whitehead, tornou-se na obra de referencia da logica matematica. Apos estas contribuicoes decisivas, os logicos acabaram por se dividir quanto as relacoes entre a logica e a matematica, tendo surgido tres escolas: - Os logiscistas, que defendiam que a logica era um ramo da matematica. - Os formalistas, que defendia que ambas as ciencias eram independentes, mas formalizadas ao mesmo tempo. - Os intuicionistas, para os quais a logica era um derivado da matematica porque era axiomatizada. Periodo Contemporaneo (Inicios do seculo XX ate aos nossos dias) Expansao dos Estudos da Logica Ao longo do seculo XX assistiu-se por um lado a generalizacao e diversificacao dos estudos da logica matematica, atingindo um elevado grau de formalizacao. A logica possui actualmente um sistema completo de simbolos e regras de combinacao de simbolos para obter conclusoes validas. Este facto tornou-a particularmente adaptada a ser aplicada a concepcao de maquinas inteligentes. Aplicacoes da LogicaA ideia de criar maquinas inteligentes nao e nova. Desde o Renascimento que se tem procurado de forma sistematica conceber maquinas capazes de substituirem o homem em certas tarefas. Foi no seculo XVII que comecou uma sucessao de notaveis investigacoes e invencoes que iriam conduzir a inteligencia artificial. As ideias filosoficas do tempo estimulavam estas descobertas. Rene Descartes, por exemplo, criou uma nova visao mecanica do Universo, inspirada no modelo de um relogio. As plantas como os animais eram simples maquinas criadas para executarem funcoes muito precisas. Se o corpo humano era uma maquina, ja a razao fazia operacoes que as maquinas nao conseguiam, como a elaboracao de calculos matematicos. Apesar disso, neste seculo apareceram as primeiras maquinas de calcular. Blaise Pascal, em 1642, inventa a primeira maquina de somar. Leibniz, em 1694, inventa uma calculadora que para alem de somar, subtrair, podia multiplicar, dividir e extrair raizes quadradas.No seculo XVIII a visao mecanica do universo e acompanhada por uma verdadeira paixao pelas maquinas, sobretudo aquelas que fossem capazes de substituir o homem na realizacao de multiplas tarefas fisicas, mas tambem em operacoes mentais. Esta visao mecanicista e particularmente notoria na obra de La Mettrie (1709-1751), medico e filosofo. Apos ter estudado as relacoes entre as faculdades mentais e os fenomenos corporais defendia que o pensamento era um produto da materia cerebral. As mesmas leis que regiam a materia regiam o pensamento. O mecanicismo predominava na filosofia. Nao e por casso que este tenha sido tambem o seculo da Revolucao Industrial. No seculo XIX, as ligacoes entre a logica e a matematica vieram a demonstrar a possibilidade de conceber as operacoes mentais como simples calculos, susceptiveis de serem executados por maquinas. A ideia vinha