Les innovations principales de Bolzano en logique résultent de l’introduction et de l’usage systématique de la méthode de la variation qui correspond à la méthode substitutionnelle de la logique contemporaine. Cette méthode fournit les concepts logiques fondamentaux de validité, d’analyticité et de déductibilité. Je propose également une liste des concepts logiques de Bolzano. La comparaison de la déductibilité avec la notion de conséquence logique de Tarski met en évidence les caractères spécifiques de la logique de Bolzano dont le plus important consiste dans la nature de ses objets : bien que Bolzano travaille aussi avec les formes propositionnelles, l’objet de sa logique est constitué des propositions en soi et des représentations en soi.