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