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

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

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

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

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

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

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