Qu'est-ce qu'une constante logique?
Résumé
The problem of the characterization of the class of logical constants is one of the major issues in the philosophy of logic. The definition of the notion of logical consequence, in particular, depends on the delimitation of the boundary between logical and non-logical expressions. On the standard semantic approach to this problem, logical operations are characterized as operations which are invariant under permutation. The aim of this work is to assess the conceptual grounds of this thesis and the objections which have been raised in the literature. On the basis of a revision of the justifications of the thesis, we defend an alternative characterization of logical constants in terms of invariance under potential isomorphism. This new thesis is meant to account for the generality of logic and its lack of empirical and, in some sense to be made precise, of mathematical content.
La question de la caractérisation des constantes logiques est un des problèmes fondamentaux de la philosophie de la logique. De cette caractérisation dépend en parti- culier la définition de la notion de conséquence logique, qui permet d'évaluer la validité de nos inférences. Selon une des approches classiques de cette question, les constantes logiques ont ceci de spécial qu'elles dénotent des opérations qui sont invariantes par per- mutation des objets du domaine de discours. Le but de ce travail est d'évaluer les fon- dements conceptuels de cette proposition et les problèmes qu'elle pose. Nous défendons, à la lumière d'une révision des justifications de la thèse traditionnelle, une nouvelle ca- ractérisation des constantes logiques en termes d'invariance par isomorphisme potentiel, qui permet de rendre compte à la fois de la généralité de la logique et de son absence de contenu empirique et, en un sens qui sera précisé, mathématique.