The Concept of Logical Consequence