Stav dette: The concept of logical consequence