PENSAR A LOGICA

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.