“Carnap: In the 1930s he developed a pragmatic theory in which many traditional

—“Carnap: In the 1930s he developed a pragmatic theory in which many traditional philosophical disputes are viewed as the expression of different linguistic frameworks, not genuine disagreements. This distinction between a language (framework) and what can be said within it was central to Carnap’s philosophy, reconciling the apparently a priori domains such as logic and mathematics with a thoroughgoing empiricism: basic logical and mathematical commitments partially constitute the choice of language. There is no uniquely correct choice among alternative logics or foundations for mathematics; it is a question of practical expedience, not truth. “—