L'analyse du raisonnement non formel peut-être éclairée par le comique. Celui-ci porte sur les traits essentiels qui distinguent démonstration et argumentation; il a pu ainsi jouer un rôle dans les premiers développements du formalisme, lequel serait une aire soustraite au comique. Cette étude devient nécessairement aussi une contribution à la théorie générale du comique et du rire.