CHAPITRE XX. — PRINCIPE DE CONTRADICT. KANT
impossible, c'est répugner-, donc Kant se sert luimême des termes qu'il proscrit. La formule commune du principe de contradiction se pourrait exprimer de la manière suivante : «Il répugne qu'une chose soit et ne soit pas en même temps, ou bien il y a répugnance entre l'être et le non être, ou bien encore, l'être exclut le non-être. La formule de Kant : « Un attribut qui répugne à un sujet ne convient pas à ce sujet, )) ne dit rien de plus.
194. Comme critérium universel, la formule commune est plus exacte : celle du philosophe allemand restreint le principe au rapport de sujet et d'attribut, et par conséquent elle l'enferme dans l'ordre purement idéal, puisque ce principe n'a de valeur, dans l'ordre réel, que par une sorte d'extension. Or, cette extension, la formule ordinaire ne l'exige pas ; en disant : L'être exclut le non être, elle embrasse l'ordre idéal et l'ordre réel, et présente à la fois l'impossibilité des jugements et des choses contradictoires.
Kant pose son principe comme la condition sine qiiâ non de nos connaissances 5 il faut l'admettre ou renoncera toute vérité. Venons à la preuve, et pour cela comparez les deux formules. Qu'une chose ne puisse, simultanément, être et n'être pas, on le voit aussitôt d'une vue pleine, et sans hésitation \ ce principe embrasse l'ordre réel comme l'ordre idéal. Il s'agit d'un objet externe \ il s'agit de jugements contradictoires, d'idées qui s'excluent \ cela ne peut être, dira-t-on, parce qu'il est impossible qu'en un même temps une même chose soit et ne soit point. Croyez-
VOUS qu'il fût aussi facile d'appliquer, pratiquement, dans l'ordre des faits, les idées purement logiques de sujet et d'attribut? Donc, la formule commune, non moins exacte que celle de Kant, est plus simple, plus intelligible, plus facilement applicable. Qualités essentielles pour un critérium universel, pour la condition sine quà non de la vérité de nos connaissances.
195. J'ai supposé que la formule de Kant exprimait, en réalité, le principe de contradiction ^ supposition tout au moins inexacte. Sans doute, il serait contradictoire qu'un attribut, incompatible avec le sujet, convînt à ce sujet \ mais cela ne suffit point. De ce qu'il est impossible de nier un axiome sans tomber dans une contradiction, il ne suit pas que tout axiome implique le principe de contradiction. La formule doit exprimer directement l'exclusion réciproque, l'incompatibilité entre l'être et le non être \ c'est là le fond du principe. Kant, dans sa nouvelle formule, n'exprime point cette exclusion d'une manière directe^ il établit que l'attribut, exclu de l'idée du sujet, ne convient pas au sujet, voilà tout-, confondant ainsi son principe avec celui des cartésiens : « Ce qui est compris dans l'idée claire et distincte d'une cbose se peut aflirmer de cette cliose. » La formule cartésienne ne se distingue de celle de Kant que par deux nuances accidentelles : la formule de Kant est plus concise, et négative -, celle des cartésiens est affirmative.
196. (c Ce qui est exclu de l'idée claire et distincte d'une cbose se peut nier de cette cbose. » Formule