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

147