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