Pensar a Lógica Esta introdução comporta duas grandes secções. A primeira compreende uma apresentação técnica e teórica da lógica formal, e, em particular. Após uma familiarização com o pensamento lógico a teoria das funções de verdade e a lógica dos predicados, assim como elementos de lógica não clássica. A segunda secção, de orientação mais filosófica, convida a reflectir sobre a lógica e os problemas de filosofia da linguagem que ela suscita a partir de Wittgenstein, Frege, Russell, Quine e Strawson. Reunidas, as duas secções constituem uma introdução técnica, teórica e filosófica à lógica clássica e à filosofia da linguagem. Técnica, porque se trata de introduzir o leitor ao domínio dos instrumentos de base. Teórica, porque se trata de tornar compreensíveis para ele os conceitos fundamentais, do vocabulário e da lógica. Filosófica, enfim, porque se trata de o convidar a reflectir sobre a natureza do projecto lógico e sobre os seus limites, em relação com a questão da linguagem. A obra dirige-se aos estudantes universitários, mas também aos linguistas, filósofos, informáticos e cientistas interessados pela lógica e pela linguagem. Mais geralmente, um dos objectivos desta obra é o de contribuir para o desenvolvimento, ou ao menos para a salvaguarda, de uma cultura crítica relativa aos fundamentos de um aspecto essencial do mundo em que vivemos: o seu esqueleto e a sua dinâmica tecnológicas.