Timothy Smiley has made ground-breaking contributions to modal logic, free logic, multiple-conclusion logic, and plural logic; he has illuminated Aristotle's syllogistic, the ideas of logical form and consequence, and the distinction between assertion and rejection; and his debunking work on the theory of descriptions is a tour de force. In this volume, an international roster of contributors discuss Smiley's work to date; their essays will be of significant interest to those working across the logical spectrum—in philosophy of language, philosophical logic and mathematical logic.