Descrição

Este livro é uma iniciação informal à lógica e à aritmética (formais), reflectindo as preferencias e a experiência pessoais do autor. São também abordadas algumas questões de filosofia e fundamentos da matemática. A maior parte dos assuntos escolhidos e o grau de aprofundamento são adequados a um primeiro contato com coisas logicas, ao nível da formação de professores do ensino secundário ou do primeiro ano de uma licenciatura em Matemática, Informática, Engenharia ou Letras (Filosofia), ou até do leitor autodidacta.

O destaque desta edição revista e aumentada vai para as novas secções (opcionais) mais afins dos tópicos usuais de logica e computacional. Exercícios propostos e resolvidos complementam o texto, e a bibliografia foi actualizada. O livro trata essencialmente aquela parte logica clássica que analisa as proposições e sistematiza o raciocínio, apresentada sob os pontos de vista semântico e dedutivo (através de sistemas de dedução natural e de tableaux, caracterizados pela grande facilidade de manipulação). Os resultados metamatemáticos mais importantes são enunciados, todavia são tratados mais levemente do que seria natural num livro avançado de lógica matemática, chamando-se a atenção para sua importância filosófica e para os fundamentos.