İSTİDLÂL
Bir veya birden çok önermeden başka bir önerme çıkarma, akıl yürütme anlamında mantık terimi.
KIYAS
Bilinenden hareketle bilinmeyene ulaşmayı ifade eden mantık, fıkıh ve dil bilimi terimi.
İSTİKRÂ
Tikel önermelerden tümel bir sonuca ulaşılmasını sağlayan akıl yürütme yöntemi.
TA‘LÎL
Tümelden tikele giderek hüküm çıkarma anlamında bir istidlâl türü olan mantık terimi, tümdengelim.
TEMSİL
Bir düşünceyi örnek vererek sembol diliyle açıklamak anlamında beyân terimi.