وهما لازمان من فرض كون الامكان موجودا في الخارج فلا يكون موجودا فيه ، وذلك هو المطلوب .
وأما الامتناع : فلانه لو كان موجودا في الخارج ، لكان الممتنع موجودا في الخارج ، والثاني باطل ، فالمقدم مثله .
بيان الشرطية : ان الامتناع صفة للممتنع وعارض له ، ويستحيل وجود العرض « 1 » بدون المعروض فلو كان العارض - أعني الامتناع - موجودا لزم وجود الممتنع ، وهو محال لازم من فرض كون الامتناع موجودا في الخارج ، فلا يكون موجودا فيه وهو المطلوب .
[ الفصل الرابع : ( في أحكام الموجودات ) ]
[ البحث الأول : ] وجود جوهر الفرد وعدمه
قال : الفصل الرابع : ( في أحكام الموجودات ) وفيه مباحث : الأول :
اختلف الناس في وجود الجوهر الفرد ، فأثبته قوم ونفاه آخرون .
احتج المثبتون : بأنا إذا وضعنا كرة حقيقة على سطح حقيقي « 2 » لاقته بما لا ينقسم ، والا كانت مضلعة ، فإذا دحرجت عليه لاقته في كل آن يفرض « 3 » بنقطة ، فيكونان مركبين « 4 » من الجواهر .
واحتج النفاة : بأنا إذا وضعنا جوهرا بين جوهرين ، فان لاقاهما بالأسر « 5 » لزم التداخل ، وان كان لا بالأسر لزم الانقسام . وهاهنا حجج كثيرة من الطرفين
هامش
( 1 ) في « ن » العارض .
( 2 ) في المطبوع من المتن و « ن » : الكرة الحقيقية على السطح الحقيقي .
( 3 ) في المطبوع من المتن : نفرض .
( 4 ) في المطبوع من المتن : مركبتين .
( 5 ) في « ن » : بالاثنين .