Consequences, Theory of

The theory of consequence is a branch of logic that studies dependence relations between propositions as a separate subject. Thus it is, in a way, more general than syllogistics. It rests on old foundations, but as a distinct field it was born around 1300