Abstract

What I propose is to reconsider the interpretation of Bolzano’s concept of analytic propositions which was offered thirty years ago by Bar-Hillel. The claim of Bar-Hillel was that, in a late addition to his book, The Theory of Science, Bolzano actually had been radically improving his concept of analyticity, thus creating some inconsistencies with the previous, uncorrected version. This allows us to equate the new Bolzanian definition of analytic with what was to be defined, a century later, as logical truth by W. V. Quine. Bar-Hillel’s interpretation has been uncritically accepted by commentators, although the historical issue has been rightly challenged by J. Berg. What I want to show is that, in spite of a surface analogy between Bolzano’s phrasing of the definition of ‘logical analytic’ and Quine’s definition, certain considerations should lead us to call that parallel into question. Attractive as it may be for a Quinian, such a view of Bolzano’s analytic can be shown as incompatible with the leading ideas of his philosophy of logic. Furthermore, there is enough evidence in other sections of the Theory of Science to show that Bolzano’s criterion of analyticity is grounded on purely semantical properties and is part of a general account of logical properties in terms of the mapping of propositions to corresponding models.