ろんり‐がく【論理学】 正しい認識を得るために、思考の形式や法則を研究する学問。特に、記号論理学で、日常言語のあいまいさを避けるために、形式化された言語や計算によって、形式的論理を取り扱う学問。