معجم مقاليد العلوم في الحدود والرسوم

٩٥٥ - الأوْلياتُ: قضايا تصور طرفيها كَاف فِي الْجَزْم بَينهمَا.
٩٥٦ - المشَاهَدَاتُ: قضايا يحكم بهَا بقوى ظَاهِرَة أَو باطنة.
٩٥٧ - المجَرَّبَات: قضايا يحكم بهَا لمشاهدات متكررة مفيدة لليقين.
٩٥٨ - الحَدْسِيات: قضايا يحكم بهَا لحدس قوي فِي النَّفس مُفِيد للْعلم.
٩٥٩ - الحَدْس: سرعَة الِانْتِقَال من المبادئ إِلَى المطالب.
٩٦٠ - المتواتراتُ: قضايا يحكم بهَا لِكَثْرَة الشَّهَادَات بعد الْعلم بِعَدَمِ امتناعها، والأمن من التواطؤ عَلَيْهَا.
٩٦١ - البُرْهَان: الْقيَاس الْمُؤلف من اليقينيات.
٩٦٢ - البُرْهَان اللِّمِّي: مَا يكون الْحَد الْأَوْسَط فِيهِ علته للنسبة فِي الذِّهْن، وَالْعين مَعًا.
٩٦٣ - البُرهان الإِنِّي: مَا يكون الْحَد الْأَوْسَط فِيهِ علته للنسبة فِي الذِّهْن فَقَط.