الشّرطية:
[في الانكليزية] Conditional
[ في الفرنسية] Conditionnel
عند النحاة هي الجملة المصدّرة بآداة الشرط فنحو العدد إمّا زوج أو فرد ليس جملة شرطية عندهم، وقد سبق في لفظ الجملة. فعلى هذا الشرطية هي مجموع الشّرط والجزاء. وقد تطلق الشّرطية على جملة الجزاء وحده فإنّها يصدق عليها أنّها جملة منسوبة إلى الشّرطية، صرّح بهذا الفاضل الچلپي في حاشية المطول.
وعند المنطقيين هي القضية المركّبة من قضيتين إحداهما محكوم عليها والأخرى محكوم بها، ويجيء توضيح ذلك في لفظ القضية. فالحكم في الشّرطية عندهم في المقدّم والتالي بخلاف أهل العربية فإنّ الحكم عندهم في الجزاء فقط والشرط قيد له. فالجزاء إن كان خبرا فالجملة الشّرطية خبرية، نحو إن جئتني أكرمك. وإن كان إنشاء فالجملة [الشرطية] إنشائية، نحو:
إن جاءك زيد فأكرمه، كما في المطول. وقد سبق تحقيقه في لفظ الإسناد. ثم الشّرطية عند المنطقيين على قسمين لأنّها إن أوجبت أو سلبت حصول إحدى القضيّتين عند حصول الأخرى فمتّصلة، وإن أوجبت أو سلبت انفصال إحداهما عن الأخرى فمنفصلة. فالمتّصلة الموجبة هي التي حكم فيها باتّصال تحقّق قضية بتحقّق قضيّة أخرى. والسالبة هي التي يحكم فيها بسلب ذلك الاتصال. والمراد من الحكم بالاتّصال أن يكون مدلوله المطابقي ذلك لئلّا ينتقض تعريف كلّ من المتّصلة والمنفصلة بالأخرى، بناء على تلازم الشرطيات.
ثم المتّصلة ثلاثة أقسام، لأنّها إن اكتفى فيها بمطلق الاتصال إيجابا أو سلبا تسمّى متّصلة مطلقة. وإن قيّد الاتصال بكونه لزوميا سمّيت متصلة لزومية موجبة كانت كقولنا إن كانت الشمس طالعة فالنهار موجود أو سالبة كقولنا ليس إن كانت الشمس طالعة فالليل موجود.
وإن قيّد الاتصال بكونه اتفاقيا سمّيت متّصلة اتفاقية موجبة كانت كقولنا إن كان الإنسان ناطقا فالحمار ناهق، أو سالبة كقولنا ليس إن كان الإنسان ناطقا فالحمار ناهق.
اعلم أنّه لا بدّ في اللزومية أن يكون بين طرفيها علاقة توجب ذلك الاتّصال أو سلبه.
والمراد بالعلاقة هاهنا شيء بسببه يستصحب المقدّم التالي، سواء كان موجبة لذلك الاستصحاب أو لا. فقيد توجب ذلك احتراز عمّا لا يوجبه. والعلاقة على ثلاثة أقسام الأوّل. أن يكون المقدّم علّة للتالي كما في قولنا إن كانت الشمس طالعة فالنهار موجود.
والثاني بالعكس كما في قولنا إذا كان النهار موجودا فالشمس طالعة. والثالث أن يكون كلاهما معلولين بعلّة واحدة كما في قولنا إن كان النهار موجودا فالعالم مضيء، فإنّ وجود النهار وإضاءة العالم معلولان لطلوع الشمس.
هكذا في شروح السلم.
وأمّا الاتفاقيات فإنها وإن كانت مشتملة على علاقة باعتبار أنّ المعية في الوجود لا بدّ له من علة لأنّها أمر ممكن إلّا أنّ العلاقة فيها غير موجبة لاستصحاب التالي المقدّم، بخلاف اللزوميات حتى إذا لاحظ العقل المقدّم حكم بامتناع انفكاك التالي بداهة أو نظرا. مثلا إذا لاحظ العقل أنّ طلوع الشمس علّة لوجود النهار يحكم بامتناع انفكاك وجود النهار عند طلوع الشمس. وإذا لاحظ نهيق الحمار عند نطق الإنسان لا يحكم بامتناع الانفكاك بينهما.
وبالجملة فاللزومية ما حكم فيها بوقوع الاتصال بين الطرفين لعلاقة توجب ذلك أو بلا وقوع ذلك الاتصال. والاتفاقية ما حكم فيها بوقوع الاتصال بين الطرفين أو بلا وقوعه لا لعلاقة، أي من غير وجود علاقة تقتضي ذلك، أو من غير اعتبارها. فعلى التوجيه الأوّل لا تجتمع اللزومية والاتفاقية بخلاف التوجيه الثاني.
والمنفصلة الموجبة هي التي يحكم فيها بالتّنافي بين القضيتين، إمّا في الصدق والكذب معا أي في التحقّق والانتفاء معا وتسمّى منفصلة حقيقية كقولنا إما أن يكون هذا العدد زوجا وإمّا أن يكون فردا. وإمّا في الصدق فقط، أي من غير أن تتنافيا في الكذب بل يمكن اجتماعهما على الكذب وتسمّى مانعة الجمع كقولنا إمّا أن يكون هذا الشيء شجرا وإمّا أن يكون حجرا. وإمّا في الكذب فقط، أي من غير أن تتنافيا في الصدق وتسمّى مانعة الخلوّ كقولنا إمّا أن يكون هذا الشيء لا شجرا وإمّا أن يكون لا حجرا.
والمنفصلة السّالبة هي التي يحكم فيها بسلب ذلك التنافي إمّا فيهما معا، وتسمّى حقيقية كقولنا ليس إمّا أن يكون هذا الحيوان إنسانا وإمّا أن يكون كاتبا، أو في الصدق فقط وتسمّى مانعة الجمع كقولنا ليس إمّا أن يكون زيد إنسانا أو يكون ناطقا، أو في الكذب فقط وتسمّى مانعة الخلو كقولنا ليس إمّا أن يكون هذا إنسانا أو يكون فرسا. ثم المنفصلة مطلقا حقيقية كانت أو مانعة الجمع أو مانعة الخلو موجبة كانت أو سالبة إن حكم فيها بالتّنافي أو بسلب التّنافي مطلقا سميّت منفصلة مطلقة. وإن قيّد التنافي أو سلبه بالعناد سمّيت منفصلة عنادية. وإن قيّد بالاتفاق سمّيت منفصلة اتّفاقية.
اعلم أنّ كلّية الشّرطية أي كونها كلّية أن يكون التالي لازما في المتّصلة اللزومية ومعاندا في المنفصلة العنادية على جميع التقادير، أي الأوضاع التي لا تنافي مقدمية المقدّم أي يمكن حصول المقدّم عليها سواء كانت محالة في أنفسها كقولنا كلّما كان الفرس إنسانا كان حيوانا، فإنّ معناه أنّ لزوم حيوانية الفرس ثابت للإنسانية على جميع الأوضاع التي يمكن اجتماعها مع إنسانية الفرس من كونه ضاحكا أو كاتبا أو ناطقا، إلى غير ذلك؛ وهي محالة في أنفسها أو لم تكن محالة كقولنا كلّما كان زيد إنسانا كان حيوانا، فمعناه أنّ لزوم حيوانية زيد للإنسانية ثابت مع كل وضع يمكن أي يجامع إنسانية زيد من كونه قائما أو قاعدا أو كاتبا إلى غير ذلك، وهي ممكنة في أنفسها. وجزئية الشّرطية أن يكون التالي لازما أو معاندا للمقدّم على وضع معيّن، وإهمالها بإهمال الأوضاع، والأمثلة غير خافية.
وبالجملة فالحكم في الشرطية إن كان على تقدير معيّن فالشّرطية مخصوصة وشخصيّة، وإلّا فإن بيّن كمية الحكم بأنّه على جميع التقادير أو بعضها فمحصورة كلّية أو جزئية، وإلّا فمهملة، والطبيعية هاهنا غير معقولة.
[في الانكليزية] Conditional
[ في الفرنسية] Conditionnel
عند النحاة هي الجملة المصدّرة بآداة الشرط فنحو العدد إمّا زوج أو فرد ليس جملة شرطية عندهم، وقد سبق في لفظ الجملة. فعلى هذا الشرطية هي مجموع الشّرط والجزاء. وقد تطلق الشّرطية على جملة الجزاء وحده فإنّها يصدق عليها أنّها جملة منسوبة إلى الشّرطية، صرّح بهذا الفاضل الچلپي في حاشية المطول.
وعند المنطقيين هي القضية المركّبة من قضيتين إحداهما محكوم عليها والأخرى محكوم بها، ويجيء توضيح ذلك في لفظ القضية. فالحكم في الشّرطية عندهم في المقدّم والتالي بخلاف أهل العربية فإنّ الحكم عندهم في الجزاء فقط والشرط قيد له. فالجزاء إن كان خبرا فالجملة الشّرطية خبرية، نحو إن جئتني أكرمك. وإن كان إنشاء فالجملة [الشرطية] إنشائية، نحو:
إن جاءك زيد فأكرمه، كما في المطول. وقد سبق تحقيقه في لفظ الإسناد. ثم الشّرطية عند المنطقيين على قسمين لأنّها إن أوجبت أو سلبت حصول إحدى القضيّتين عند حصول الأخرى فمتّصلة، وإن أوجبت أو سلبت انفصال إحداهما عن الأخرى فمنفصلة. فالمتّصلة الموجبة هي التي حكم فيها باتّصال تحقّق قضية بتحقّق قضيّة أخرى. والسالبة هي التي يحكم فيها بسلب ذلك الاتصال. والمراد من الحكم بالاتّصال أن يكون مدلوله المطابقي ذلك لئلّا ينتقض تعريف كلّ من المتّصلة والمنفصلة بالأخرى، بناء على تلازم الشرطيات.
ثم المتّصلة ثلاثة أقسام، لأنّها إن اكتفى فيها بمطلق الاتصال إيجابا أو سلبا تسمّى متّصلة مطلقة. وإن قيّد الاتصال بكونه لزوميا سمّيت متصلة لزومية موجبة كانت كقولنا إن كانت الشمس طالعة فالنهار موجود أو سالبة كقولنا ليس إن كانت الشمس طالعة فالليل موجود.
وإن قيّد الاتصال بكونه اتفاقيا سمّيت متّصلة اتفاقية موجبة كانت كقولنا إن كان الإنسان ناطقا فالحمار ناهق، أو سالبة كقولنا ليس إن كان الإنسان ناطقا فالحمار ناهق.
اعلم أنّه لا بدّ في اللزومية أن يكون بين طرفيها علاقة توجب ذلك الاتّصال أو سلبه.
والمراد بالعلاقة هاهنا شيء بسببه يستصحب المقدّم التالي، سواء كان موجبة لذلك الاستصحاب أو لا. فقيد توجب ذلك احتراز عمّا لا يوجبه. والعلاقة على ثلاثة أقسام الأوّل. أن يكون المقدّم علّة للتالي كما في قولنا إن كانت الشمس طالعة فالنهار موجود.
والثاني بالعكس كما في قولنا إذا كان النهار موجودا فالشمس طالعة. والثالث أن يكون كلاهما معلولين بعلّة واحدة كما في قولنا إن كان النهار موجودا فالعالم مضيء، فإنّ وجود النهار وإضاءة العالم معلولان لطلوع الشمس.
هكذا في شروح السلم.
وأمّا الاتفاقيات فإنها وإن كانت مشتملة على علاقة باعتبار أنّ المعية في الوجود لا بدّ له من علة لأنّها أمر ممكن إلّا أنّ العلاقة فيها غير موجبة لاستصحاب التالي المقدّم، بخلاف اللزوميات حتى إذا لاحظ العقل المقدّم حكم بامتناع انفكاك التالي بداهة أو نظرا. مثلا إذا لاحظ العقل أنّ طلوع الشمس علّة لوجود النهار يحكم بامتناع انفكاك وجود النهار عند طلوع الشمس. وإذا لاحظ نهيق الحمار عند نطق الإنسان لا يحكم بامتناع الانفكاك بينهما.
وبالجملة فاللزومية ما حكم فيها بوقوع الاتصال بين الطرفين لعلاقة توجب ذلك أو بلا وقوع ذلك الاتصال. والاتفاقية ما حكم فيها بوقوع الاتصال بين الطرفين أو بلا وقوعه لا لعلاقة، أي من غير وجود علاقة تقتضي ذلك، أو من غير اعتبارها. فعلى التوجيه الأوّل لا تجتمع اللزومية والاتفاقية بخلاف التوجيه الثاني.
والمنفصلة الموجبة هي التي يحكم فيها بالتّنافي بين القضيتين، إمّا في الصدق والكذب معا أي في التحقّق والانتفاء معا وتسمّى منفصلة حقيقية كقولنا إما أن يكون هذا العدد زوجا وإمّا أن يكون فردا. وإمّا في الصدق فقط، أي من غير أن تتنافيا في الكذب بل يمكن اجتماعهما على الكذب وتسمّى مانعة الجمع كقولنا إمّا أن يكون هذا الشيء شجرا وإمّا أن يكون حجرا. وإمّا في الكذب فقط، أي من غير أن تتنافيا في الصدق وتسمّى مانعة الخلوّ كقولنا إمّا أن يكون هذا الشيء لا شجرا وإمّا أن يكون لا حجرا.
والمنفصلة السّالبة هي التي يحكم فيها بسلب ذلك التنافي إمّا فيهما معا، وتسمّى حقيقية كقولنا ليس إمّا أن يكون هذا الحيوان إنسانا وإمّا أن يكون كاتبا، أو في الصدق فقط وتسمّى مانعة الجمع كقولنا ليس إمّا أن يكون زيد إنسانا أو يكون ناطقا، أو في الكذب فقط وتسمّى مانعة الخلو كقولنا ليس إمّا أن يكون هذا إنسانا أو يكون فرسا. ثم المنفصلة مطلقا حقيقية كانت أو مانعة الجمع أو مانعة الخلو موجبة كانت أو سالبة إن حكم فيها بالتّنافي أو بسلب التّنافي مطلقا سميّت منفصلة مطلقة. وإن قيّد التنافي أو سلبه بالعناد سمّيت منفصلة عنادية. وإن قيّد بالاتفاق سمّيت منفصلة اتّفاقية.
اعلم أنّ كلّية الشّرطية أي كونها كلّية أن يكون التالي لازما في المتّصلة اللزومية ومعاندا في المنفصلة العنادية على جميع التقادير، أي الأوضاع التي لا تنافي مقدمية المقدّم أي يمكن حصول المقدّم عليها سواء كانت محالة في أنفسها كقولنا كلّما كان الفرس إنسانا كان حيوانا، فإنّ معناه أنّ لزوم حيوانية الفرس ثابت للإنسانية على جميع الأوضاع التي يمكن اجتماعها مع إنسانية الفرس من كونه ضاحكا أو كاتبا أو ناطقا، إلى غير ذلك؛ وهي محالة في أنفسها أو لم تكن محالة كقولنا كلّما كان زيد إنسانا كان حيوانا، فمعناه أنّ لزوم حيوانية زيد للإنسانية ثابت مع كل وضع يمكن أي يجامع إنسانية زيد من كونه قائما أو قاعدا أو كاتبا إلى غير ذلك، وهي ممكنة في أنفسها. وجزئية الشّرطية أن يكون التالي لازما أو معاندا للمقدّم على وضع معيّن، وإهمالها بإهمال الأوضاع، والأمثلة غير خافية.
وبالجملة فالحكم في الشرطية إن كان على تقدير معيّن فالشّرطية مخصوصة وشخصيّة، وإلّا فإن بيّن كمية الحكم بأنّه على جميع التقادير أو بعضها فمحصورة كلّية أو جزئية، وإلّا فمهملة، والطبيعية هاهنا غير معقولة.
