کتابی مثال: عالم، متغیر اور حادث

الحجّة: قیاس، استقراء، تمثیل اور قیاس کی چار شکلیں

العالم متغير، وكل متغير حادث.
عالم متغیر ہے، اور ہر متغیر حادث ہے۔

صغریٰ: عالم متغیر ہے۔
کبریٰ: ہر متغیر حادث ہے۔
نتیجہ: عالم حادث ہے۔

نتیجے کا موضوع عالم حدِ اصغر، محمول حادث حدِ اکبر، اور دونوں مقدموں میں آنے والا متغیر حدِ اوسط ہے۔ یہ کتاب کی استدلالی مثال ہے؛ اس سبق میں مقدمات کے فلسفیانہ ثبوت کے بجائے قیاسی ساخت زیرِ بحث ہے۔