What is a Logical System?