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

شمس الدین سمرقندی که در بحث قیاس شرطی دیدگاهی نو در برابر ابن‌سینا پیش نهاده است، از 19 ضرب منتج سینوی 12 ضرب را نامعتبر می‌داند. در مقالة دیگری نشان داده‌ایم که اگر تنها «کیفیت» گزاره‌ها را در نظر بگیریم میان قیاس‌های سمرقندی و منطق ربط مطابقت شگفت‌انگیزی وجود دارد. در این مقاله، اما، نشان می‌دهیم که اگر «کمیت» گزاره‌ها را نیز در نظر آوریم این مطابقت از میان می‌رود. دلیل این مسئله آن است که در...

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

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

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

ابن‌سینا شرطی لزومی با مقدّم ممکن و شرطی لزومی با مقدّم ممتنع را لزومی به‌حسب نفس‌الامر و لزومی به حسب الزام نامیده، و قسم دوم را در واقع و نفس‌الامر کاذب دانسته است. این حکمْ شگفت بلکه خلاف شهود است و، از این‌رو، نزاع‌های بسیاری در ردّ و قبول آن درگرفته است. در این مقاله، با گزارش انتقادی نزاع‌های یادشده، لزومی حقیقی و لفظی را به زبان منطق جدید و به کمک منطق موجّهات و منطق ربط تحلیل کرده‌ایم و نشان...

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

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

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