Beschreibung:
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.
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