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

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

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

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

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

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

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

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

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

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