A Logical Approach to Philosophy: Essays in Honour of Graham Solomon [Paperback]

Graham Solomon, to whom this collection is dedicated, went into hospital for antibiotic treatment of pneumonia in Oc- ber, 2001. Three days later, on Nov. 1, he died of a massive stroke, at the age of 44. Solomon was well liked by those who got the chance to know himit was a revelation to ?nd out, when helping to sort out his a?airs after his death, how many friends he had whom he had actually never met, as his email included correspondence with philosophers around the world running sometimes to hundreds of messages. He was well respected in the philosophical community more broadly. He was for several years a member of the editorial board for the Western Ontario Series in Philosophy of Science. While he was employed at Wilfrid Laurier University in Waterloo, Ontario, several of us at the University of Wat- loo always regarded our own department as a sort of second academic home for him. We therefore decided that it would be appropriate to hold a memorial conference in his honour. Thanks to the generous ?nancial support of the Humphrey Conference Fund, we were able to do so in May 2003. Many of the papers in this volume were presented at that conf- ence.Externalism, Anti-Realism, and the KK-Thesis.- Choice Principles in Intuitionistic Set Theory.- Assertion, Proof, and the Axiom of Choice.- Montagues Modal Completeness Theorem of 1955.- On the Rational Reconstruction of Our Theoretical Knowledge.- Do We have the Right Limitative Theorems?.- Empirical Negation in Intuitionistic Logic.- Negations Holiday: Aspectival Dialetheism.- Monism: The One True Logic.

The papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic makes to philosophical progress, both by the application of formal methods to traditional philosophical problems and by opening up new avenues of inquiry as philosophers sort out the implications of new and often surprising technical results. Contributions includl³)