Présente la technique et la théorie de la logique formelle et engage une réflexion philosophique sur celle-ci, en s'appuyant sur une lecture du Tractatus logico-philosophicus de Wittgenstein ainsi que sur des études consacrées à Frege, Russell, Quine et Strawson.