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

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

جهت بهبود عملکرد سیستم های بازیابی تصویر براساس محتوا از روش های بازخورد ربط1 استفاده می شود. در این مقاله، یک روش جدید بازخورد ربط با رویکرد اصلاح معیار شباهت در یک سیستم بازیابی تصویر مبتنی بر جایگزینی فازی تصاویر اشعه x پزشکی با گراف نسبی ویژگی دار فازی2 ارائه شده است. روش بازخورد ربط پیشنهادی با استفاده از میزان شباهت تصاویر مرتبط و غیرمرتبط با تصویر پرس وجو، وزن بهینه ای برای هر ویژگی در ب...

مقدمه: یکی از هدف های اصلی نظام های اطلاعاتی، بازیابی اطلاعات مرتبط با نیاز کاربر است. موتور کاوش گوگل از سال 2008 به منظور کمک به کاربران در تدوین عبارت جستجو، قابلیّت کلیدواژه ها و عبارتهای پیشنهادی را به امکانات خود افزوده است. هدف پژوهش حاضر بررسی کارآمدی این گونه کلیدواژه ها و عبارتها در بسط جستجو از دیدگاه کاربران (دانشجویان تحصیلات تکمیلی) بر اساس اصل کمترین کوشش و نظریه بار شناختی است. ...

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

اندرسون و بلنپ در سال 1975 در کتاب entailment تلاشهای فراوانی برای نشان دادن همه کاربردهای ماتریسهای چندارزشی در منطقهای ربط کرده اند و ما هم در این پایان نامه برخی از این کاربردها را به تفصیل از این کتاب گزارش می کنیم و هدف عمده ما معرفی مواردی است که اندرسون و بلنپ به عنوان کاربردهای ماتریسهای چندارزشی در منطقهای ربط ذکر کرده اند. در این پایان نامه یرای تشخیص فرمولهای فاقد «ضرورت» و «ربط» بین...

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

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

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