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 has worked to debunk the theory of descriptions. This volume brings together new articles by an international roster of leading logicians and philosophers in order to honour Smiley’s work. Their essays will be of significant interest to those working across the logical spectrum—in philosophy of language, philosophical and mathematical logic, and philosophy of mathematics.
Preface Acknowledgments 1. Philosophy in and out of the armchair, Kwame Anthony Appiah 2. Restricted quantifiers and logical theory, Thomas Baldwin 3. Logical form, James Cargile 4. The Socratic elenchus: no problem, James Doyle 5. What makes mathematics mathematics?, Ian Hacking 6. Smiley’s distinction between rules of inference and rules of proof, Lloyd Humberstone 7. Relative validity and vagueness, Rosanna Keefe 8. The force of irony, Jonathan Lear 9. The matter of form: logic’s beginnings, Alex Oliver 10. Abstractionist class theory: is there any such thing?, Michael Potter 11. A case of mistaken identity?, Graham Priest 12. Inferential semantics for first-order logic: motivating rules of inference from rules of evaluation, Neil Tennant List of contributors Bibliography of works by Timothy Smile Index