منطق میں «القضية» کی تعریف معلوم ہونا، «قضیہ حملیہ» کے احکام سے بحث کرنے کا مقدمہ ہے۔ اسی طرح «الحد الأوسط» کا تصور معلوم ہوئے بغیر شکلِ اول اور شکلِ دوم کی شرائط کو درست طور پر بیان نہیں کیا جا سکتا۔
یہ مقدمہ «تعریف» کی صورت میں ہے؛ اس لیے اسے تصوراتی بنیاد کہتے ہیں۔ اس کے بعد یہ قضیہ کہ «شکلِ اول میں کبریٰ کلیہ ہو» ایک الگ تصدیقی حکم ہے۔
ایک ہی فن میں لفظ کا معنی معلوم کرنا اور اس معنی کے بارے میں دعویٰ ثابت کرنا الگ درجے رکھتے ہیں۔