Tanaqudh

SUMBER: http://luk.staff.ugm.ac.id/kmi/islam/Etc/Mantiq.html

Salah satu hukum qadhiyyah yang menjadi dasar semua pembahasan mantiq dan filsafat adalah hukum tanaqudh (hukum kontradiksi). Para ahli mantiq dan filsafat menyebutkan bahwa selain mawdhu' dan mahmul dua qadhiyyah mutanaqidhain itu harus sama, juga ada beberapa kesamaan dalam kedua qadhiyyah tersebut. Kesamaan itu terletak pada:

1. Kesamaan tempat (makan)
2. Kesamaan waktu (zaman)
3. Kesamaan kondisi (syart)
4. Kesamaan korelasi (idhafah)
5. Kesamaan pada sebagian atau keseluruhan (juz dan kull )
6. Kesamaan dalam potensi dan aktual (bil quwwah dan bil fi'li). Qiyas (silogisme)

Pembahasan tentang qadhiyyah sebenarnya pendahuluan dari masalah qiyas, sebagaimana pembahasan tentang tashawwur sebagai pendahuluan dari hudud atau ta'rifat. Dan sebenarnya inti pembahasan mantiq adalah hudud dan qiyas.
Qiyas adalah kumpulan dari beberapa qadhiyyah yang berkaitan yang jika benar, maka dengan sendirinya (li dzatihi) akan menghasilkan qadhiyyah yang lain (baru).
Sebelum kita lebih lnjut membahas tentang qiyas, ada baiknya kita secara sekilas beberapa macam hujjah (argumentasi ). Manusia disaat ingin mengetahui hal-hal yang majhul, maka terdapat tiga cara untuk mengetahuinya:

1. Pengetahuan dari juz'i ke juz'i yang lain. Argumenatsi ini sifatnya horisontal, dari sebuah titik yang parsial ke titik parsial lainnya. Argumentasi ini disebut tamtsil (analogi).
2. Pengetahuan dari juz'i ke kulli. Atau dengan kata lain, dari khusus ke umum (menggeneralisasi yang parsial) Argumentasi ini bersifat vertikal, dan disebut istiqra' (induksi).
3. Pengetahuan dari kulli ke juz'i. Atau dengan kata lain, dari umum ke khusus. Argumentasi ini disebut qiyas (silogisme).