Logique formelle, logique transcendantale
Alain Chauve jeudi 28 février 2008, par Chauve Alain
Sur quoi portent-elles ? De quoi traitent-elles ?
La logique formelle est une théorie des formes des jugements et des formes des raisonnements. Elle se définit comme « la science des lois nécessaires de la pensée » (Kant, Logique, p.12, qui précise : « les lois nécessaires et universelles de la pensée en général »). Il suffit de bien entendre cette définition pour se rendre compte qu’il ne peut s’agir de la psychologie. Si c’était le cas, en effet, nous aurions affaire à des lois contingentes relevant de l’observation de la vie mentale et de la façon dont se forment et s’associent les idées. En tant que lois nécessaires et universelles qui ont une validité générale (comme, par exemple, les lois du syllogisme), elles sont indépendantes de tout principe empirique. La logique « repose sur des principes a priori qui permettent de déduire et de démontrer toutes ses règles » (Logique, p.13), comme, par exemple, le principe de contradiction. Les règles de la logique, en tant qu’elles sont des lois, concernent la pensée non telle qu’on l’observe dans les faits mentaux et les opérations psychologiques, mais telle qu’elle est dans sa forme idéale de validité. C’est ce que Kant exprime en déclarant : « En logique il s’agit […] non de la façon dont nous pensons mais de la façon dont nous devons penser » (Logique, p.12).

4. La logique formelle

L’aptitude des hommes et des femmes à penser de façon logique est le produit d’un très long processus d’évolution sociale. Elle remonte, non à des milliers, mais à des millions d’années avant l’invention de la logique formelle. Au XVIIe siècle, Locke formulait déjà cette idée : « Dieu n’a pas été économe avec les hommes au point d’en faire de simples créatures à deux jambes et de laisser à Aristote le soin de les rendre rationnels. » D’après Locke, la logique repose sur « une faculté naïve de percevoir la cohérence ou l’incohérence