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