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