程没有缺陷）、也可能健全（如果自身证立的前提formula_1恰好是真的），因此循环证成并非推理形式上的错误，故不归为形式谬误。然而，循环证成的情境中，formula_1通常是受质疑的，用受质疑的命题自身证明自身毫无意义、也缺乏说服力，这种情况可归为非形式谬误。有些人把情境上不恰当的循环证成称作循环证成的谬误或循环论证的谬误（fallacy of circular justification/argument/reasoning）；有些人则只把「循环证成」限定于情境上不恰当的情况。循环证成与亚里士多