きごう‐ろんりがく【記号論理学】_‥ガウ‥ (symbolic logic)推論を構成する命題を数学の記号に類する記号によって表現し、推論の規則を記号操作の規則として定式化する論理学。現代に一般に行われる論理学で、フレーゲ・ラッセルが体系化。数学的論理学・数理論理学などともいう。 ⇒き‐ごう【記号】