Ein Zirkelschluss, Zirkelbeweis, logischer Zirkel, Diallele oder hysteron proteron (altgriechisch, wörtlich das Spätere vor dem Früheren), ist ein Beweisfehler, bei dem die Voraussetzungen das zu Beweisende schon enthalten. Es wird also behauptet, eine Aussage durch Deduktion zu beweisen, indem die Aussage selbst als Voraussetzung verwendet wird. Er wird auch als circulus vitiosus bezeichnet und sollte nicht mit dem Pleonasmus, einer Kombination gleichbedeutender Wörter, verwechselt werden.