An introductory textbook, Logic For Justice covers, in full detail, the language and semantics of both propositional logic and first-order logic. Furthermore, it motivates the study of those logical systems by drawing on social and political issues.