Formal Fallacy Types