Al he's really describing is a formal system (S) exactly like an ordinary proof system (G), but the underlying semantics represent "convincing"/"unconvincing" rather than "true" / "false". Basically, a normal proof system but with some fallacies allowed.