One of the controversial philosophical issues of recent years has been the question of the nature of logical and mathematical entities. Platonist or linguistic modes of explanation have become fashionable, whilst abstrac tionist and constructionist theories have ceased to be so.…
In contributing a foreword to this book I am complying with a wish my husband expressed a few days before his death. He had completed the manuscript of this work, which may be considered a companion volume to his book Formal Methods. The task of seeing it through the press was u…
