その理由は次のとおりです。
* カテゴリー命題: カテゴリーロジックは、2つのカテゴリ(またはクラス)間の関係を主張または拒否する命題(ステートメント)を扱います。これらの命題は、通常、主題の刑の形であります。
* 例:
*「すべての人間は致命的です。」 (件名:人間、述語:人間)
*「犬は猫ではありません。」 (件名:犬、述語:猫)
*「一部の学生はアスリートです。」 (件名:学生、述語:アスリート)
カテゴリロジックの重要な機能:
* 単純な構造: 文は通常、主題と述語を伴う単純です。
* 量子: これらの文章は、多くの場合、「すべて」、「いいえ」、または「一部」などの定量因子を使用して、ステートメントの範囲を示します。
* 4つの標準フォーム: カテゴリーロジックには、4つの基本的な形式の命題があります。
* a (普遍的な肯定):すべてがPです
* e (ユニバーサルネガティブ):sはPです。
* i (特定の肯定):一部のsはPです
* o (特定のネガティブ):一部のSはPではありません。
アリストテレスの論理は、三段論法の推論などの他の領域を網羅していますが、カテゴリーロジックは基礎を形成し、この単純な主題予測構造をそのコア要素として使用します。
