共同研究・競争的資金等の研究課題

本研究課題では，知識発見の論理の基礎付けおよび知識発見の計算モデルに関する研究を行なった． 知識発見の論理の基礎付けに関する研究では，哲学における論理および数理論理学の両面から，知識発見の論理の基礎付けを図ることを目的とし，科学哲学における「発見の文脈」，特に，論理的アルゴリズムに還元できない「発見」について，哲学的視点から考察した．さらに発見の論理の演繹的側面を記号論理学，形式論理学の立場から考察した．さらに，発見における知識および概念の獲得過程を論理の立場から分析し，信念更新の理論に基づいて定式化した．また，数学における理想概念の導入と発見の関連を考察し，同時に概念と判断を組織的に記述できる体系を導入し，概念発見の考察のための基礎を与えた． 知識発見の計算モデルに関する研究では，知識発見の論理に対応する計算モデルについて検討し，適切な計算モデルを実現するシステムを計算機上に実現した．具体的には，分散計算空間における求解計算モデル，モデル検査法に基づくアルゴリズムの発見，古典論理の証明からのアルゴリズム発見手続について考察し成果を挙げた．

証明と論証の観点から、論理の哲学と数学の哲学の基本的諸問題を捉え直しています。

論理手法ー形式手法の情報セキュリティ研究への応用を行っている。時に、慶應義塾班では、暗号プロトコルの安全性の論理的・形式的証明を与えて、安全性を論理的に保証す論理のる手法を開発している。計算論と論理を繋ぐための、論理の計算論的健全性を与え、それをデフォルト推論の意味論にも応用しています。

哲学・倫理学

予測と意思決定の脳内計算機構の解明による人間理解と応用

前年度に引き続き、直観主義論理を中心とした現代論理学的研究を行った。直観主義論理と古典論理を含む論理の一元論的捉え方について、線形論理的手法と観点を拡張することを通じて検討し、成果を挙げた。このことを証明論、論理的意味論の両面から考察し、またその両者を融合する見方を与えた。 フッサール、ヒルベルト学派、ウィトゲンシュタインを中心とした論理哲学の研究を進め、直観主義論理と古典論理との関係について新しい哲学的知見を得た。特に等式算術証明体系に対してフッサールとウィトゲンシュタインが２０世紀初めに果たした前駆的な役割について新たな解明の手掛かりを与えた。フッサールの論理哲学とヒルベルトの論理哲学の関係や相違について研究を進めた。まら、ウィトゲンシュタインと英国構成主義論理学者グッドシュタインの論理哲学上の影響関係について考察を進めた。 図形的表現による論理推論証明体系について、直観主義論理的図形推論と古典論理的図形推論の区別を特徴付ることに成功した。 以上の成果を基に、認知科学的観点から直観主義論理と古典論理の推論プロセスモデルを検討した。特にこれまで認知心理学分野でなされてきた論理推論の先行研究を我々の立場から批判的に検討した。 直観主義論理と古典論理の関係についての新しい我々の視点に立ってコーエン流のForcingモデル構成（またはFitting-Ono流のモデル構成）を捉え直し、 一種の認識論理的枠組みに適用して、情報科学分野の情報通信モデル（特に通信プロトコル安全性）の計算論的完全性の問題に応用した。

800組の青年・成人期の双生児を対象とした行動遺伝学的研究から、認知能力、パーソナリティなどの遺伝・環境構造の解明を行った。一般知能の遺伝的実在性、社会的適応に及ぼす内的環境適応の過程、パーソナリティの普遍的遺伝構造モデルの提案、自尊心感情の縦断的変化などが成果としてなされた。また双生児データのデータベース化、webによる双生児調査フレームワークの確立もなされた。

1)線形論理や種々の新しい論理学理論の立場から、伝統的な認知科学的理論推論モデルや理論哲学的論理推論モデルの批判的分析や改訂を行った。特に、メンタルモデル理論とメンタルロジック理論に関する認知心理学の古典的論争やシンタクスとセマンティクスに関する論理哲学、情報科学等における二元論を現代論理学的観点から見直した。2)これまでは比較的少数の被験者調査を行うのが常であったが、統計的手法による実証的なデータ解析による大規模調査の方法論の研究を行った。「Baroco論理推論課題集」と呼ばれる演繹推論標準課題集を本申請グループが開発してきたが、これをさらに改良した。この課題集を用いて通常のIQ課題の関連性や、図形的表現による論理推論と言語的理論推論の(パフォーマンス)比較、抽象的推論と内容的推論の比較、信念相反的推論や領域依存的推論、論証構成と反例検索などに関わるデータの分析を行った。白血球中のRNAの転写量の差を調べるという方法論を導入することによって認知能力の関連遺伝子の所在とその効果量について調査する方法論を開発した。

論理、認知、遺伝の側面を含めた論理推論研究手法を杯発した。行動遺伝学的論理推論研究へも応用した。