John Burgess

Foundational work in mathematics by some of the other participants in the symposium helps towards answering the question whether a heterodox mathematics could in principle be used as successfully as is orthodox mathematics in scientific applications. This question is turn, it will be argued, is relevant to the question how far current science is the way it is because the world is the way it is, and how far because we are the way we are, which is a central question, if not the central question, of philosophy of science.

Today there appears to be a widespread impression that W. V. Quine's notorious critique of modal logic, based on certain ideas about reference, has been successfully answered. As one writer put it some years ago: “His objections have been dead for a while, even though they have not yet been completely buried.” What is supposed to have killed off the critique? Some would cite the development of a new ‘possible-worlds’ model theory for modal logics in the 1960s; others, the development of new ‘direct’ theories of reference for names in the 1970s.These developments do suggest that Quine's unfriendliness towards any formal logics but the classical and indifference towards theories of reference for any singular terms but variables were unfortunate.