Logique formelleLogique formelle se veut tout autant un manuel dintroduction la logique standard contemporaine quune rflexion thorique sur lutilit et les limites de la logique pour la philosophie. Ainsi, le lecteur pourra trouver dans cet ouvrage un expos du calcul des propositions, de la syllogistique traditionnelle, du calcul des prdicats, du calcul des classes et du calcul des relations. La logique formelle est envisage comme une discipline pure a priori,