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

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

ارسطو را می توان از پیشگامان منطق ترجیح قلمداد نمود. در عصر جدید محققان برجسته ای چون سورن هالدن جورج فون رایت رودریک چیزم نیکلاس رشر و ریچارد جفری در احیاء و گسترش این بخش از دانشهای منطقی کوشش قابل ملاحظه ای از خود نشان داده اند از جمله روابط منطقی که نقش پایه و اساسی در منطق ترجیح ایفا می کنند رابطه S , P است P به معنای P بر q ترجیح دارد یا p بهتر است از q و s به معنای p در ارزش برابر است با...

ارسطو را می توان از پیشگامان منطق ترجیح قلمداد نمود. در عصر جدید محققان برجسته ای چون سورن هالدن جورج فون رایت رودریک چیزم نیکلاس رشر و ریچارد جفری در احیاء و گسترش این بخش از دانشهای منطقی کوشش قابل ملاحظه ای از خود نشان داده اند از جمله روابط منطقی که نقش پایه و اساسی در منطق ترجیح ایفا می کنند رابطه s , p است p به معنای p بر q ترجیح دارد یا p بهتر است از q و s به معنای p در ارزش برابر است با...

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

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

در این پایان نامه، با به کارگیری پیشرفت های اخیر در زمینه? منطق های شناختی پویا، یک رهیافت نظریه مدلی برای استدلال درباره? پروتکل های امنیت بیان می کنیم که ما را به بیان دقیق وضعیت های شناختی بعدی عامل های شرکت داده شده در مراحل پروتکل با استفاده از مدل های کریپکی و ارتباط بین آن ها، بر پایه? به روز رسانی باور های این عامل ها، قادر می سازد. به عنوان مطالعه موردی، پروتکل سه مرحله ای ‎sra‎ و پرو...

برهان آنسلم از نمونه های نامور برهان وجودی است که قرن ها محل بحث فیلسوفان و منطق دانان بوده است. یکی از کلیدی ترین فرازهای این برهان چنین است که «اگر [آن چه فراتر از آن قابل تصور نیست] در ذهن وجود داشته باشد، آن گاه می توان همین فرد را به عنوان موجود تصور کرد که فراتر است». بر اساس این فراز، می توان «مسئله مقایسه با خود» را مطرح کرد؛ مسئله ای که اولاً به تمایز میان «آن چه فراتر از آن قابل تصور ن...

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

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