Mathematical Intuitionism and Intersubjectivity

A modern examination of the philosophical foundations of intuitionism. Placek examines the three most widely-known arguments for mathematical intuitionism: Brouwer's, Heyting's and Dummett's. The examination centres on the questions of the intersubjectivity of mathematics and is concerned with understanding and evaluating the arguments. The text concludes that the philosophical side of Brouwer's doctrine cannot be accused of such sins as psychologism, solipsism or the advocacy of private meaning. Similarly, examination of the Husserlian grounds of Heyting's explanation of the meaning of logical constants shows that this view of language should not be accused of violating the requirement of intersubjectivity of meaning. The approach of the work is philosophical, rather than mathematical or logico-technical.