قیاس صوری

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

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