Kant et la logique formelle

Le premier axe de recherche portera sur l’étude des filiations historiques selon la liste que Kant en donne dans la Logique Jäsche : Leibniz, Wolff, Reusch, Crusius, Baumgarten, Meier, Lambert. Quels sont donc ces progrès que les modernes sous l’impulsion de Leibniz et de Wolff ont permis ? Qu’est-ce que la logique générale pour Kant ? Une réponse s’impose: la simple forme de la pensée. Notre deuxième axe de recherche portera dès lors tout naturellement sur notion de forme. La logique générale doit être distinguée selon les termes même de Kant en logique pure et logique appliquée. Or, la logique générale pure « n’a affaire à rien d’autre qu’à la simple forme de la pensée ». Quel sens faut-il donc donner à cette notion capitale de forme ?