يجعل معلوما بتلك العلامة ، علامة أيضا ؛ والقياس الذي حدّه الأوسط علامة ما علامة أيضا . ( كخط ، 115 ، 16 )
أسباب واحدة
- الأسباب الواحدة منها ما هي واحدة بالجنس ، منها ما هي واحدة بالنوع ، ومنها ما هي واحدة بالتناسب . ( كبش ، 43 ، 15 )
استحالة
- الاستحالة هو تغيّر من كيف إلى كيف .
( كم ، 115 ، 3 )
استدلال بالشاهد على الغائب
- الاستدلال بالشاهد على الغائب بهذا الطريق ( طريق الحكم الذي يطلب في الغائب ) قوته قوة مسألة تطلب فيوجد قياسها الناتج لها في الشكل الأول . ( كق ، 47 ، 2 )
- لمّا كان ما يصحّح بهذا الطريق إنما يصحّح لينقل الحكم الذي يصحّ على جميع ذلك الأمر إلى بعض ما تحته صار هذا الطريق غير نافع في الاستدلال بالشاهد على الغائب . ( كق ، 47 ، 19 )
- تبيّن لنا الكلّي الذي يبدّل الجزئي مكانه إذا صحّ ذلك الحكم على جميع كلّي ما من كلّيات ذلك الجزئي مثل ما في الاستدلال بالشاهد على الغائب . ( كق ، 57 ، 18 )
- النقلة بالحكم المحسوس في أمر ما أو المعلوم فيه بوجه آخر إلى أمر ما غير محسوس الحكم ، من غير أن يكون ذلك الأمر الآخر تحت الأمر الأول ، وهو الذي يسمّيه أهل زماننا الاستدلال بالشاهد على الغائب . ( كق ، 45 ، 9 )
- إذا أردنا أن نستدل بالشاهد على غائب ما بطريق التركيب ، نظرنا في المحسوس الذي شوهد فيه حكم ما وأخذنا الأمور الأخر الموجودة في ذلك المحسوس ثم نظرنا أي أمر من تلك الأمور يصحّ ذلك الحكم على جميعه ، فإذا حصل معنا ثم وجدنا شيئا غير معلوم الحكم داخلا تحت ذلك الأمر لزم ضرورة أن ينتقل إليه الحكم الذي كان قد صحّ لنا على المحسوس .
( كق ، 47 ، 4 )
استقامة
- ألم تعلم أن الاستقامة والاعوجاج والنقصان والكمال التي تقال في مطالع البروج إنما هي بالإضافة إلى أماكن بأعيانها لأجل تلك الأماكن ، لا أنها في أنفسها ذوات اعوجاج واستقامة وكمال ونقصان وسائر ما أشبهها . ( رفع ، 12 ، 12 )
استقراء
- الاستقراء هو ما لم يحصل عنه اليقين الضروري بالحكم الكلّي ، والتجربة هي ما حصل عنها اليقين بالحكم الكلّي . ( كبش ، 25 ، 1 )
- المسائل الجدلية صنفان : القياس والاستقراء . ( كجد ، 97 ، 1 )