منطق

تصورات کے اہم موضوعات دلالت، الفاظ کی تقسیمات، مفہوم کلی، نسب اربعہ اور تعریف ہیں تعریف کو قولِ شارح اور معرِّف بھی کہتے ہیں۔ تعریف یعنی معلوم تصوری سے مجہولِ تصوری کو حاصل کرنا۔ جیسے حیوانِ ناطق سے انسان کا علم حاصل ہوتا ہے۔ لہذا حیوانِ ناطق معرِّف اور انسان معرَّف ہے ۔

مزید وضاحت: تعریف یعنی کسی شے کا معرف وہ مفہوم ہوتا ہے جو اس شے پر محمول ہو،تاکہ اس شے کے تصور کا فائدہ دے۔ مثلاً حیوانِ ناطق ،انسان کے لیے۔

اس باب میں قضیہ (جملہ) کی تعریف، اقسام اور استدلال یا استنتاج کی تعریف اور اس کے مختلف طریقوں کے بارے میں بحث کی جاتی ہے۔ اس باب کو باب حجت بھی کہاجاتا ہے۔ حجت یا احتجاج عربی زبان میں استدلال کو کہتے ہیں۔ استدلال کے تین طریقے ہیں:

1. قیاس
2. استقراء
3. تمثیل