تعالى أحكاما واقعية من حيث الأساس ولكنها مقيّدة بعدم قيام الحجة من إمارة أو أصل على خلافها فان قامت الحجة على خلافها تبدلت واستقر ما قامت عليه الحجة .
وقد عبّر بعض الأصوليين عن الأول بالتصويب الأشعري وعن القسم الثاني بالتصويب المعتزلي .
التعادل :
تكافؤ الدليلين المتعارضين في كل شيء يقتضي ترجيح أحدهما على الآخر .
التعارض :
عبارة عن التنافي بين مدلولي الدليلين على نحو يعلم بأن المدلولين لا يمكن ان يكونا ثابتين في الواقع معا . أي ان التنافي حاصل من أجل التضاد بين الجعلين المفادين بهما .
التعارض غير المستقر :
هو التعارض بين دليلين يمكن الجمع بينهما عرفا بتأويل أحدهما وفق ظهور الآخر وذلك فيما إذا كان أحد الدليلين المتعارضين قرينة عرفا لتفسير مقصود الشارع من الدليل الآخر .
( الشهيد الصدر )
التعارض المستقر :
هو التعارض بين دليلين لا يوجد بينهما جمع عرفي ، وذلك فيما إذا لم يكن أحد الدليلين المتعارضين قرينة عرفية على تفسير مقصود الشارع من الدليل الآخر .
( الشهيد الصدر )