Der Begriff "Hysteron Proteron" wird durchaus auch in der Logik verwendet, meint dann aber (so wie ich verschiedene Lexika verstanden habe) etwas anderes als "Zirkelschluss", nämlich eine Beweisfolge, in der eine Voraussetzung selbst noch bewiesen werden müsste. Eine Überarbeitung ist also, da stimme ich Dir zu, in jedem Fall notwendig.