図形推論分析のための論理学と認知科学の統合的証明論研究

• 資料種別: 文書・図像類
• タイトル: 図形推論分析のための論理学と認知科学の統合的証明論研究
• 著者・編者: 竹村, 亮
• 著者標目: 竹村, 亮
• 出版年月日等: 2011
• 出版年（W3CDTF）: 2011
• 並列タイトル等: ズケイ スイロン ブンセキ ノ タメ ノ ロンリガク ト ニンチ カガク ノ トウゴウテキ ショウメイロン ケンキュウ; Zukei suiron bunseki no tame no ronrigaku to ninchi kagaku no togoteki shomeiron kenkyu; A proof-theoretical investigation on diagrammatic reasoning
• タイトル（掲載誌）: 科学研究費補助金研究成果報告書
• 本文の言語コード: jpn
• 件名標目: 論理学,証明論,図形推論
• 対象利用者: 一般
• 一般注記: type:text; 近年、図形やグラフなど様々な非言語的表現に基づく推論の重要性が注目され研究が行われている。このような推論研究においては、伝統的な論理学的分析とともに、非言語的な表現の持つ認知的な性質の分析が不可欠となる。しかしながらこれまでの論理学的研究および認知科学的研究では、図形やグラフ表現の静的な性質(表現レベルの性質)についての意味論的研究が中心であり、動的な性質(推論レベル・操作上の性質)についての証明論的研究は行われていない。本研究では、図形表現の動的な性質を分析するための証明論的な枠組みを導入した。またその証明論の枠組みにおいて、free ride(自動表現)と呼ばれる図形の認知的性質を、推論体系間の翻訳手法を用いて証明論的に形式化した。さらにその形式化に基づいて、オイラー図証明、ヴェン図証明と、通常の記号論理学における自然演繹証明との比較分析を行い、図形的証明の構造を証明論的に特徴付けた。; 研究種目 : 研究活動スタート支援 研究期間 : 2010～2011 課題番号 : 22820053 研究分野 : 人文学 科研費の分科・細目 : 哲学・倫理学
• 一次資料へのリンクURL: https://koara.lib.keio.ac.jp/xoonips/modules/xoonips/download.php?koara_id=KAKEN_22820053seika
• オンライン閲覧公開範囲: 限定公開
• 関連情報: 科研費研究者番号 : 70583665
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 慶應義塾大学 : 慶應義塾大学学術情報リポジトリ