けいしき‐ろんりがく【形式論理学】 (formal logic)命題の内容ではなく、形式のみに依存してその妥当性が決まる推論（演繹的推論）を体系的に研究する論理学。アリストテレス以来の伝統的論理学、フレーゲ以降の現代論理学はすべて形式論理学である。 ⇒けい‐しき【形式・型式】