Up 論理の勉強 作成: 2008-03-23
更新: 2008-03-23


    できることなら,論理は一度きちんと専門的に勉強した方がよい。

    論理の専門的な勉強の形には,つぎのものがある:
    • 「形式言語/理論」の勉強
    • 「集合と論理」の勉強
    • 「数学基礎論」の勉強

    ただし,数学はこれらの基礎の上に立っているわけであるから,どの分野であれ数学の内容を厳格に論理的に考えることをすれば,それはしっかり論理の勉強になっている。

    以上の「厳格な論理」はそのまま各種分野 (理論) に現れるわけではないが,「厳格な論理」をやっておけば論理全般が理解しやすくなる (転移!)。