استقراء، مسألهای است که از زمان ارسطو تاکنون فیلسوفان درباب آن سخن گفتهاند. مشکل اساسی در مسألة استقراء این است که چگونه میتوان با مشاهدة چند مصداق به نظریه یا فرضیة کلی دست یافت. فیلسوفان علم نظرات گوناگون عقل گرایی، تجربه گرایی، حساب احتمالات و غیره را مطرح کردهاند. شهید صدر در کتاب الاسس المنطقیه للاستقراء ضمن نقد دیدگاههای فیلسوفان غرب به ارائة نظریة نوینی پرداخته است. وی در این نظریه، دلیل استقرایی را در مرحلة توالد موضوعی و توالد ذاتی تفسیر کرده و با تقسیم یقین به منطقی، ذاتی و موضوع، و با استمداد از علم اجمالی در علم اصول، یقین در دلیل استقرایی را موجه میسازد.
تعاریف متعددی از قضایای (یا احکام) تحلیلی در فلسفه غرب شده است. تعریف لایبنیتز، هیوم، کانت، آیر، میل، فرگه و کواین از جمله مهم ترین تعاریف قضایای تحلیلی در فلسفه غرب است. این تعاریف به لحاظ مصداق در سه دسته اخص، خاص و اعم قرار می گیرند. برای دست یابی به تعریف صحیح، باید دید کدام تعریف با اهداف و مبانی این تقسیم سازگارتر است. در این مقاله، پس از تعیین اهداف و مبانی فیلسوفان غرب در این تقسیم، نشان داده شده است که هیچ یک از تعاریف فلسفه غرب با مبانی فلسفی آنها و با اهداف مورد نظرشان سازگار نیست؛ زیرا مهم ترین هدف این تقسیم تفکیک حقایق عقل از حقایق واقع یا تفکیک حقایق اولیه عقل از حقایق مشتقه عقل است که این هدف نسبت به قضایای حملی و شرطی از یک سو، و قضایای سالبه و موجبه از سوی دیگر، و قضایای صادق و کاذب و ... یکسان است. اما هیچ کدام از تعاریف نمی تواند همه انواع قضایا را در برگیرد. به علاوه، هر یک از تعاریف ارایه شده از فلاسفه غرب، دارای نارسایی ها و ضعف های دیگری است. از این رو، تعریف دیگری به عنوان تعریف مختار مولف ارایه شده است که به نظر می رسد هیچ یک از نارسایی های مذکور را ندارد. تعریف مختار اخص از تعریف اعم و اعم از تعریف خاص است، از این رو، مجموع تعاریف قضایای تحلیلی در چهار دسته اخص، خاص، عام و اعم قرار می گیرند.