DEUX ET DEUX SONT QUATRE
C'est une manière de dire que c'est évident. Il y a quelque chose qui relève du « on l'a toujours su », cette affirmation relève pour ainsi dire du sens commun. Le recours à la tautologie confirme cette impression d'évidence. Ce jugement semble s'opposer à la simple croyance, il n'y a pas de doute possible. En effet, même quand je dors cela reste vrai. C'est bien ce que dit Descartes dans la 1ère méditation « Car soit que je veille ou que je dorme, deux et trois joints ensemble formeront toujours le nombre cinq » Cette proposition affirme une identité : quatre est ramené à deux et deux. On est donc dans le registre du même (Leibniz), il n'y a pas de contradiction c'est de la même chose qu'il s'agit. Cela nous permet de distinguer 2 registres : de la science et de la croyance. Ici, tout le monde peut être d'accord, il n'y a pas de conflit mais un accord des esprits dès lors qu'ils sont éclairés mathématiquement. On est donc ici dans le registre de l'évidence : là, on est assuré, là il y a unanimité. Est-ce cela qui est compris dans la proposition « Deux et Deux sont Quatre » ?
En un sens cela veut dire que, à moins d'être fou ou de mauvais foi, on ne saurait apporter de contradiction. Cela reviendrait à dire qu'un chat est un chat, ou la loi est la loi, telle est la puissance de la tautologie. Pourtant cette affirmation, qu'est-ce qui en fait l'évidence ? Et cette proposition n'est-elle pas « abstraite ou formelle », naïve ?

L'EVIDENCE CONTRE LA CROYANCE
DOM JUAN ET LA CROYANCE MATHÉMATIQUE
« Je crois que deux et deux sont quatre et que quatre et quatre sont huit » il fait part étonnamment d'une croyance. Et en un sens cela est paradoxal, et ce paradoxe n'échappe pas à Sganarelle qui rétorque « La belle croyance que voilà », Pourquoi exprime-t-il les mathématiques sous forme de croyance ? En un sens elle est d'avantage qu'une croyance si l'on entend par croyance quelque chose dans lequel rentre le doute et l'incertitude. Du coup s'il y a