هیوم در نخستین پژوهش نسبتها را به دو دسته تقسیم می کند. نسبت بین تصورات و نسبت بین امور واقع (matters of fact). این سخن هیوم مبنای تقسیم گزاره ها به تحلیلی و ترکیبی است و معمولا گفته شده که مبنای ضروری بودن گزاره های تحلیلی را نیز روشن می کند. بر این اساس ضرورت گزاره های تحلیلی مانند گزاره های ریاضی صرفا به این دلیل است که این دسته از گزاره ها نسبت این همانی را بیان می کنند. در خصوص این ادعا اشکالاتی مطرح شده است که شناخته شده هستند. مهمترین اشکال این است که اگر گزاره های ریاضی صرفا نسبت بین تصورات را بیان می کنند چرا در علم فیزیک به آنها نیاز است؟ اگر علم فیزیک در خصوص نسبت بین امور واقع پژوهش می کند، دلیلی ندارد به گزاره هایی تکیه کند که نسبت بین تصورات را بیان می کنند. اشکال دیگر مربوط به این ادعای رایج است که گزاره های تحلیلی بیانگر قراردادهای زبانی هستند. اگر تحلیلی ها ضروری هستند دیگر نمی توان آنها را بیانگر تعریفهای لفظی و قراردادی دانست. چون قراردادها ضرورتی ندارند و آگاهی از قراردادها نیز پیشین نیست. اینکه هر مجردی غیر متأهل است اگر گزارشی از معنای واژة مجرد در زبان فارسی باشد گزاره ای تجربی است و اگر گزارشی از اصل این همانی باشد دیگر صدق آن به قراردادهای زبانی بستگی ندارد.
به هر حال هدف از این نوشته کوتاه این نیست که از مشکلات مربوط به تقسیم گزاره ها به تحلیلی و ترکیبی بحث شود. هدف این است که به چند پرسش در مورد جایگاه این تقسیم در فلسفة هیوم اشاره شود. در این خصوص سه پرسش قابل طرح است.
1- آیا مشکلی که هیوم در مورد ضرورت علی مطرح می کند در مورد ضرورت منطقی نیز تکرار نخواهد شد؟