The recent workshop, “Feminist Approaches to Logic,” organized by Instituto de Investigaciones Filosóficas at the National University of Mexico, delved into incorporating formal logic into the fight for social justice. Specific talks covered topics such as stereotypical expectations, liberatory logics, feminist arithmetic, and the discoveries of Christine Ladd-Franklin in contemporary modal logic.