Formal Languages in Logic: The history, purposes, and limitations of formal languages