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