What Logics Mean - From Proof Theory to Model-Theoretic Semantics

Informationen zum Autor James W. Garson is Professor of Philosophy at the University of Houston. He is the author of Modal Logic for Philosophers, 2nd edition (Cambridge University Press, 2013). Klappentext This book explains how the meanings of the symbols of logic are determined by the rules that govern them. Zusammenfassung Garson explores meta-questions about what logic does or should do! examining parts of language! especially connectives such as 'and' or 'if'. The book will be valuable for graduates and specialists in logic! philosophy of logic! and philosophy of language. Inhaltsverzeichnis Preface; 1. Introduction to model-theoretic inferentialism; 2. Deductive expression; 3. Local expression; 4. Global expression; 5. Intuitionistic semantics; 6. Conditionals; 7. Disjunction; 8. Negation; 9. Supervaluations and natural semantics; 10. Natural semantics for an open future; 11. The expressive power of sequent calculi; 12. Soundness and completeness for natural semantics; 13. Connections with proof-theoretic semantics; 14. Quantifiers; 15. Natural semantics and vagueness; 16. Modal logic; Summary.

Product details

• Authors: James Garson, James W. Garson, James W. (University of Houston) Garson
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 14.11.2013
• EAN: 9781107039100
• ISBN: 978-1-107-03910-0
• No. of pages: 302
• Subjects: Humanities, art, music > Philosophy > General, dictionaries; Non-fiction book > Philosophy, religion > Philosophy: general, reference works; Philosophy of Language, Linguistics, PHILOSOPHY / Logic, Philosophy: logic, Cognitivism, cognitive theory