Qiyas dan hadd-haddnya

قالَ: القياسُ: هو قولٌ مُؤلَّفٌ من أقوالٍ متى سُلِّمتْ لَزِمَ عنها لذاتِها قولٌ آخرُ.

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

Tujuan tertinggi dan maksud terjauh dari istilah-istilah mantiq yang disebutkan [dalam kitab ini] adalah: qiyas. Mereka menta'rifkannya dengan rasm sebagai “pernyataan yang tersusun dari beberapa pernyataan, yang jika pernyataan-pernyataan itu diterima, akan melahirkan”, yakni dari pernyataan-pernyataan itu, “pernyataan lain dengan sendirinya”. Contohnya ucapan kita: “Alam itu berubah, dan setiap yang berubah itu baharu.” Ini tersusun dari dua pernyataan yang, jika diterima, dengan sendirinya melahirkan “Alam itu baharu.” Yang dimaksud dengan “pernyataan” lebih umum daripada yang dipikirkan atau yang diucapkan. Yang dimaksud dengan “beberapa pernyataan” adalah lebih dari satu, agar [ta'rif ini] mencakup qiyas yang tersusun dari dua pernyataan dan qiyas yang tersusun dari lebih dari dua pernyataan. Karena itu satu pernyataan tidak disebut qiyas, walaupun pernyataan lain lahir darinya dengan sendirinya, seperti pada 'aks mustawi dan 'aks naqidh. Ucapannya “jika pernyataan-pernyataan itu diterima” menunjukkan bahwa pernyataan-pernyataan itu tidak harus diterima pada dirinya; cukup bahwa keadaannya sedemikian rupa sehingga, seandainya diterima, pernyataan lain lahir darinya dengan sendirinya. Dengan begitu ta'rif ini mencakup qiyas yang muqaddimah-muqaddimahnya benar dan qiyas yang muqaddimah-muqaddimahnya salah, seperti ucapan kita: “Setiap manusia adalah benda mati, dan setiap benda mati adalah keledai.” Walaupun kedua pernyataan ini salah pada dirinya, keadaannya sedemikian rupa sehingga, seandainya diterima, akan lahir darinya “Setiap manusia adalah keledai.” Dengan ucapannya “akan melahirkan” ia mengeluarkan istiqra' dan tamtsil: walaupun muqaddimah-muqaddimah keduanya diterima, tidak ada sesuatu yang pasti lahir darinya, karena apa yang ditunjukkan keduanya bisa saja tidak terjadi meskipun muqaddimahnya ada. Dengan ucapannya “dengan sendirinya” ia mengeluarkan qiyas yang, setelah diterima, melahirkan pernyataan lain, tetapi bukan dengan sendirinya, melainkan melalui perantaraan muqaddimah asing (dari luar), seperti dalam qiyas musawah (qiyas kesamaan). Ia adalah qiyas yang tersusun dari dua pernyataan sedemikian rupa sehingga apa yang berkaitan dengan mahmul pernyataan pertama adalah maudhu' pernyataan yang lain, seperti ucapan kita: “A sama dengan B, dan B sama dengan C.” Kedua pernyataan ini melazimkan “A sama dengan C”, tetapi bukan dengan sendirinya, melainkan melalui perantaraan muqaddimah asing, yaitu bahwa setiap yang sama dengan sesuatu yang sama dengan suatu hal, ia sama dengan hal itu. Ia berkata “dari beberapa pernyataan” dan tidak berkata “dari beberapa muqaddimah” hanya agar tidak terjadi daur. Sebab mereka telah menta'rifkan muqaddimah sebagai sesuatu yang dijadikan bagian dari qiyas, sehingga qiyas dimasukkan dalam ta'rif muqaddimah; seandainya muqaddimah juga dimasukkan dalam ta'rif qiyas, terjadilah daur.

Sharḥ Īsāghūjī · hlm. 60

قالَ: هو إمَّا اقترانيٌّ: مثلاً كلُّ جسمٍ مؤلفٌ، وكلُّ مؤلّفٍ مُحدَثٌ، ينتجُ: كلُّ جسمٍ مُحدَثٌ، وإمَّا استثنائيٌّ: كقولنا إن كانت الشمسُ طالعةً فالنهارُ موجودٌ لكنَّ الشمسَ طالعةٌ، فالنهارُ موجودٌ لكن النهارَ ليس بموجودٍ، فالشمسُ ليست بطالعةٍ.

أَقُولُ: القياسُ ينقسمُ إلى قسمينِ: اقترانيٍّ، واستثنائيٍّ، لأنه إذا لم يكن عينُ النتيجة، أو نقيضُها مذكوراً فيه بالفعل، فهو اقترانيٌّ كقولنا كلُّ جسمٍ مؤلفٌ وكلُّ مؤلِفٍ مُحدَثٌ، فكلُّ جسمٍ محدثٌ، وإن كان عينُ النَّتيجةِ أو نقيضُها مذكوراً فيه بالفعلِ، فهو استثنائيٌّ كقولنا إن كانت الشمسُ طالعةً فالنهارُ موجودٌ لكنَّ الشَّمسَ طالعةٌ، ينتج: فالنهارُ موجودٌ لكنَّ النهارَ ليس بموجودٍ، فالشمسُ ليست بطالعةٍ، وإنما سُمِّي الأولُ اقترانياً لكونِ الحدودِ فيه مُقترنةً غيرَ مُستثناةٍ، وإنما سُمِّي الثاني استثنائياً، لاشتماله على أداة الاستثناء، وهو "لكنَّ"، والمرادُ من كون عين النتيجةِ أو نقيضِها مذكوراً بالفعل في القياسِ: هو أن تكونَ طرفاها أو طرفا نقيضها مذكورينِ بالترتيب الذي في النتيجة.

Qiyas terbagi menjadi dua: iqtirani dan istitsna'i. Sebab, jika kesimpulan itu sendiri ataupun naqidh-nya tidak disebut secara nyata di dalamnya, ia iqtirani, seperti ucapan kita: “Setiap jisim itu tersusun, dan setiap yang tersusun itu baharu, maka setiap jisim itu baharu.” Dan jika kesimpulan itu sendiri atau naqidh-nya disebut secara nyata di dalamnya, ia istitsna'i, seperti ucapan kita: “Jika matahari telah terbit, maka hari telah siang; tetapi matahari telah terbit”, yang menghasilkan “maka hari telah siang”; [atau:] “tetapi hari belum siang, maka matahari belum terbit.” Yang pertama dinamai iqtirani hanya karena bagian-bagiannya (hudud) bergandengan (muqtarinah) dan tidak dipisahkan dengan istitsna' (pengecualian); yang kedua dinamai istitsna'i hanya karena ia memuat adat istitsna' (kata pengecualian), yaitu “tetapi” (lakinna). Yang dimaksud dengan disebutnya kesimpulan itu sendiri atau naqidh-nya secara nyata dalam qiyas adalah bahwa kedua ujungnya, atau kedua ujung naqidh-nya, disebut dengan urutan yang sama seperti dalam kesimpulan.

Sharḥ Īsāghūjī · hlm. 64

قالَ: والمُكَرَّرُ بينَ مُقدِّمتَي القياسِ فصاعداً يُسمَّى حدًّا أوسطَ، وموضوعُ المطلوب يُسمَّى حدًّا أصغرَ، ومحمولُ المطلوبِ يُسمَّى حدًّا أكبرَ، والمُقدِّمةُ التي فيها الأصغرُ تُسمَّى الصُّغرى، والتي فيها الأكبرُ تُسمَّى الكُبرى.

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

Ketahuilah bahwa bagian yang dimiliki bersama dan terulang di antara dua muqaddimah qiyas atau lebih disebut hadd awsath, karena ia berada di tengah (tawassuth) di antara kedua ujung kesimpulan yang dicari, baik ia berupa maudhu' atau mahmul, maupun muqaddam atau tali; contoh keduanya baru saja disebutkan. Maudhu' kesimpulan yang dicari disebut hadd ashghar (yang lebih kecil), karena biasanya ia lebih khusus, dan yang lebih khusus lebih sedikit satuannya, sehingga ia lebih kecil. Mahmul kesimpulan yang dicari disebut hadd akbar (yang lebih besar), karena biasanya ia lebih umum, dan yang lebih umum lebih banyak satuannya, sehingga ia lebih besar. Muqaddimah di antara muqaddimah-muqaddimah qiyas yang memuat hadd ashghar disebut shughra, karena ia memuat hadd ashghar sehingga menjadi pemilik hadd ashghar, dan itulah persis makna shughra. Muqaddimah yang memuat hadd akbar disebut kubra, karena ia memuat hadd akbar sehingga menjadi pemilik hadd akbar, dan itulah persis makna kubra. Gabungan shughra dengan kubra dalam ijab dan salb, serta dalam kulliyyah dan juz'iyyah, disebut qarinah dan dharb; pengarang tidak menyebutkan hal ini.

Sharḥ Īsāghūjī · hlm. 65