Il en va de même pour les principes logiques. Supposons que deux hommes discutent du jour du mois. L’un d’eux dit : « Vous admettrez au moins que si hier était le 15, aujourd’hui doit être le 16 ». « Oui », répond l’autre, « je l’admets ». « Et vous savez, poursuit le premier, qu’hier était le 15, parce que vous avez dîné avec Jones, et votre journal vous dira que c’était le 15. » « Oui », dit le second, « donc aujourd’hui c’est le 16 ».
Un tel argument n’est pas difficile à suivre ; et si l’on admet que ses prémisses sont vraies en fait, personne ne niera que la conclusion doit l’être aussi. Mais sa vérité dépend d’un exemple de principe logique général. Le principe logique est le suivant : « Supposons que l’on sache que si ceci est vrai, alors cela est vrai. Supposons que l’on sache également que ceci est vrai, alors il s’ensuit que cela est vrai. » Lorsque l’on sait que si ceci est vrai, cela est vrai, on dira que ceci « implique » cela, et que cela « découle » de ceci. Ainsi, notre principe stipule que si ceci implique cela, et que ceci est vrai, alors cela est vrai. En d’autres
