Logic for Justice is an introductory logic textbook. It covers, in full detail, the language and semantics of both propositional logic and first-order logic. It emphasizes the relationship between formal languages and natural languages. And it motivates the study of 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.