How Logic Works

Regular price €55.99
Quantity:
In stock with our UK publisher. 14-28 days
Delivery/Collection within 10-20 working days
14 days return policy Shipping & Delivery
A01=Hans Halvorson
Age Group_Uncategorized
Age Group_Uncategorized
Atomic sentence
Author_Hans Halvorson
automatic-update
Axiom
Category1=Non-Fiction
Category=HPL
Category=QDTL
Classical logic
Conjunction elimination
Conjunction introduction
Consistency
Contradiction
COP=United States
Counterexample
Decidability (logic)
Delivery_Delivery within 10-20 working days
Diagram (category theory)
Direct proof
Disjunction elimination
Disjunction introduction
Disjunctive normal form
Disjunctive syllogism
Double negation
Entscheidungsproblem
eq_isMigrated=2
eq_nobargain
Existential quantification
First-order logic
Formal proof
Godel's incompleteness theorems
Inference
Infimum and supremum
Intuitionistic logic
Language_English
Logic
Logical conjunction
Logical connective
Logical disjunction
Logical reasoning
Material implication (rule of inference)
Mathematical induction
Mathematical logic
Mathematician
Mathematics
Modal logic
Modus tollens
Natural language
Natural number
Negation
PA=Available
Paradoxes of material implication
Parse tree
Philosophy of mathematics
Phrase
Predicate (mathematical logic)
Predicate logic
Price_€20 to €50
Prime number
Propositional calculus
PS=Active
Quantifier (logic)
Real number
Recursively enumerable set
Reductio ad absurdum
Rule of inference
Sequent
Sequent calculus
Set (mathematics)
Set theory
softlaunch
Soundness
Special case
Subset
Substructural logic
Tautology (logic)
The Philosopher
Theorem
Theory
Truth function
Truth table
Truth value
Validity
Variable (mathematics)
Zermelo-Fraenkel set theory

Product details

  • ISBN 9780691182223
  • Weight: 431g
  • Dimensions: 140 x 216mm
  • Publication Date: 01 Sep 2020
  • Publisher: Princeton University Press
  • Publication City/Country: US
  • Product Form: Hardback
  • Language: English
Secure checkout Fast Shipping Easy returns

A concise introduction to logic that teaches you not only how reasoning works, but why it works

How Logic Works is an introductory logic textbook that is different by design. Rather than teaching elementary symbolic logic as an abstract or rote mathematical exercise divorced from ordinary thinking, Hans Halvorson presents it as the skill of clear and rigorous reasoning, which is essential in all fields and walks of life, from the sciences to the humanities—anywhere that making good arguments, and spotting bad ones, is critical to success.

Instead of teaching how to apply algorithms using “truth trees,” as in the vast majority of logic textbooks, How Logic Works builds on and reinforces the innate human skills of making and evaluating arguments. It does this by introducing the methods of natural deduction, an approach that teaches students not only how to carry out a proof and solve a problem but also what the principles of valid reasoning are and how they can be applied to any subject. The book also allows students to transition smoothly to more advanced topics in logic by teaching them general techniques that apply to more complicated scenarios, such as how to formulate theories about specific subject matter.

How Logic Works shows that formal logic—far from being only for mathematicians or a diversion from the really deep questions of philosophy and human life—is the best account we have of what it means to be rational. By teaching logic in a way that makes students aware of how they already use it, the book will help them to become even better thinkers.

  • Offers a concise, readable, and user-friendly introduction to elementary symbolic logic that primarily uses natural deduction rather than algorithmic “truth trees”
  • Draws on more than two decades’ experience teaching introductory logic to undergraduates
  • Provides a stepping stone to more advanced topics
Hans Halvorson is Stuart Professor of Philosophy at Princeton University. His previous books include The Logic in Philosophy of Science.

More from this author