マンガ 12.k 論理学 11 論理の形式化

論理学は形式化されることによって、単なる言葉の分析から、推論の構造の全体を調べられるものになったようです。

LabyAI_BTN
←マンガごっちゃに置かせてもらっています

論理学は哲学の一分野であることを知ったのをスタート地点に、まとめてみたものです。結果として古代ギリシアからの歴史を巡ることになりました。

抽象的なものをこねくり回すのが哲学、というイメージをもっていたのですが、生き残りをかけた、良さ・正しさの議論に論証で決着をつけよう、というもののように思えます。

そのどこを引き継いだのかが違うため、色々なものが哲学と呼ばれていますが、論理学(の一部)は、誰に対しても中立に白黒をつけようとした結果、形式化されて計算になった。ということなのでしょう。