La Logique élémentaire est à la fois une introduction à la logique et une introduction à la pensée de Quine, son but ayant été 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 impliqués dans le langage usuel ». Le lecteur trouvera ici tous les éléments nécessaires à la compréhension du symbolisme logique, mais aussi et surtout le rôle de la logique formelle comme instrument d’analyse du langage usuel.