plus net et plus certain, ou quand la contradictoire implique contradiction et absurdité, etc., etc.
Tout cela, quoique assez vague et sujet à mille difficultés dans les applications, peut être juste et vrai ; mais il faudrait faire voir pourquoi. Or, c’est ce que personne n’a fait. Ce sont pourtant là des propositions comme d’autres, dont la vérité a besoin d’être prouvée, et doit pouvoir s’expliquer et se démontrer ; car on n’y est pas venu tout d’un coup. On doit pouvoir montrer nettement comment on y est arrivé, et pourquoi on a eu raison de s’y attacher. L’homme a nécessairement senti avant de juger. Il a porté des jugemens confus avant de former des propositions explicites ; il a fait des propositions particulières avant d’en faire de générales. Tout cela demande à être développé.
Cela n’étant pas fait, convenons que notre Logique, même supposée irrépro-
