L’induction de Bacon et la logique intensionnelle