記号論理学

だが他方ライプニツのこの普遍文字は、近代の哲学者、特に英仏のライプニツの新研究家達や新しい形式論理学者達の手によって、今云った根本的な無理をそのまま、発展せしめられて、「近代論理学」「記号論理学」乃至「論理計算」となって、現在では相当思想上の意義を持っている。

「記号論理学の基礎をしっかり固めておかないと、AIの学習理論を深く理解するのは難しい。」

「数学の複雑な証明問題を、記号論理学を用いて厳密に記述していく作業は根気がいる。」

「論理回路の効率的な設計には、記号論理学によるブール代数の知識が不可欠だね。」

「哲学科の学生だった頃、記号論理学の単位を取るために図書館にこもって勉強した思い出がある。」