lemme

Cet article est extrait de l'ouvrage Larousse « Dictionnaire de la philosophie ».

Logique, Mathématiques

Dans un syllogisme, le lemme est souvent une proposition qui sert de prémisse du raisonnement. Dans la discussion dialectique, c'est un point accordé par les deux parties. Les traités de mathématiques désignent par lemme des propositions qui peuvent être démontrées ou seulement accordées et qui préparent la démonstration d'un théorème dont l'enjeu est plus vaste.

Un sens plus spécifique est donné à ce terme par Kant, qui entend par lemme une proposition empruntée à une science autre que celle dont relève le théorème que l'on démontre.

Vincent Jullien