論理学は文字通り「論理」の学問であり,推論の方法を研究する学問である。
ここで
という命題を記号で表し,
最初に が現れ,次にこれのの左側のが並び最後に,の右側のが現れている。
結局,最初に述べた三段論法は記号の列
この教材で扱う「記号論理学」ではこのように事物についての主張である命題を記号の列で表現しそれらを操作して,正しい結論を得るための法則を調べる。
記号の規則的な操作を調べるから,それには数学的な手段を用いることができる。 このため記号論理学は数理論理学とも呼ばれている。