Forme, variation et déductïbilité dans la logique de Bolzano / Form, variation and deducibility in Bolzano's logic

SUMMARY. — Bolzano's main innovations in logic result from his introduction and systematic use of the method of variation, which corresponds to the substitutional method in contemporary logic. The application of this method yields the fundamental logical concepts of validity, analyticity and deducibility. I also put forward a tentative list of Bolzano's logical concepts. I compare deducibility with Tar ski's notion of logical consequence. This comparison allows specific features of Bolzano's logic to be brought out - above all, his ontology of logic. Although Bolzano also worked with propositional forms, the true objects of his logic were propositions-in-themselves and ideas-in-themselves.RÉSUMÉ. — 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.Sebestik Jan. Forme, variation et déductïbilité dans la logique de Bolzano / Form, variation and deducibility in Bolzano's logic. In: Revue d'histoire des sciences, tome 52, n°3-4, 1999. Mathématique et logique chez Bolzano. pp. 479-506