شرطی قابل پذیرش در منطق سینوی مسور بوده و بر ­این­ اساس در یکی از چهار قالب محصوره قرار می­گیرد. پس از ورود منطق جدید تلاش­های برای صورت­بندی شرطی­ها در زبان منطق جدید شکل گرفت. یکی از مسائلی که در این تلاش­ها پیش آمد چگونگی صورت­بندی شرطی لزومی جزئیه بود. رابطه میان مقدم و تالی در این‌گونه از شرطی  متصل می­تواند با ادات شرطی و یا عطفی معرفی شود. در این مقاله با مطالعه متون متعدد سنت منطق سینوی...

در این مقاله پس از اشاره به اهمیت متصلۀ لزومیه و جایگاه آن در منطق قدیم، شروط صدق متصلۀ لزومیه در منطق سینوی و احکام آن و نیز دیدگاه های مختلف در مورد نسبت این متصله با انواع شرطی در منطق جدید بررسی، تحلیل و نقد می گردد. این دیدگاه ها به ترتیب تاریخی در رویکردهای زیر خلاصه می شود: رویکرد اول: متصلۀ لزومیه به دلیل علاقۀ خاص بین مقدم و تالی غیر از استلزام مادی و به دلیل اختلاف دیدگاه منطق قدیم و ...

در این مقاله پس از اشاره به اهمیت متصلۀ لزومیه و جایگاه آن در منطق قدیم، شروط صدق متصلۀ لزومیه در منطق سینوی و احکام آن و نیز دیدگاه‌های مختلف در مورد نسبت این متصله با انواع شرطی در منطق جدید بررسی، تحلیل و نقد می گردد. این دیدگاه‌ها به ترتیب تاریخی در رویکردهای زیر خلاصه می‌شود: رویکرد اول: متصلۀ لزومیه به دلیل علاقۀ خاص بین مقدم و تالی غیر از استلزام مادی و به دلیل اختلاف دیدگاه منطق قدیم و ...

متصلۀ لزومی که از ارکان منطق سینوی است در منطق شفاء به لزومی بدیهی و غیربدیهی و نیز به لزومی به‌حسب الزام و لزومی به‌حسب واقع و نفس‌الامر تقسیم شده است. فهم ماهیت متصلۀ لزومی و احکام آن و نیز رابطۀ آن با انواع استلزام در منطق جدید و شناسایی ساختار متصلۀ لزومی، بدون شناسایی و فهم انواع آن امکان‌پذیر نیست. از‌این‌رو در این مقاله پس از بیان تعریف بوعلی از متصلۀ لزومی بدیهی و غیربدیهی و تحلیل و نقد...

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

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

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می آید، معادل ترکیب های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می باشد. این ترکیب اساسی ترین مفهوم منطق جدید محسوب می شود و در استدلال های پیچیدۀ ریاضی نتایج رضایت بخشی داده است. آگاهی یا عدم آگاهی منطق دانان قدیم از شروط صدق این ترکیب سئوا...

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

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

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