الالفاظ المستعملة في المنطق — صفحة 54

أن يجتمع فيه أمران ، أحدهما أن يكون [ قد ] علم وجوده من قبل والثاني أن يكون مركّبا . وكذلك قولنا ما هو ينبغي أن يقرن بالشيء الذي يجتمع فيه أمران ، أحدهما أن يكون قد علم وجوده والآخر أن يكون ذلك « 1 » الشيء مفردا - أعني أن « 2 » يدلّ عليه لفظ مفرد أو ما سبيله سبيل لفظ مفرد . وهذان الحرفان - أعني ما هو / ولم هو - يتشابهان في أنّ الشيء الذي يقرنان به « 3 » ينبغي أن يكون [ معلوم الوجود ومختلفان في أنّ الشيء الذي يقرن به ما هو ينبغي أن يكون ] مفردا والشيء الذي يقرن به حرف لم ينبغي أن يكون مركّبا . ( 8 ) والروابط هي « 4 » أيضا أصناف . ( 8 / 1 ) منها الحرف الذي يقرن بألفاظ كثيرة فيدلّ على أنّ معاني تلك الألفاظ قد حكم على كلّ واحد منها بشيء يخصّه ، مثل قولنا إمّا مكسورة الألف مشدّدة الميم . ( 8 / 2 ) ومنها ما يقرن بالشيء الذي لم يوثق بعد بوجوده فيدلّ على أنّ شيئا ما تاليا [ له ] يلزمه « 5 » ، مثل قولنا إن كان وكلّما كان ومتى كان وإذا كان وما أشبه ذلك . وهذه الرباطات تضمّن الثاني « 6 » بالأوّل متى وجد « 7 » الأوّل ، فيسمّى لذلك « 8 » الرباط المضمّن ، من قبل أنّه يدلّ على أنّ الأوّل [ قد تضمّن ] « 9 » لحاق « 10 » الثاني به ، مثل قولنا إن دخل زيد خرج عمرو ، ومثل « 11 » إن كانت الشمس طالعة فالنهار موجود « 12 » ، فإنّ طلوع الشمس قد تضمّن لحوق « 13 » وجود النهار « 14 » . غير أنّ طلوع الشمس لم يوثق بعد بكونه . فلذلك « 15 » تسمّى هذه الحروف المضمّنات بشريطة ، وربما سمّيت شرائط « 16 » . ( 8 / 3 ) ومن الحروف المضمّنة ما إنّما يقرن أبدا بالشيء الذي قد وثق بوجوده أو بصحّته فيدلّ على أنّ