بعد، و أن تكون أوائل براهينها من مقدّمات أول بيّنة بنفسها هي أعرف و أقدم من كل مقدّمة بعدها. و إن لم تكن بهذه الشرائط، لم تكن المقدّمات برهانيّة (س، ب، ٥٥، ٦)- المقدّمات البرهانيّة يجب أن تكون ذاتيّة (مر، ت، ٢٠٩، ٤)- المقدّمات البرهانية علّة للنتيجة و العلّة مناسبة للمعلول بوجه ما (مر، ت، ٢١٤، ٤)- إنّ المقدّمات البرهانية يجب أن تكون ضروريّة، و أعرف من النتيجة؛ و ان تكون ذاتيّة، و أوّليّة، و مناسبة، و كليّة (مر، ت، ٢١٤، ١١)

مقدمات بينة

- المقدّمات البيّنة بنفسها كقولنا المقادير المتساوية لمقدار واحد متساوية (ن، ش، ٣٤، ٢٠)

مقدمات تفسيرية

- المقدّمات التفسيرية التي هي مبادي أولى للبرهان كالأوّليات أو المحسوسات أو المتواترات أو المجرّبات أو الحدسيات (م، ط، ٣٤٨، ١٨)

مقدمات ثلاثية

- (المقدمات) الثلاثية ففيها متناقضان: إحداهما محمولها محصّل، و الأخرى محمولها غير محصّل. و الأولى من هاتين المتناقضتين تسمّى بسيطة و الأخرى معدولة، من قبل عدول محمولها من التحصيل إلى غير التحصيل (ز، ع، ٥٨، ٢٢)

مقدمات ثنائية

- المقدمات الثنائية فيها مناقضة واحدة و هي التي محمولها محصّل (ز، ع، ٥٨، ٢١)

مقدمات جدلية

- المقدمات الجدلية هي الكلّية المشهورة، و بيّن أن موضوعاتها كليّة لأن التي موضوعاتها أشخاص تدرس أولا فأولا على طول الزمان أو تغيب فلا يدري كيف حالها بعد غيبتها عن الحواس (ف، ج، ١٧، ١)- المقدمات التي تشاهد محمولاتها في جزئيات موضوعاتها أو في أكثرها، و التي تصدق بالجملة في كثير من الأمور المشاهدة هي أيضا مقدمات جدلية (ف، ج، ٦٦، ٥)- أجناس المقدمات الجدليّة من جهة محمولاتها على عدد أجناس المطلوبات (ف، ج، ٩٤، ١٧)- المحمول في المقدّمات الجدلية: إمّا أن يكون ذاتيا أو عرضيا، و الأشياء الذاتية محصورة من قبل أن منها أمليت ذات الشي‌ء. و الأشياء العرضية معلومة، و ذلك أن مقولات الأعراض تسعة لا زائدة و لا ناقصة. و إذا كانت مبادئ المقاييس الجدلية، أعني موضوعاتها و هي الجواهر و محمولاتها و على الأشياء الذاتية و الأعراض محصورة، فلا محالة أن مبادئ القياس الجدلي متناهية (ز، ب، ٢٥٨، ١)- مقدّمات المقاييس الجدلية في غالب الأمر ليست كاذبة بالكلّ و لا صادقة بالكلّ (ش، ج، ٥٠١، ٢٠)

مقدمات جدلية مشهورة

- إنّ كثيرا من المقدّمات الجدليّة المشهورة تكون‌