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).
ATTENTION, SEULEMENT PAGES 2-12!
