An introductory textbook, Logic for Justice covers, in full detail, the language and semantics of both propositional logic and first-order logic. It motivates the study of those logical systems by drawing on social and political issues. Basically, Logic for Justice frames propositional logic and first-order logic as two theories of the distinction between good arguments and bad arguments. And the book explains why, for the purposes of social justice and political reform, we need theories of that distinction.
In addition, Logic for Justice is extremely lucid, thorough, and clear. It explains, and motivates, many different features of the formalism of propositional logic and first-order logic, always connecting those features back to real-world issues.
Key Features

• Connects the study of logic to real-world social and political issues, drawing in students who might not otherwise be attracted to the subject.
• Offers extremely clear and thorough presentations of technical material, allowing students to learn directly from the book without having to rely on instructor explanations.
• Carefully explains the value of arguing well throughout one’s life, with several discussions about how to argue and how arguments – when done with care – can be helpful personally.
• Includes examples that appear throughout the entire book, allowing students to see how the ideas presented in the book build on each other.
• Provides a large and diverse set of problems for each chapter.
• Teaches logic by connecting formal languages to natural languages with which students are already familiar, making it much easier for students to learn how logic works.