منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرما...

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

هر فرد آشنا به منطق می‌داند که اگر میان دو مفهوم کلی، نسبت عموم و خصوص مطلق برقرار باشد، همان نسبت - ولی با انقلاب‎- میان نقیض‌های آنها نیز برقرار است. اما باوجود دلایل مستدل در اثبات این قاعده، منطق‌دان بزرگ دبیران کاتبی قزوینی(600- 675 ق) شبهه‌ای در این زمینه طرح کرده و با ذکر مثال نقضی از منطق موجهات (در خصوص امکان عام و خاص)، کلیت قاعده را مورد تردید قرار داده است. دو نامه‏ طرح شبهه توسط کا...

دئودوروس، فیلون، و خروسیپوس از برجسته‌ترین منطق‌دانان مگاری ـ رواقی بوده‌‌اند و موجهات یکی از مباحث مورد توجه این منطق‌‌دانان بوده ‌‌است. نظرات این متفکرین در مورد مفاهیم موجهه، تعریف ضرورت، امکان، امتناع، و رابطه و نسبت این‌ها با هم از مباحث جالب تاریخ منطق است که به روشن‌شدن برخی از مواضع منطقی منطق‌دانان دیگر در این زمینه هم کمک می‌‌کند. از میان این سه تن، نظرات دئودوروس بیش از همه مورد بحث ...

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

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

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

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

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

منطق ارسطویی (منطق حملی) از طریق ترجمه مستقیم و بی واسطه آثار ارسطو، و منطق رواقی ـ مگاری (منطق شرطی) با ترجمه غیرمستقیم و به واسطه برخی متون لاتینی جالینوس، اسکندر افرودیسی و بوئتیوس مربوط به نخستین سده های میلادی  به جهان اسلام راه یافت. پس از دو قرن تلاش برای ترجمه، شرح، تقریر و تفهیم میراث منطقی یونانیان، با ظهور  ابن سینا «دوره ابداع و نوآوری» فرا رسید. ابداعات منطقی و منطق های ابداعی ابن ...