LOGICS

Logic is a one-word description of the multitude of systems this book employs to teach the application of logic - from classical propositional and predicate logics to such alternatives as higher-order, modal, deontic, and non-classical logics. In presenting the formal and philosophical aspects of these various logics, this book provides you with a solid education in the considerations in logic. Moving from the basics of formal logic to more advanced topics, Logics uses concrete problems to introduce each system and proceeds to an account of the system's semantics. The book's detailed, carefully paced exposition guides you step-by-step through the complex structure of syntax, semantics, and metatheory, ultimately, allowing you to better understand logic and its applications.