数理論理学

数理論理学とは何か?

論理学は、知的生物である人間が「意思決定」を行う際、 必ず必要となる「推論」そのものについて、メタ的な推論を加える学問だという事ができます。

数理論理学は、このメタ的な推論として、 数学的な手法や証明を用いるものを指し、恐らくは19世紀後半のGottlobe Fregeに始まる学問分野です。

使用テキスト例

リンク先は出版社ページです。