岡田 光弘

論理的思考の解明に向けて――論理推論の学際的統合研究 　論理学という学問は紀元前4世紀にアリストテレスにより定式化されて以来現在まで研究が蓄積されてきた、最も古い学問分野の一つです。また、論理学の文脈の中で1936年に現代のコンピュータ理論が誕生しました。しかし論理学や論理思考の研究分野には21世紀の現在も、まだ解明されていない問題が数多くあります。私は論理や論理推論の研究を通じて人間の思考の解明を目指しています。平成25年度もこの目的で、哲学を中心に、数理論理学的観点、計算機科学・情報科学的観点、認知科学的観点、神経科学的観点などを含む学際的観点から、論理学を多面的に研究してきました。 　平成25年度の研究には以下のものがあります。 1.哲学的論理 　20世紀を代表するウィトゲンシュタイン、フッサールなどの哲学者たちの論証と計算の理論、数学の哲学について現代的に再評価する観点を提示しました。 2.認知科学手法 　情報科学的手法などｐ取り入れてと論理的判断の研究を進めています。ライプニッツ、オイラーなどから始まる図形的論理推論、グラフィック推論の理論を理論と被験者調査研究の両面から研究しています。 3.論理構造の理論研究 　線形論理と呼ばれる基底的な論理構造（古典論理と直感的論理の区別以前の論理）に対して、それをさらに分解してより基底的な論理推論群から線形論理を構成する基礎理論研究を進めました。 4.情報ネットワーク社会が直面する諸問題を論理学的観点から考察しています。セキュリティプロトコルの論理的安全性証明、セキュリティとプライバシーの問題、アルゴリズムの公平性、等の問題が挙げられます。2013年開設以来私が所長を務める「論理と感性のグローバル研究センター」（先導研傘下）の学際的研究環境の下でも進めています。