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

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

وقوله تقديرا معناه خروجا كائنا عن أصل مقدر مفروض يكون الداعي إلى تقديره منع الصرف لا غير. فأشار بهذا القول إلى تقسيم العدل إلى هذين القسمين، وليس هذا القول داخلا في التعريف، مثال التحقيقي ثلاث ومثلث والدليل على أن أصلهما ثلاثة ثلاثة عدلا عنه هو أن في معناهما تكرارا دون لفظهما، والأصل أنه إذا كان المعنى مكررا كان اللفظ أيضا مكررا كما في جاءني القوم ثلاثة ثلاثة. ومثال التقديري عمر وزفر عدلا عن عامر وزافر فإنهما لما وجدا غير منصرفين ولم يوجد سبب منع صرفهما ظاهرا إلا العلمية اعتبر العدل، ولما كان اعتباره موقوفا على وجود أصل ولم يكن فيهما دليل على وجوده غير منع الصرف قدر أن أصلهما عامر وزافر، هكذا يستفاد من شروح الكافية.

العدم:

[في الانكليزية] Nothingness

[ في الفرنسية] Neant

بالضم وسكون الدال المهملة وبضمتين وبفتحتين أيضا بمعنى نيستى- عدم الوجود- كما في المنتخب. فالعدم يقابل الوجود كما أن العدمي يقابل الوجودي كما سيجيء. ويقول في كشف اللغات: في اصطلاح المتصوفة: العدم هو الأعيان الثابتة يعني الصور العلمية، والحكماء يقولون: العدم هو الماهيات الممكنة «1». والمعدوم يقابل الموجود كما يجيء في لفظ المعلوم.

عدم التأثير:

[في الانكليزية] Without effect

[ في الفرنسية] sans effet

وهو من أنواع الاعتراضات عند الأصوليين وأهل النظر هو إبداء وصف لا أثر له في إثبات الحكم. وقسموه إلى أربعة أقسام.

فأعلاها ما يظهر عدم تأثيره مطلقا، ثم أن يظهر عدم تأثيره في ذلك الأصل، ثم أن يظهر عدم تأثير قيد منه، ثم أن يظهر شيء من ذلك لكن لا يطرد في محل النزاع، فيعلم منه عدم تأثيره، بناء على أن التأثير مستلزم للاطراد.

فكل قسم أخص مما بعده. فلذا كان الأول أعلى وأقوى في إبطال العلية. وخصوا لكل قسم اسما. فالأول وهو ما كان الوصف فيه غير مؤثر يسمى عدم التأثير في الوصف ومرجعه إلى المطالبة بكون العلة علة. والثاني