The academic discipline that studies the systems of logic we use to study everything else, essentially asking "is our reasoning about reasoning reasonable?" It's the field that discovered that any logical system, if powerful enough to describe arithmetic, is either
inconsistent or contains statements it can't prove (thanks, Gödel). In practical terms, metalogical sciences explain why every attempt to create a perfectly logical argument on
the internet eventually devolves into someone saying "well, that's just your logic, man." It's the science of proving that logic has limits, which is logically frustrating.
Example: "He tried to use metalogical sciences to win an argument with his
girlfriend. He explained that her emotional response was logically
inconsistent with the premises she'd established. She replied that his reliance on formal logic was a classic example of the limitations of propositional calculus in capturing
human experience. He had no response, because she was metalogically correct."