بازنمایی کمانی قیاس روی نمودار ون: روش جدید

Abstract

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