الرسالة الثالثة عشرة من القسم الرياضي في معنى انولوطيقا
فصل في انولوطيقا الأولى
اعلم يا أخي بأن كل قضيتين إذا قرنتا ووجب عنهما حكم آخر ، سميت القضيتان مقدّمتين ، وسمّي ذلك الحكم نتيجتهما ، مثال ذلك : إذا قيل كلّ إنسان حيوان ، وكلّ حيوان نام ، فينتج من هاتين أن كل إنسان نام .
واعلم بأن المقدّمتين لا تقترنان إلا أن تشتركا في كل حدّ واحد ، وتتباينان بحدّين آخرين ، وذلك الحدّ لا يخلو من أن يكون موضوعا في إحداهما ، ومحمولا في الأخرى ، أو يكون محمولا في كلتيهما ، أو يكون موضوعا فيهما جميعا . فإن كان موضوعا في إحداهما ، محمولا في الأخرى ، يسمّى ذلك الشكل الأول ، وهو مثل قولك : كل انسان حيوان ، وكل حيوان متحرّك ، فالحيوان هو الحدّ المشترك في المقدّمتين جميعا ، محمولا في الأولى ، موضوعا في الأخرى . وإن كان محمولا فيهما جميعا سمّي ذلك الشّكل الثاني ، وهو قولك : كلّ إنسان حيوان وكلّ طير حيوان ، فالحدّ المشترك الذي هو الحيوان محمول فيهما جميعا . وإن كان موضوعا فيهما سمّي ذلك