## A Logical Approach to Philosophy: Essays in Honour of Graham SolomonGraham 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 him—it 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. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

22 | |

CHOICE PRINCIPLES IN INTUITIONISTIC SET THEORY John L Bell | 36 |

ASSERTION PROOF AND THE AXIOM OF CHOICE David DeVidi | 45 |

MONTAGUES MODAL COMPLETENESS THEOREM OF 1955 B Jack Copeland | 77 |

ON THE RATIONAL RECONSTRUCTION OF OUR THEORETICAL KNOWLEDGE William Demopoulos | 84 |

DO WE HAVE THE RIGHT LIMITATIVE THEOREMS? AP Hazen | 128 |

EMPIRICAL NEGATION IN INTUITIONISTIC LOGIC Graham Solomon and David DeVidi | 151 |

NEGATIONS HOLIDAY ASPECTIVAL DIALETHEISM JC Beall | 169 |

MONISM THE ONE TRUE LOGIC Stephen Read | 193 |

210 | |

219 | |

### Other editions - View all

A Logical Approach to Philosophy: Essays in Honour of Graham Solomon David DeVidi,Tim Kenyon No preview available - 2006 |

A Logical Approach to Philosophy: Essays in Honour of Graham Solomon David DeVidi,Tim Kenyon No preview available - 2010 |

### Common terms and phrases

anti-realist argument assertion Axiom of Choice axiomatization Beall & Restall Beall and Restall Carnap Carnap–Ramsey claim classical logic constructive constructive empiricism constructivist deﬁned deﬁnition Demopoulos DeVidi dialetheism dialetheist diﬀerent diﬃculty domain double-aspect Dummett eﬀect epistemic epistemology equivalent externalist ﬁnd ﬁnite ﬁrst formal function Gödel hold iﬀ implies inﬁnite interpretation intuitionistic logic intuitionistic type theory intuitions isomorphic justiﬁed Karl knows KK-thesis knowable knowledge Kripke language logicians Martin-Löf mathematical meaning modal logic model theory Montague natural numbers negation non-dialetheic notion objects oﬀers one’s paradox philosophical predicates Priest principle problem proof Propositions as Types quantiﬁers Ramsey sentence Ramsey’s reﬂection relation relevance logic Restall’s Russell Russell’s satisﬁes semantics sense set theory Shapiro sort speciﬁc structure subsets suﬃcient Suppose Tait Tait’s Tennant theoretical theory of descriptions tion true and false truth type theory valid variables vocabulary warrant Williamson