This volume is a collection of papers on philosophy of mathematics which
deal with a series of questions quite different from those which occupied the
minds of the proponents of the three classic schools: logicism, formalism,
and intuitionism. The questions of the volume are not to do with
justification in the traditional sense, but with a variety of other topics. Some
are concerned with discovery and the growth of mathematics. How does the
semantics of mathematics change as the subject develops? What heuristics
are involved in mathematical discovery, and do such heuristics constitute...