Formalized method of debate designed to uncover and establish truths in theology and in sciences