CIRCLE, in logic, or logical CIRCLE, is when the same terms are proved in orbem by the same terms; and the parts of the syllogism alternately by each other, both directly and indirectly.