Prend une phrase, remplace les propositions par des variables propositionnelles, analyse la formule ainsi composée. Tu vois maintenant que le contenu - ce que les variables remplacent - n'importe pas dans l'analyse logique. La logique traite des formes et ne s'intéresse pas au contenu : elle ne dit rien sur le monde. C'est ce qui fait de la logique un outil, ni plus ni moins. L'utilité de cet outil ? Montrer la cohérence d'une formule ou d'un ensemble de formules, c'est-à-dire, porté au langage, vérifier la cohérence du discours actuel (logos) sans considération quant à son contenu. If you can't answer this apparent question, then it's not a question.