Pyöreä päättely ( lat. circulus in probando ), ympyrätodistus, ympyräpäättely, ympyrälogiikka, noidankehä todistuksessa - looginen virhe , jossa päättely alkaa siitä, minkä on tarkoitus päättyä [1] . Päättelyn perustelut erikseen ovat loogisesti oikein: jos lähtöoletukset pitävät paikkansa, niin koko päättelyketju on totta. Ympyräpäättelyä voi olla vaikea havaita, jos silmukassa on monia argumentteja.
Tieteessä termi "ympyräpäättely" tarkoittaa, että ensin kirjoittaja esittää hypoteesin ja sitten samaa vahvistamatonta hypoteesia käytetään todisteena.
Pyöreän päättelyn logiikan virhe on se, että todistettavaa väitettä käytetään osana sen omaa todistusta ja sen oletetaan olevan totta, kun taas alkuperäisten premissien oikeellisuus on todistettava ennen kuin niistä tehdään lisäjohtopäätöksiä. [2]
Länsimaisessa filosofiassa ympyräpäättelyn käsite syntyi skeptikko Agrippan (noin 1. vuosisadalla jKr.) kanssa, joka viiden hänelle kuuluvan myöhäisen trooppisen joukossa toteaa: "Kaikki todisteet vaativat todistamista, mihin se perustuu, ja niin edelleen loputtomiin. .”