Logic has a bad reputation. Complaints vary from it being too abstract to it being reductive, and famously for it being too ‘mathy’. But what is too often overlooked is the window logic provides us into the foundations of our language.