تطور برهان لم و إن از منطق به فلسفه اولی در کلام ابن سینا و ملاصدرا

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