三省堂 大辞林

けいしき-ろんりがく 7 【形式論理学】

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