چکیده:
عسکری سلیمانی امیری روشی جدید در استنتاج صوری یافته است که با کمترین تعداد قواعد به کار می رود: نقـض محمول و عکس مستوی . او به کمک روش خود قواعد تازه ای را نیز کشف کرده است که در منطق ارسطویی سـابقه نداشته است . او همچنین به پاره ای از گزاره های منحرفه که در ناحیه محمول آنها سور وجود دارد، پرداخته اسـت ، از جمله : «هیچ الف برخی ب نیست » و «برخی الف برخی ب نیست ». افزون بر این ، قواعد عکس مستوی و قیـاس را برای این دو گزارة منحرفه بیان کرده است . در این نوآوری جسورانه و تحسین برانگیز، کاسـتی هـا و ناراسـتی هـایی هست که این مقاله به جبران کاستی ها و زدودن ناراستی های آن می پردازد.
خلاصه ماشینی:
"ایـن دو گزارة سالبه را در منطق جدید با دو فرمول زیر صورت بندی می کنند: س ج هیچ الف برخی ب نیست (( y ̸= x &y)By ∃ →x)Ax ∀ س ج برخی الف برخی ب نیست (( y ̸= x &y)By ∃ &x)Ax ∃ اگر این دو گزاره را با سورهای مقید بازنویسی کنـیم صـورت سـاده تـری از آنهـا را بـه دسـت می آوریم : س ج هیچ الف برخی ب نیست (b ̸= a)b ∀a ∀ س ج برخی الف برخی ب نیست (b ̸= a)b ∃a ∀ گفتنی است که نویسنده محترم «سالبه کلیه جزئیه » را پیش از این در مقالة دیگـر خـود معرفـی کرده بود.
٤) عکس مستوی برای سالبه جزئیه یکی از نوآوری های نویسنده مقاله درباره «سالبه جزئیه » متعارف این اسـت کـه دیگـر نمـی تـوان گفت سالبة جزئیه عکس مستوی نـدارد، بلکـه بایـد گفـت عکـس مسـتوی آن ، در زبـان صـوری مصنوعی ، عبارت است از «سالبه کلیه جزئیه »: (١) بعضی الف ، ب نیست ؛ (٢) بعضی الف ، هیچ ب نیست ؛ (٣) هیچ ب ، بعضی الف نیست .
مقصود نویسنده محترم از معلول بودن شرط ایجاب صغری نسبت به کژتابی زبانی ایـن اسـت که اگر محدود به زبان متعارف و محصوره های چهارگانه باشیم این شرط لازم است ؛ زیرا صـغرای سالبه در شکل اول هیچ یک از این محصوره ها را نتیجه نمی دهد."