Chihara here develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. He utilizes this system in the analysis of the nature of mathematics, and discusses many recent works in the philosophy of mathematics from the viewpoint of the constructibility theory developed. This innovative analysis will appeal to mathematicians and philosophers of logic, mathematics, and science.
`More than half of this important book is devoted to extended, largely informal discussions of just about everybody engaged in post-Quinean philosophy of mathematics ... Especially delightful are Chihara's exchanges with all or almost all of these philosophers in the form of personal correspondence.'
Review of Metaphysics
'the book is written in a lively, engaging style and is filled with penetrating analyses and careful thought ... I recommend it to anyone with a serious interest in the philosophy of mathematics.'
Stewart Shapiro, Ohio State University, Mind, Vol. 101, No. 402, April 1992
'an important work in the philosophy of mathematics, well deserving of more careful study and analysis than there has been room for here'
John P. Burgess, Princeton University, The Philosophical Review, Vol. 101, No. 4, (October 1992)