Formally defined "arguments" can be made independently of natural language arguments, as in math, logic, and computer science.