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

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

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

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

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

مطالعه حاضر تلاشی است بر بررسی کاربرد و توزیع نشانه های منظور شناسی در زبان انگلیسی و فارسی. این مطالعه از چهارچوب نظری منظور شناسی فریزر 2009 بهره گرفته است تا 1) انواع و عملکرد های نشانه های منظور شناسی در زبان فارسی را مورد بررسی قرار داده، 2) توزیع و کاربرد نشانه های منظور شناسی موجود در زبان فارسی را با توزیع و کاربرد نشانه های منظور شناسی مطرح شده در چهارچوب نظری فریزر 2009 تطبیق داده و 3...

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

منطق اِحراز هویت باروز ابدی و نیدهام (ban) گام های مهمی در جهت تحلیل پروتکل های امنیت بر می دارد‏‏، و دارای چندین بازبینی پی در پی پیشرفته است. در این پایان نامه منطق های vo و svo را مطالعه می کنیم. vo یک گسترش از منطق های خانواده ban می باشد که برای اولین بار‏، بررسی کلید عمومی مبتنی بر پروتکل های ایجاد کلید اِحراز هویتی که هر دو عامل در اشتقاق کلید (یعنی‏، پروتکل های توافق-کلید) همکاری دارند را...

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

واژة «بداهت» در عرف و در دانش منطق به صورت مشترک لفظی به دو معنای متفاوت به کار می رود؛ در عرف به معنای نسبی روشن و مأنوس استعمال می شود و لی در اصطلاح منطق مفهومی نفسی دارد و به معنای ادراک غیر مسبوق به ادراکات پیشین و غیر مأخوذ از آنها به کار می رود. در بحث از بداهت تصورات حسی، مفهوم دوم به کار می رود. بداهت تصورات حسی توسط فخر رازی به صورت مسألة منطقی تدوین شد و نزد دانشمندان متأخر مورد بحث ...