Research projects

In our project project, we studied foundations of the logic of knowledge discovery and computation models of knowledge discovery. In our study of foundations of the logic of knowledge discovery, we aimed to give such foundations from the two sides of logic in philosophy and mathematical logic, and we studied the 'context of discovery', in particular, discoveries which cannot be reduced to logical algorithms. Furthermore, we stuidied deductive aspects of logic of discovery from the standpoint of mathematcial and formal loigc. Also, we analyzed the process of acquiring knolwedge and concepts in disccovery from the philosophical standpoint, and we formalized it base on a theory of belief revsion. Moreover, we studied the relationship between the introduction of ideal concepts in mathematics and discovery in mathematcis, and we gave foudations for the study of discovery of new concepts. In our study on computaion models of konwledge discovery, we studied computaion models corresponding to logic of knowledge discovery, and implemented several systems which realize appropriate computation models. In pariticular, we obtained results in (I) a computation model for solving problems in distributed compatation space, (ii) discovery of algorithms by model checking method and (iii) algorithm discovery porcedure from proofs in classical logic.

We give new view points and new solutions to the fundamental issues in philosophy of logic and philosophy of mathematics

Weare developing theory and techniques of "provabl" secure cryptographic protocols, by which security properties are logically-formally provable.

哲学・倫理学

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

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

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

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

We proposed a new research method for logical inference research, by includng the aspects of logic, cognition stdies andbehavioral genetics.