Logique formelle, logique transcendantale
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).
La logique transcendantale est, quant à elle, une doctrine des catégories, c’est-à-dire des concepts purs qui commandent la connaissance de la réalité, voire même qui constituent la réalité. Pouvoir connaître une chose réelle c’est d’abord pouvoir l’identifier et dire à quoi on a affaire. Par exemple, c’est pouvoir dire que cet animal que je vois est un chien et pas un chat. On a alors un concept empirique, celui de chien. Les concepts empiriques se forment en comparant des choses observées et en faisant abstraction d’un caractère commun. Mais cette activité de conceptualisation qui aboutit à des concepts empiriques est elle-même commandée par des concepts purs qui n’ont rien d’empirique.
