けいしき‐ろんりがく【形式論理学】 正しい思考の構造および過程を、思考の内容を捨象してもっぱらその形式・法則の面から取り扱う学問。一般に、アリストテレスに始まり中世を通じて演繹_{（えんえき）}的論理学の体系としてまとめられた伝統的論理学をさすが、現代では記号論理学をもさす。