けいしきろんりがく【形式論理学】 〔formal logic〕 推論や議論の妥当性を，その形式的側面に関して考究する学問。伝統的形態はアリストテレスによって整備され，推論，特に三段論法を中心に，概念・命題・誤謬などを取り扱う。現代の記号論理学はこれを記号の数学的演算の体系として発展させたもの。