L’utilité qu’il y aurait à formaliser et à soumettre au calcul divers types d’argument est indéniable. Mais cette formalisation, qui nécessite toujours des hypothèses préalables qui rendraient possible la réduction d’un raisonnement non-formel à un raisonnement formel, suppose une prise de position préalable concernant l’importance de ce qui est négligé, suite à la réduction au formel. Remarquons que ces prises de position, quand elles sont d’une portée générale, sont solidaires d’une philosophie discutable, mais elles sont beaucoup plus facilement acceptées quand elles sont d’une portée plus réduite, méthodologique, pour ainsi dire.