قد يعرف الدور بانه توقف الشيء على نفسه ، وقد يعرف بانه توقف الشيء على ما يتوقف عليه، ولا اشكال في ان اثبات دورية شئ يتوقف على تشكيل شبه قياس مؤلف من صغرى وكبرى، فنقول مثلا ان الالف موقوف على الباء والباء موقوف على الالف فالألف موقوف على الالف، فمن عرفه بالتعريف الاول فهو ناظر في تعريفه إلى النتيجة في المثال وتعريفه ينطبق عليها، ومن عرفه بالتعريف الثاني فنظره إلى الكبرى وتعريفه ينطبق عليها.

وعلى أي تقدير فان تم اثبات الدورية بكبرى واحدة في قياس الدليل كالمثال المذكور سمي ذلك دورا مصرحا وان احتاج إلى ضم كبرى اخرى إلى الكبرى الاولى سمي ذلك دورا مضمرا، وحينئذ فان كانت الكبرى الزائدة واحدة يسمى مضمرا بواسطة وان كانت اثنتين فمضمرا بواسطتين وهكذا فقولك الالف موقوف على الباء والباء موقوف على التاء والتاء موقوف على الالف دور مضمر بواسطة وان زدت عليه قولك والتاء موقوف على الثاء مثلا كان مضمرا بواسطتين.

تنبيه:

لا اشكال ولا خلاف في بطلان الدور وهل الوجه في ذلك كون توقف الشيء على نفسه مما يدرك العقل بطلانه بنفسه كاجتماع الضدين والنقيضين، أو الوجه فيه استلزامه تقدم الشيء على نفسه إذا الشيء لو توقف على نفسه لزم ان يوجد أو لا مقدمة لوجوده ثم يوجد ثانيا، أو استلزامه اجتماع النقيضين أي وجود الشيء وعدمه في وقت واحد فان الشيء إذا وجد اولا مقدمة لوجوده ثانيا لزم على الفرض عدم وجوده في حال وجوده اولا وجوه، وعلى الوجهين الاخيرين فالدور امر وملاك بطلانه امر آخر من تقدم الشيء على نفسه أو اجتماع النقيضين وفى بعض الموارد يوجد ملاك الدور دون نفسه فيقال ان هذا المطلب باطل لوجود ملاك الدور فيه.