Langauge models are biased. Can logic save them? Covered by MIT News, TechXplore, Nauka TV, and Freethink.