数理論理学とは何か？
論理学は、知的生物である人間が「意思決定」を行う際、 必ず必要となる「推論」そのものについて、メタ的な推論を加える学問だという事ができます。
数理論理学は、このメタ的な推論として、 数学的な手法や証明を用いるものを指し、恐らくは19世紀後半のGottlobe Fregeに始まる学問分野です。
使用テキスト例
リンク先は出版社ページです。
論理学は、知的生物である人間が「意思決定」を行う際、 必ず必要となる「推論」そのものについて、メタ的な推論を加える学問だという事ができます。
数理論理学は、このメタ的な推論として、 数学的な手法や証明を用いるものを指し、恐らくは19世紀後半のGottlobe Fregeに始まる学問分野です。
リンク先は出版社ページです。