Ein Zirkelschluss, Zirkelbeweis, logischer Zirkel, Kreisschluss, Diallele oder auch Hysteron-Proteron, 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 oder Teufelskreis bezeichnet und sollte zudem nicht mit dem Pleonasmus, einer Kombination gleichbedeutender Wörter, verwechselt werden.
| Wort | Synonyme |
| Zirkelbeweis | Circulus vitiosus |
| Zirkelbeweis | Teufelskreis |
| Zirkelbeweis | Hysteron-Proteron |
| Zirkelbeweis | Diallele |
| Zirkelbeweis | logischer Zirkel |
| Zirkelbeweis | Zirkel |
| Zirkelbeweis | Kreisschluss |
| Zirkelbeweis | Zirkelschluss |