البرهانُ: وهو قياسٌ مُؤلّفٌ من مُقدّماتٍ يقينيةٍ لإنتاج اليقين، أَمَّا اليقينياتُ فأقسامٌ: أحدُهما أَولياتٌ: كقولنا الواحدُ نصفُ الاثنين، والكلُّ أعظمُ من الجزء، ومُشاهدَاتٌ: كقولنا الشَّمسُ مشرقةٌ، والنارُ مُحرِقةٌ، ومُجرَّباتٌ: كقولنا السَّقمونيا مُسهِلٌ للصفراء، وحَدْسياتٌ: كقولنا نورُ القمرِ مُستفادٌ من نورِ الشمسِ، ومُتواتراتٌ: كقولنا مُحمَّدٌ عليه الصَّلاةُ والسَّلامُ ادَّعى النُّبوةَ، وأظهرَ المُعجزاتِ على يده، وقضايا قياساتُها معها: كقولنا الأربعةُ زوجٌ بسبب وسطٍ حاضرٍ في الذِّهنِ هو الانقسامُ بمُتساويين.
من الاصطلاحاتِ المنطقيةِ المذكورةِ التي يجبُ استحضارُها عند الخوض في شيء من العلومِ البرهانُ: وهو يُرسَمُ بأنه قياسٌ مُؤلّفٌ من مقدّماتٍ يقينيةٍ لإنتاجِ اليقين كما مَرَّ من الأمثلة، واليقين: هو اعتقادُ الشيءِ بأنَّهُ لا يُمكِنُ إلا أن يكونَ كذا اعتقاداً مُطابقاً للواقع غيرَ مُمكنِ الزَّوال، وقوله لا يمكنُ إلا أن يكون كذا: يُخرِجُ الظنَّ: وهو اعتقادُ الراجح، وقوله مطابقاً للواقعِ: يُخرِجُ الجهلَ المركَّبَ فإنَّهُ وإن كان اعتقاداً بأنه لا يمكنُ إلا أن يكونَ كذا، لكنَّ ليس مُطابقاً للواقعِ في نفسِ الأمرِ، وقوله غيرَ ممكنِ الزوالِ: يُخرِجُ اعتقادَ المُقلِّد، لأن الاعتقادَ فيه لا عن دليلٍ فيمكن زوالُهُ، وأما اليقينياتُ فأقسامٌ: منها أوَّلياتٌ: وهي ما يحكمُ العقلُ فيه بمجرَّدِ تصوّرِ الطرفين كقولنا: الواحدُ نصفُ الاثنينِ، والكلُّ أعظمُ من الجزءِ، ومنها مُشاهدَاتٌ: وهي ما يحكمُ العقلُ فيه بالحسِّ سواءٌ كان من الحواسِّ الظاهرةِ أو الباطنة كقولنا: النارُ محرقةٌ، والشمسُ مشرقةٌ، وقولنا: إنَّ لنا غضباً وخوفاً، ومنها مُجرَّباتٌ: وهي ما يحتاجُ العقلُ في جزمِ الحكمِ فيه إلى تكرَار المشاهدة مرةً بعد أخرى كقولنا: شربُ السقمونيا مُسهلٌ للصفراء، وهذا الحكمُ إنما يحصلُ بواسطة المشاهدات الكثيرة، ومنها حَدْسياتٌ: وهي ما لا يحتاجُ العقلُ في جزم الحكم فيه إلى واسطة تكرَار المشاهدة كقولنا: نورُ القمرِ مُستفادٌ من نورِ الشمس لاختلاف تشكُّلاته النُّوريةِ بحَسْبِ اختلاف أوضاعه من الشمس قُرباً وبُعداً، ومنها مُتواتراتٌ: وهي ما يَحكمُ العقلُ فيه بجزمِ الحكم بواسطةِ السَّماع من جمعٍ كثيرٍ استحالَ العقلُ توافُقَهم على الكذبِ، كالحكم بأنَّ النبيَّ ﷺ ادَّعى النُّبوة وأظهرَ المعجزةَ على يده، ومنها قضايا قياساتُها معها: وهي ما يَحكمُ العقلُ فيه بواسطةِ أمرٍ حاضرٍ لا يغيبُ عن الذهنِ عند تصوُّرِ الطرفين كقولنا: الأربعةُ زوجٌ، بسبب وسطٍ حاضرٍ في الذهنِ، وهو الانقسام بمُتساويين، والوسطُ: ما يقترنُ بقولنا لأنَّهُ حين يُقَالُ كذا وكذا.
Среди названных терминов , которые нужно держать в уме, приступая к любой из наук, — . Его описывают так: « из , чтобы получить достоверные », как в приведённых раньше примерах. Достоверность — это убеждённость о вещи, что она не может быть иной, чем такой-то, причём убеждённость, которая соответствует действительности и не может исчезнуть. Его слова «не может быть иной, чем такой-то» исключают вероятность, то есть убеждённость в том, что более вероятно. Его слова «соответствует действительности» исключают сложное невежество: хотя это убеждённость в том, что вещь не может быть иной, чем такой-то, она не соответствует действительности, как она есть сама по себе. Его слова «не может исчезнуть» исключают убеждённость того, кто следует чужому авторитету, потому что его убеждённость возникла не из довода, а значит, может исчезнуть. Достоверные посылки бывают нескольких разновидностей. Среди них — первичные истины: те, в которых ум выносит , лишь представив два термина, как наши слова «Один — половина двух» и «Целое больше части». Среди них — наблюдения: те, в которых ум выносит суждение через чувство, будь то внешние или внутренние чувства, как наши слова «Огонь жжёт» и «Солнце светит», и наши слова «У нас есть гнев и страх». Среди них — опытные : те, в которых уму, чтобы быть уверенным в суждении, нужно, чтобы наблюдение повторялось раз за разом, как наши слова «Питьё скаммония выводит желчь»; это суждение возникает только через многие наблюдения. Среди них — : те, в которых уму, чтобы быть уверенным в суждении, не нужно посредство повторного наблюдения, как наши слова «Свет луны исходит от света солнца», потому что формы её света меняются по мере того, как меняется её положение относительно солнца — ближе и дальше. Среди них — : те, в которых ум уверен в суждении через то, что слышал его от большого множества людей, сговор которых на ложь ум считает невозможным, как суждение, что Пророк, да благословит его Аллах и приветствует, заявил о пророчестве и от его рук явилось чудо. Среди них — суждения, : те, в которых ум выносит суждение через нечто присутствующее, что не покидает ум, когда представлены два термина, как наши слова «Четыре — чётное число» — «из-за , который есть в уме», а именно делимости на две равные части. Средний термин — это то, что присоединяется к нашему слову «потому что», когда говорят: «то-то [так], потому что то-то».
Sharḥ Īsāghūjī · с. 73