Willard Von Orman Quine: Logique elementaire

La Logique elementaire est a la fois une introduction a la logique et une introduction a la pensee de Quine, son but ayant ete de condenser le sujet de la logique traditionnelle en le traitant par les moyens de la logique contemporaine, afin de rendre plus intelligibles les constructions logiques de base et les raisonnements impliques dans le langage usuel . Le lecteur trouvera ici tous les elements necessaires a la comprehension du symbolisme logique, mais aussi et surtout le role de la logique formelle comme instrument d'analyse du langage usuel.