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

فالكفر في الأصل بمعنى: التغطية، ومنه سمي الزراع كافرا لتغطيته البذر بالتراب، قال الله تعالى: ﴿كمثل غيث أعجب الكفار نباته ﴾ [الحديد:20]، وقال الشاعر: في ليلة كفر النجوم ظلامها، ثم صار في الشرع اسما لمن ارتكب معصية مخرجة لصاحبها من الملة، ولا دلالة على أن الزاني وشارب الخمر ونحوهما قد خرجا من الملة.

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

والإيمان في أصل اللغة: التصديق، ومنه قوله تعالى: ﴿وما أنت بمؤمن لنا ﴾ [يوسف:17]، أي مصدق لنا، وقد صار في الشرع اسما لمن أتى بالواجبات واجتنب المقبحات لقوله تعالى: ﴿إنما المؤمنون الذين إذا ذكر الله وجلت قلوبهم وإذا تليت عليهم آياته زادتهم إيمانا وعلى ربهم يتوكلون o الذين يقيمون الصلاة ومما رزقناهم ينفقون o أولئك هم المؤمنون حقا ﴾ [الأنفال:2،3،4]، فعلمنا أنه قد نقل عن مطلق التصديق إلى من صدق بالله ورسوله وما جاء به صلى الله عليه وآله وسلم وأقام الصلاة وآتى الزكاة واجتنب المقبحات، وسيأتي مزيد تقرير لذلك.