سورهای محمول در گزاره‌های منحرفه (احکام قضایا و قواعد قیاس)

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