برهان، قیاسی است که از یقینیات تشکیل شده باشد و نتیجه یقینی از آن حاصل شود. برهان به دو قسم لمی و إنی، و لمی نیز به لم مطلق و غیر مطلق تقسیم می شود. برهان إنی هم به دلیل و إن مطلق و ملازمات عامه تقسیم می شود. منطق دانان و فلاسفه بر آن اند که از میان انواع براهین، تنها برهان لم و إن ملازمات منتج یقین هستند. علامه طباطبایی با توجه به مبنای خاص خود در بحث عرض ذاتی بر این باور است که در فلسفه نمی توان از براهین لمی استفاده کرد و در فلسفه تنها براهین إن ملازمات جاری می شوند. در این نوشتار به تبیین انواع برهان پرداخته شده و سپس بیان علامه طباطبایی در مورد کارکرد برهان در فلسفه بیان گردیده و در نهایت مقدمات کلام علامه طباطبایی در کارکرد برهان إن ملازمات بررسی و نقد شده است.
