マンガ12.B 命題論理-2 論理代数と論理主義

同じ命題論理なのになぜ色々と手法があるのか…。

まず、大きく分けると「ブール」が始めた論理代数と、「フレーゲ」が始めた論理主義があります。

そして、この2つのルーツが、論理の重要な2つの側面をあらわしています。

論理学を勉強している時に、まずこのことを押さえて、どっちの話をしている
のかを理解しておかないと、色々なところで混乱してしまいますので、きっちり確認しておきましょう。