The papers collected in this volume were written over a period of some eight or nine years, with some still earlier material incorporated in one of them. Publis

John Burgess is the author of a rich and creative body of work which seeks to defend classical logic and mathematics through counter-criticism of their nominali

The leisure to do the thinking whose results are gathered here has largely been provided by the Academy of Finland, whose support has also made possible the hel

somewhat like Henkin's nonstandard interpretation of higher-order logics, while the right semantics [or logical modalities is an analogue to the standard of typ