What Logics Mean From Proof Theory to Model-Theoretic Semantics
What Logics Mean From Proof Theory to Model-Theoretic Semantics by James W. Garson, published by Cambridge University Press on November 14, 2013, is a comprehensive exploration of the relationship between logic and meaning. This 260-page book delves into the inferential behavior of logical connectives, such as ‘and’, ‘or’, ‘not’, and ‘if … then’, examining how strict rules define their truth conditions. Garson investigates various interpretations of these connectives, revealing how they can vary based on context and circumstances.
Readers will find a thorough analysis of how different systems of rules can yield familiar or novel interpretations of logical connectives, contributing to the understanding of philosophical issues like vagueness and the open future. This work is particularly relevant for graduates and specialists in fields such as philosophy, logic, and linguistics, as it provides insights into the cognitive aspects of language and reasoning. The book’s focus on the interplay between logic and meaning makes it a significant resource for those interested in the foundations of logical theory and its implications for philosophical inquiry.
Official synopsis Publisher
What do the rules of logic say about the meanings of the symbols they govern? In this book, James W. Garson examines the inferential behaviour of logical connectives (such as ‘and’, ‘or’, ‘not’ and ‘if … then’), whose behaviour is defined by strict rules, and proves definitive results concerning exactly what those rules express about connective truth conditions. He explores the ways in which, depending on circumstances, a system of rules may provide no interpretation of a connective at all, or the interpretation we ordinarily expect for it, or an unfamiliar or novel interpretation. He also shows how the novel interpretations thus generated may be used to help analyse philosophical problems such as vagueness and the open future. His book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language.
Publisher
Topics
FAQ
What is “What Logics Mean From Proof Theory to Model-Theoretic Semantics” about?
Who is the author of “What Logics Mean From Proof Theory to Model-Theoretic Semantics”?
When was “What Logics Mean From Proof Theory to Model-Theoretic Semantics” published?
What is the ISBN for “What Logics Mean From Proof Theory to Model-Theoretic Semantics”?
What are the book details (language, pages, edition)?
