Carnap and later Fine distinguish logical entailment from mere truth-functional consequence, requiri...