Abstract

D’après Bolzano, une proposition est logiquement analytique si et seulement si elle est soit logiquement valide, soit logiquement non valide. Bolzano dit aussi parfois qu’une proposition est logiquement valide si et seulement si elle est et reste vraie sous toute variation simultanée et uniforme de ses parties non logiques. C’est essentiellement la même définition que donne Quine dans son article « Carnap and Logical Truth » où il attribue à ce dernier l’idée qu’un énoncé logiquement vrai est un énoncé au sein duquel seuls les termes logiques sont essentiels. Mais qu’en est-il des propositions et des énoncés vrais qui sont composés exclusivement de parties logiques ? Selon la définition précédente, elles s’avèreraient toutes logiquement valides ou logiquement vraies. Une proposition telle que « Il y a quelque chose » n’est toutefois manifestement pas logiquement valide selon Bolzano. La définition courante de la validité logique doit être modifiée de manière à répondre aux intuitions bolzaniennes. Dans cet article, je propose une telle modification.A proposition is logically analytic according to Bolzano if and only if it is either logically valid or logically non-valid. And a proposition is sometimes said to be logically valid according to Bolzano if and only if it is true and remains true under all simultaneous and uniform variations of all of its non-logical parts. Basically the same definition is provided by Quine in his paper “Carnap and Logical Truth” where he attributes to Carnap the view that a logically true sentence is a true sentence which involves only logical words essentially. But, what about true propositions and sentences which are composed exclusively of logical parts ? Due to the definition mentioned above, all of them will trivially turn out as logically valid or logically true. A proposition like “There is something”, however, is clearly not logically valid according to Bolzano. The common definition of logical validity must be modified in order to match Bolzano’s intuitions. In this paper, such a modification is presented