ABOUT KEYWORD
数理論理学とは、思考の法則や形式といった論理的な推論を、数学的記号を使って研究する論理学の一分野を指します。「記号論理学」や「理論的論理学」とも呼ばれています。例えば、「明日晴れれば、私はショッピングに行く」ということを数理論理学で考えると、「ショッピングに行く」のは「明日晴れた場合」という命題と条件に分けることができ、A→Bのような記号で表すことができます。このように思考を抽象化・形式化することは、人間が何気なく考えていることや話していることを、コンピュータなどが処理できる言語へと置き換えることでもあり、特にAIや機械学習の分野での基礎となっています。
