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 - o vocabulário - 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. GILBERT HOTTOIS é professor de filosofia contemporânea na Universidade livre de Bruxelas e autor de várias obras, das quais o Instituto Piaget já publicou: Nova Enciclopédia de Bioética, Dicionário de Bioética, e História da Filosofia - da renascença à pos-modernidade.