موسوعة مصطلحات علم المنطق عند العرب - فريد جبر؛ سميح دغيم؛ رفيق العجم؛ جيرار جهامى - الصفحة ٤٣١ - أ
الكبرى فهو الشكل الأول، و إن كان تاليا فيهما فهو الشكل الثاني، و إن كان مقدّما فيهما فهو الشكل الثالث، و إن كان مقدّما في الصغرى تاليا في الكبرى فهو الشكل الرابع. و شرائط الإنتاج و عدد الضروب من الأشكال و النتيجة في الكمية و الكيفية في كل شكل كما في الحمليات من غير فرق (ن، ش، ٢٨، ٢٠)- الشرطيات فهي كالحمليات تكون مخصوصة و هي أن تخصّ فيها اللزوم أو العناد بحالة معينة أو زمن معيّن، كقولنا إن جئتني اليوم ماشيا أو راكبا أكرمتك، كقولنا إما أن تكون إذا كنت حيا عالما أو جاهلا و غير مخصوصة و هي ما لم يخص فيها اللزوم و لا العناد بذلك و تكون مهملة و مسوّرة كلية و جزئية (و، م، ٢٠٠، ٥)
شرطية
- كل قضية فهي إمّا حملية و إما شرطيّة (ف، د، ٧٥، ٣)- الحملية كل ما حكم فيه بحكم بتّات، كقولنا الإنسان حيوان و الشمس طالعة و النهار موجود، و هذا العدد هو زوج و هذا الوقت هو ليل. و الشرطية كل ما ضمّن الحكم فيها بشريطة و هي ضربان: متصلة و منفصلة (ف، ق، ١٣، ٨)- الجزء الأول من الشرطية يسمّى المقدّم و الثاني يسمّى التالي، و هذه الشريطة و هي إن كان و ما شاكلها مثل، إذا و إذا كان و لو كان، و ما قام مقام هذه يتضمّن اتّصال التالي بالمقدم و المنفصل يتضمّن بشريطته انفصال التالي عن المقدم (ف، ق، ٣١، ١٦)- الشرطية كلّ ما ضمّن الحكم فيها الشريطة (ف، ق، ٧١، ١١)- الشرطية مركّبة من جزءين أحدهما المقدّم و الآخر التالي، و الصغرى من المقدمتين هي جزمية قرن بها حرف الاستثناء، و هي بعينها أحد جزئي القول الشرطي يسمّى المستثنى، و قد يستثنى المقدّم و يستثنى التالي (ف، ق، ٨٣، ٣)- الشرطيّة تركيب، لأنّ أجزاء القضية الشرطيّة قضيتان حمليّتان قد صارتا قضية واحدة من أجل الحكم (ب، م، ٧٣، ٢٤)- الشرطية تشارك الحملية في أن كل واحدة منهما قول جازم أي قضية يحكم فيها بنسبة شيء إلى شيء، لكن النسبة في الحملية أن الثاني فيها هو الأول، و في الشرطية ليس كذلك بل النسبة في المتصلة تسمّى نسبة المتابعة، و في المنفصلة نسبة المعاندة (سي، ب، ١٦٠، ٩)- الشرطية إما متّصلة و هي التي يحكم فيها بصدق قضية أو لا صدقها على تقدير صدق قضية أخرى كقولنا إن كان هذا إنسانا فهو حيوان و ليس إن كان هذا إنسانا فهو جماد، و إما منفصلة و هي التي يحكم فيها بالتنافي بين قضيتين في الصدق و الكذب معا أو في أحدهما فقط أو بنفيه، كقولنا إما أن يكون هذا العدد زوجا أو فردا فليس إما أن يكون هذا الإنسان كاتبا أو أسود (ن، ش، ١٠، ٢٢)- الشرطية الجزء الأول منها يسمّى مقدّما و الثاني تاليا (ن، ش، ١٥، ٢٢)- الشرطية قد يتركّب عن حمليتين، و عن متصلتين، و عن منفصلتين، و عن حملية و متصلة، و عن حملية و منفصلة، و عن متصلة و منفصلة (ن، ش، ١٧، ١٢)- كل واحدة من الثلاثة الأخيرة في المتصلة (الشرطية) تنقسم إلى قسمين لامتياز مقدّمها عن