چکیده:
ارسطو نخستین منطق دانی است که «سور در ناحیه محمول » را معرفی و صدق و کذب گزاره های با سـور در ناحیـه محمول را بررسی کرده است . ابن سینا این گزاره ها را «گزاره های منحرفه » نامیده و احکام تناقض میان آن ها را بیـان کرده است ؛ اما از دیگر قواعد حاکم بر گزاره های منحرفه سخن نگفته است . گزاره های منحرفه بـه دو دسـته تقسـیم می شوند: آن ها که هم ارز یکی از محصوره های چهارگانة ارسطویی هستند و آن ها که چنین نیستند. ایـن دو دسـته بـا هم هشت محصوره را شکل می دهند که روابط آن ها را می توان در یک «مکعب تقابل » نشان داد. با صورت بندی این هشت محصوره در منطق جدید، به آسانی می توان نشان داد که همه این محصوره ها عکس مستوی دارنـد. در پایـان ، نشان می دهیم که قواعد اشکال اربعه برای این محصوره ها همان «قواعد انبساط قیاس » است و به قواعد ویژه بـرای هر شکل نیازی نیست ؛ هرچند برای هر شکل نیز می توان قواعد مربوطه را بیان کرد.
خلاصه ماشینی:
"سورهای محمول در گزاره های منحرفه (احکام قضایا و قواعد قیاس ) اسدالله فلاحی چکیده کلیدواژه ها مقدمه ارسطو در کتاب عبارت «سورهای محمول » را معرفی کرده و گزاره های با سور کلی در محمـول را کاذب دانسته است : «حمل محمول مقرون با سور کلی بر موضـوع مقـرون بـا سـور کلـی صـادق نیست ؛ زیرا هیچ ایجابی نمی توان داشت که در آن محمول مسور به سور کلی بر موضوع مسـور بـه سور کلی حمل شود، مثلا «هر انسانی هر حیوانی است ».
اگـر برخلاف این عمل کنیم ، یعنی سورهای کلی و جزئی را، به ترتیب ، به محمول موجبه ها و سـالبه هـا بیفزاییم ، به چهار محصورة جدید می رسیم که صدق و کذب گزاره ها را لزوما نگاه نمی دارند: موجبة کلیه کلیه sالمحمول : هر الف ، هر یک از افراد ب است .
به زبان منطق جدید: ∀a∀b → ∃a∀b → ∃a∃b ∀a∀b → ∀a∃b → ∃a∃b تناقض : با توجه به قواعد تناقض در منطق محمول ها، آشکار است که برای به دست آوردن نقیض هر یک از محصوره های هشت گانه ، باید سورهای کلی و جزیی را به یکدیگر و نماد این همانی و نااین همانی را نیز به یکدیگر تبدیل کنیم .
بر اساس این تعریف ، نقض محمول محصوره های هشت گانه چنین خواهد بود: [به تصویر مراجعه شود] اثبات این قاعده ها به کمک سورهای مقید دشوار است ؛ برای نمونه ، تیموتی اسـمایلی در سـال ١٩٦٢ برای صورت بندی مفهوم «غیر» به کمک سورهای مقید نـاگزیر شـده اسـت ، زبـان و نظـام استنتاجی را دست کاری کند."