Available for the first time in 20 years, here are two important works from the 1920s by the best-known representative of the Vienna Circle.

This paper develops some respects in which the philosophy of mathematics can fruitfully be informed by mathematical practice, through examining Frege's Grundlagen in its historical setting. The first sections of the paper are devoted to elaborating some aspects of nineteenth century mathematics which informed Frege's early work. (These events are of considerable philosophical significance even apart from the connection with Frege.) In the middle sections, some minor themes of Grundlagen are developed: the relationship Frege envisions between arithmetic and geometry and (...) the way in which the study of reasoning is to illuminate this. In the final section, it is argued that the sorts of issues Frege attempted to address concerning the character of mathematical reasoning are still in need of a satisfying answer. (shrink)

I investigate the role of geometric intuition in Frege’s early mathematical works and the significance of his view of the role of intuition in geometry to properly understanding the aims of his logicist project. I critically evaluate the interpretations of Mark Wilson, Jamie Tappenden, and Michael Dummett. The final analysis that I provide clarifies the relationship of Frege’s restricted logicist project to dominant trends in German mathematical research, in particular to Weierstrassian arithmetization and to the Riemannian conceptual/geometrical tradition at Göttingen. (...) Concurring with Tappenden, I hold that Frege’s logicism should not be understood as a continuing a project of reductionist arithmetization. However, Frege does not quite take up the Riemannian banner either. His logicism supports a hierarchical understanding of the structure of mathematical knowledge, according to which arithmetic is applicable to geometry but not vice versa because the former is more general, as revealed by the strictly logical nature of its objects in comparison to the intuitional nature of geometric objects. I suggest, in particular, that Frege intended that foundational work would show the use of geometric intuition in complex analysis, a source of error for Riemann that Weierstrass was proud to have uncovered, to be inessential. (shrink)

This major publication is a history of the semantic tradition in philosophy from the early nineteenth century through its incarnation in the work of the Vienna Circle, the group of logical positivists that emerged in the years 1925–1935 in Vienna who were characterised by a strong commitment to empiricism, a high regard for science, and a conviction that modern logic is the primary tool of analytic philosophy. In the first part of the book, Alberto Coffa traces the roots of logical (...) positivism in a semantic tradition that arose in opposition to Kant's theory that a priori knowledge is based on pure intuition and the constitutive powers of the mind. In Part II, Coffa chronicles the development of this tradition by members and associates of the Vienna Circle. Much of Coffa's analysis draws on the unpublished notes and correspondence of many philosophers. The book, however, is not merely a history of the semantic tradition from Kant 'to the Vienna Station'. Coffa also critically reassesses the role of semantic notions in understanding the ground of a priori knowledge and its relation to empirical knowledge and questions the turn the tradition has taken since Vienna. (shrink)

The logical positivists adopted Poincare's doctrine of the conventionality of geometry and made it a key part of their philosophical interpretation of relativity theory. I argue, however, that the positivists deeply misunderstood Poincare's doctrine. For Poincare's own conception was based on the group-theoretical picture of geometry expressed in the Helmholtz-Lie solution of the space problem, and also on a hierarchical picture of the sciences according to which geometry must be presupposed be any properly physical theory. But both of this pictures (...) are entirely incompatible with the radically new conception of space and geometry articulated in the general theory of relativity. The logical positivists's attempt to combine Poincare's conventionalism with Einstein's new theory was therefore, in the end, simply incoherent. Underlying this problem, moreover, was a fundamental philosophical difference between Poincare's and the positivists concerning the status of synthetic a priori truths. (shrink)

The main goal of part 1 is to challenge the widely held view that Poincaré orders the sciences in a hierarchy of dependence, such that all others presuppose arithmetic. Commentators have suggested that the intuition that grounds the use of induction in arithmetic also underlies the conception of a continuum, that the consistency of geometrical axioms must be proved through arithmetical induction, and that arithmetical induction licenses the supposition that certain operations form a group. I criticize each of these readings. (...) More fully, I argue that the justification Poincaré offers for the use of the group notion in geometry appears to extend to set-theoretic notions that would suffice to put arithmetic on a logical foundation, thus undermining his own case for the necessity of intuition in arithmetic. In part 2, I offer an interpretation of intuition’s role on which it justifies the use of group-theoretic, but not set-theoretic, notions. (shrink)