様々な種類の定義である。始点に関する実際の説明とも符合する。関する説明とも符合する。(showing)」に用いる。常に形式的論証と密接に結びついている。アリストテレス的三段論法の構造アリストテレスは三段論法を第一格に還元する。第一格の優先性の所以は必ずしも明らかでないが,何ほどか〈第一格がクラス包含の推移性に依拠する〉という事実によることは明白である。したがって,アリストテレス的説明とは,中項挿入によりクラス包含関係を明らかにすることでなされる。不可分の結合より重要なこととして,この三段論法モデルから,学的推論の第一の前提に関する幾つかの特徴が従う。第一の還元不能な前提は,項間の無中項の結合を主張する。した前提が必ずあることを示す。(この有限性は本質の可知性から従う。)そうだとすると,無中項の前提命題列は最下位の主項の定義を与えることになる。言われるのも当然である。この点は十分理解されてこなかった。以下これを「不可分の結合に関する前提」と呼ぶ。」としか答えられない。したがってアリストテレス的学問は強い概念的内容を含む。意味するもの〉だから」とは異なる。定義は,関連する事実の余す所ない知識の観点からなされる必要がある。他方,三段論法理論は,もう一つの基礎的前提である共通公理の発想源ともなった。「第一哲学」に属するものとして論じられる。ἄμεσοςアリストテレス的学問の前提の一種に無中項の推論的原理であることを見てきた。他のものは推論的ではなく,後者にも無中項のものとそれ以外がある。アリストテレスは両者の厳格な区別をしていない。