معيار نَرم و كاربست آن در گسترش جدول قضاياي متصادق و متكاذب

مجموعه‌هاي علمي حتي‌الامكان بايد افزون‌بر صحت و انسجام، مجموعه‌هايي كارآمد و خوش‌ساخت و پرداخت باشند. اين مؤلفه‌ها به‌ترتيب، مؤلفه‌هاي سخت (صحت) و نرم (كمال) هستند. ازجمله ويژگي‌هاي نرم اين مجموعه‌ها سادگي و وضوح، تناسب و توازن، تناظر، دوسويگي، تقارن، تراگذري و خودتوليدگري است. ازجمله مجموعه‌هاي مهم تصديقات منطق قديم، جدول نسب محصورات است كه زيرساخت براهين حملي مستقيم است. در اين پژوهش نخست اين جدول توسط معيارهاي يادشده ارزيابي مي‌شود. در مرحله بعد ضمن تحليل و ريشه‌يابي نقص‌هاي آن براساس معيارهاي نرم، پيشنهاد لازم جهت رفع با معرفي رديف تازه‌اي در جدول باعنوان «عكس نقيض مخالف جديد» صورت گرفته و از طريق خواص خود اين جدول و تركيب‌هاي مختلف برهانِ تحويلِ اصل كه نوعي برهان مستقيم تركيبي است، نقص آن برطرف مي‌شود. در پايان، اندازه دستيابي به هدف از طريق شاخص‌هاي معيار يادشده مجدداً ارزيابي مي‌شود. به‌شيوه مشابه جدول قضاياي متكاذب (متلازم در كذب) نيز به‌طور كامل طراحي و با روش تحويلِ اصل تشكيل و با معيارهاي نرم ارزيابي مي‌شود. كليه مراحل به روش توصيفي ـ منطقي بوده و نتيجه آن است كه با تعريف و كاربرد معيارهاي نرم كارايي آن‌ها در تكميل يا تشكيل كامل جدول‌هاي اشاره‌شده به اثبات رسيد.