§ 50. Мы рассмотрели группу ошибок заведомо ложного основания и группу ошибок сомнительного (недоказанного) основания с их главными разновидностями.

Третья группа ошибок в основании состоит в том, что в качестве основания используется положение, которое хотя и было ранее доказано, однако было доказано при помощи того же самого основания. В этом случае положение X доказывается при помощи Y, которое в свою очередь было ранее доказано при помощи положения X. Ошибка эта называется «кругом в доказательстве», по-латыни «circulus in demonstrando».

Круг в доказательстве сразу бросается в глаза, если рассуждение коротко. Но в доказательствах, состоящих из длинных цепей умозаключений, «круг» может легко остаться незамеченным.

Даже самые глубокомысленные философы не замечали иногда ошибки «круга», если доказательство, в котором имелась эта ошибка, было достаточно длинно и если положение, которое обосновывалось этим доказательством, принадлежало к числу тех, доказательство которых считалось особенно важным и желательным.