[ الدور والعكس في العلوم ]
وفي العلوم قد يقع ما يشبه الدور عند تحويل البرهان الآني إلى اللمي - كما يأتي من بعد - والعكس عند رد الخلف إلى المستقيم .
[ قياس الخلف ]
والخلف هو إثبات المطلوب بإبطال نقيضه وذلك بأن يتألف من نقيضه ومن مقدمة موضوعة ما ينتج محالا ، فيعرف منه كذب نقيض المطلوب ، فيتحقق صدقه .
وهو مركب من قياس اقتراني مؤلف من متصلة - مقدمها فرض المطلوب كذبا وتاليها وضع نقيض المطلوب - وحملية هي المقدمة الموضوعة واستثنائي شرطية ينتجه الاقتراني السابق ويستثنى منه نقيض تاليها المحال لينتج صدق المطلوب .
والخلف يفارق العكس ، لأن العكس دائما يورد بعد قياس مستقيم ، والخلف قد يورد ابتداء ، ورده إلى المستقيم بقياس معكوس - يؤخذ نقيض المحال فيه ويضم إلى الموضوعة لينتج المطلوب بعينه .
[ الاستقراء ]
والاستقراء هو حكم على كلي لكونه ثابتا في جزئيات ذلك الكلي ، كالحكم على الحيوان بتحرك الفك الأسفل حالة المضغ ، لكون الانسان الفرس وسائر جزئياته المشاهدة كذلك ، فان كانت الجزئيات منحصرة كان تاما وصار قياسا مقسّما ؛ والا فربما انتقض الحكم بمثل التمساح ، وهو يشبه القياس ، لأن تلك الجزئيات تنوب مناب الأوسط .
[ التمثيل ]
والتمثيل هو إلحاق شيء بشبيهه في حكم ثابت له ، ويسمى الأول فرعا ، والثاني أصلا ، ووجه المشابهة جامعا وعلة ، وذلك كإلحاق السماء