• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2015 Fiscal Year Annual Research Report

Logic and Computation of Prediction, Judgment and Decision Making

Planned Research

Project AreaElucidation of neural computation for prediction and decision making: toward better human understanding and applications
Project/Area Number 23120002
Research InstitutionKeio University

Principal Investigator

岡田 光弘  慶應義塾大学, 文学部(三田), 教授 (30224025)

Co-Investigator(Kenkyū-buntansha) 敷島 千鶴  帝京大学, 文学部, 准教授 (00572116)
金子 守  早稲田大学, 政治経済学術院, 特任教授 (40114061)
山田 友幸  北海道大学, 文学研究科, 教授 (40166723)
下嶋 篤  同志社大学, 文化情報学部, 教授 (40303341)
Project Period (FY) 2011-04-01 – 2016-03-31
Keywords論理推論 / 意思決定 / 論理の哲学 / 数学の哲学 / 図形論理 / 証明論 / 行動遺伝学 / アレパラドクス
Outline of Annual Research Achievements

論理推論課題、認知課題を用いて、単に集団レベルだけでなく、個人レベルの認知・論理推論能力と意思決定方略との関連性を調べ、その成果を国際学術誌で報告した。論理推論能力を含む認知能力と、意思決定方略の選び方との関係を双生児法行動遺伝学データも含めて分析したことが本研究の独自成果となった。特に、アレ課題調査を組み合わせることにより、意思決定方略と認知・論理推論能力の関係を遺伝要因の観点から分析し成果を上げた。
選択肢のグラフィック表示が論理判断や意思決定に与える影響について、学際研究成果をまとめた。特に多属性選択肢のグラフィック表示が意思決定や論理判断を容易にすることが先行研究で指摘されてきたが、本研究ではアイトラッカーなどによる認知科学的手法と組み合わせながら、グラフィック表現の使われ方が意思決定・判断のプロセスや方略にどのような影響を与えるかという新しい視点から、分野横断的な成果を与えた。図の意味論的特性と統語論的特性が意思決定にどのような効果を与えるかついて欧文専門書の形にまとめた。また、「プロセス=証明対応」というよく知られたソフトウエア科学の観点を取り入れて、図的証明、証明網の観点から判断プロセスを考察した。
論理判断・判断・決定においては蓋然的判断やデフォルト推論が重要である。確率的可能世界意味論と古典論理推論との関係性を計算論的に明らかにし、それを定式化した。その情報学的応用を具体的に与えた。これまで動的論理の枠組みを用いて言語行為について分析を行ってきたが、その成果をチャネル理論的コミュニケーションモデルを用いてまとめた。20世紀初頭以来の論理判断と論理計算モデルの見方を前年度から再吟味してきたが、この成果をまとめ、理論的な側面から我々の研究に取り入れた。ゲーム理論と認識論理の関係についてのこれまでの我々独自の分析等を通じて、意思決定のゲーム論的側面の研究をまとめた。

Research Progress Status

27年度が最終年度であるため、記入しない。

Strategy for Future Research Activity

27年度が最終年度であるため、記入しない。

  • Research Products

    (47 results)

All 2017 2016 2015 Other

All Int'l Joint Research (6 results) Journal Article (6 results) (of which Int'l Joint Research: 4 results,  Peer Reviewed: 5 results,  Open Access: 2 results,  Acknowledgement Compliant: 4 results) Presentation (27 results) (of which Int'l Joint Research: 21 results,  Invited: 7 results) Book (3 results) Funded Workshop (5 results)

  • [Int'l Joint Research] CNRS (国立科学研究センター)/パリ第1大学/INRIA(フランス)

    • Country Name
      FRANCE
    • Counterpart Institution
      CNRS (国立科学研究センター)/パリ第1大学/INRIA
    • # of Other Institutions
      4
  • [Int'l Joint Research] ケベック大学モントリオール校(カナダ)

    • Country Name
      CANADA
    • Counterpart Institution
      ケベック大学モントリオール校
  • [Int'l Joint Research] ローマ第3大学(イタリア)

    • Country Name
      ITALY
    • Counterpart Institution
      ローマ第3大学
  • [Int'l Joint Research] ヘルシンキ大学(フィンランド)

    • Country Name
      FINLAND
    • Counterpart Institution
      ヘルシンキ大学
  • [Int'l Joint Research] ルクセンブルグ大学(ルクセンブルク)

    • Country Name
      LUXEMBOURG
    • Counterpart Institution
      ルクセンブルグ大学
  • [Int'l Joint Research]

    • # of Other Countries
      1
  • [Journal Article] Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4, Computer science Logic 20162017

    • Author(s)
      Gergei Bana and Mitsuhiro Okada
    • Journal Title

      Leibniz International Proceeding Series, Proceedings of Computer Science Logic 2016Article No. 23;

      Volume: 23 Pages: 1-17

    • DOI

      10.4230/LIPIcs.CSL.2016.34

    • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Syntactic reduction in Husserl's early phenomenology of arithmetic.2016

    • Author(s)
      Mirja Hartimo and Mitsuhiro Okada
    • Journal Title

      Synthese

      Volume: 193 Pages: 937-969

    • DOI

      10.1007/s11229-015-0779-0

    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Genetic factors of individual differences in decision making in economic behavior: A Japanese twin study using the allais problemJournal of Neuro-decision science, Frontiers in Psychology2015

    • Author(s)
      Chizuru Shikishima, Kai Hiraishi, Shinji Yamagata, Juko Ando, and Mitsuhiro Okada.
    • Journal Title

      Frontiers in Psychology, Journal of Neuro-Decision Science,

      Volume: 6(1712) Pages: 1-20

    • DOI

      10.3389/fpsyg.2015.01712

    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] フッサール初期の普遍算術と確定多様体2015

    • Author(s)
      岡田光弘
    • Journal Title

      現象学年報

      Volume: 31 Pages: 1-12

    • Acknowledgement Compliant
  • [Journal Article] Understanding the Other through Social Roles2015

    • Author(s)
      Mamoru Kaneko and Jeffrey J. Kline
    • Journal Title

      International Game Theory Review,

      Volume: 17-1 Pages: 11-31

    • DOI

      10.1142/S0219198915400058.

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Elimination of Dominated Strategies and Inessential Players2015

    • Author(s)
      Mamoru Kaneko and Shuige Liu
    • Journal Title

      Operations Research and Decisions

      Volume: 25 Pages: 35-56

    • DOI

      10.5277/ord150153.

    • Peer Reviewed / Int'l Joint Research
  • [Presentation] On introduction rules of generalized connectives with proof-nets and substructural logics2017

    • Author(s)
      Yuki Nishimuta and Mitsuhiro Okada
    • Organizer
      French-Japanese Meeting on Philosophy of Logic and Mathematics: Towards Philosophy of Proofs
    • Place of Presentation
      Keio University (東京都港区)
    • Year and Date
      2017-01-12 – 2017-01-13
    • Int'l Joint Research
  • [Presentation] Normativity, Normality and Normalization of Proofs2017

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Philosophy of Logic and Mathematics
    • Place of Presentation
      Keio University (東京都港区)
    • Year and Date
      2017-01-12 – 2017-01-13
    • Int'l Joint Research
  • [Presentation] Philosophy of Arithmetic in Wittgenstein2016

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Wittgenstein Symposium
    • Place of Presentation
      Keio University (神奈川県横浜市)
    • Year and Date
      2016-12-20 – 2016-12-21
    • Invited
  • [Presentation] Some remarks on introduction rules of generalized connectives of multiple linear logic2016

    • Author(s)
      Yuki Nishimuta and Mitsuhiro Okada
    • Organizer
      Univ-Paris 1- Keio U Collaborative Meeting on Philosophy of Logic
    • Place of Presentation
      University of Paris 1 IHPST パリ (フランス)
    • Year and Date
      2016-11-11 – 2016-11-12
    • Int'l Joint Research
  • [Presentation] Formal proof vs proof form2016

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Univ-Paris 1- Keio U Collaborative Meeting on Philosophy of Logic
    • Place of Presentation
      University of Paris 1 (IHPST) パリ(フランス)
    • Year and Date
      2016-11-11 – 2016-11-12
    • Int'l Joint Research
  • [Presentation] Linear logic and philosophy2016

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Philosophy of Linear Logic
    • Place of Presentation
      University of Lyon リヨン市(フランス)
    • Year and Date
      2016-11-10 – 2016-11-10
    • Int'l Joint Research / Invited
  • [Presentation] Proof-forms vs. formal-proofs: Towards reconsideration of "formal proofs" and related notions2016

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Workshop of Philosophy of Logic; Kant, Husserl and Linear Logic
    • Place of Presentation
      Waseda University, Advanced Research Institute (東京都新宿区)
    • Year and Date
      2016-10-21
    • Invited
  • [Presentation] Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S42016

    • Author(s)
      Gergei Bana and Mitsuhiro Okada
    • Organizer
      Computer science Logic 2016
    • Place of Presentation
      University of Marseille マルセイユ(フランス)
    • Year and Date
      2016-08-29 – 2016-09-01
    • Int'l Joint Research
  • [Presentation] A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator Systems2016

    • Author(s)
      Atsushi Shimojima and Dave Barker-Plummer
    • Organizer
      Ninth International Conference on the Theory and Application of Diagrams
    • Place of Presentation
      University of Pemsyivania, フィラデルフィア(米国)
    • Year and Date
      2016-08-07 – 2016-08-10
    • Int'l Joint Research
  • [Presentation] Effective Representation of Information: Generalizing Free Rides2016

    • Author(s)
      Gem Stapleton, Mateja Jamnik, and Atsushi Shimojima
    • Organizer
      Ninth International Conference on the Theory and Application of Diagrams
    • Place of Presentation
      University of Pemsyivania, フィラデルフィア(米国)
    • Year and Date
      2016-08-07 – 2016-08-10
    • Int'l Joint Research
  • [Presentation] Determinants of individual differences in subjective well-being: Genetic and environmental analyses using Japanese adult samples2016

    • Author(s)
      Chizuru Shikishima, Shinji Yamagata, Juko Ando, Michio Naoi, & Hideo Akabayashi
    • Organizer
      The 23rd Congress of the International Association for Cross-Cultural Psychology
    • Place of Presentation
      名古屋大学 (愛知県名古屋市)
    • Year and Date
      2016-07-30 – 2016-08-03
    • Int'l Joint Research
  • [Presentation] A study of multi-attribute decision making and reasoning2016

    • Author(s)
      Takashi Ideno, Masahiro Morii, Mitsuhiro Okada, & KazuhisaTakemura .
    • Organizer
      The 31st International Conference of Psychology
    • Place of Presentation
      Pacifico Yokohama (神奈川県横浜市)
    • Year and Date
      2016-07-24 – 2016-07-29
    • Int'l Joint Research
  • [Presentation] Effects of graphical representation in multi-attribute tables:2016

    • Author(s)
      Takashi Ideno, Masahiro Morii, Mitsuhiro Okada, & Kazuhisa Takemura
    • Organizer
      The 31st International Conference of Psychology
    • Place of Presentation
      Pacifico Yokohama (神奈川県横浜市)
    • Year and Date
      2016-07-24 – 2016-07-29
    • Int'l Joint Research
  • [Presentation] 眼球運動測定による多属性意思決定過程の検討:属性値の図的表現の影響2016

    • Author(s)
      森井真広・井出野尚・竹村和久・岡田光弘
    • Organizer
      第52回消費者行動研究コンファレンス
    • Place of Presentation
      関西学院大学 (大阪府大阪市)
    • Year and Date
      2016-06-18 – 2016-06-19
  • [Presentation] 図表現の意味特性とその認知ポテンシャル2016

    • Author(s)
      下嶋篤
    • Organizer
      応用哲学会ワークショップ「現代科学における視覚表象の認識論に向けて 」
    • Place of Presentation
      東京大学(東京都目黒区)
    • Year and Date
      2016-05-07 – 2016-05-07
  • [Presentation] Multiplicative logics and introduction of generalized logical connectives2016

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Philosophy of Logic; Towards Philosophy of Proofs
    • Place of Presentation
      Keio University (東京都港区)
    • Year and Date
      2016-01-14 – 2016-01-15
    • Int'l Joint Research
  • [Presentation] The Barwise-Seligman Model of Representation Systems: A Philosophical Explication2015

    • Author(s)
      下嶋篤
    • Organizer
      2015年度科学基礎論学会秋の研究例会
    • Place of Presentation
      東京大学(東京都目黒区)
    • Year and Date
      2015-11-07 – 2015-11-08
  • [Presentation] Parametric Constraits in Channel Theory2015

    • Author(s)
      山田 友幸
    • Organizer
      科学基礎論学会2015年度秋の研究例会(招待講演)
    • Place of Presentation
      東京大(東京都目黒区)
    • Year and Date
      2015-11-07 – 2015-11-07
    • Invited
  • [Presentation] Formal Verification of Cryptographic Protocols and French-Japanese Collaboration2015

    • Author(s)
      Gergei Bana and Mitsuhiro Okada
    • Organizer
      Shonan-Village Workshop on Formal verification for Security and Privacy
    • Place of Presentation
      Shonan-Villadge, NII (神奈川県葉山町)
    • Year and Date
      2015-10-23 – 2015-10-26
    • Int'l Joint Research
  • [Presentation] Channel Theoretic Reflections on Dynamic Logics of Speech Acts2015

    • Author(s)
      Tomoyuki Yamada
    • Organizer
      Structural Analysis of Non-Classical Logics:The Second Taiwan Philosophical Logic Colloquium
    • Place of Presentation
      台北大学 台北(台湾)
    • Year and Date
      2015-10-20 – 2015-10-21
    • Int'l Joint Research
  • [Presentation] Assertions and Commitments2015

    • Author(s)
      Tomoyuki Yamada
    • Organizer
      International Conference on Williamson, Logic and Philosophy
    • Place of Presentation
      北京大学 中華人民共和国(北京市)
    • Year and Date
      2015-10-16 – 2015-10-16
    • Int'l Joint Research
  • [Presentation] Husserlian Notion of Manifold as Proof-Rewrite Networks and its Extension2015

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Workshop "Trends in Proof Theory", Mathematical Society of Germany
    • Place of Presentation
      Hamburg University ハンブルグ(ドイツ)
    • Year and Date
      2015-09-20 – 2015-09-21
    • Int'l Joint Research / Invited
  • [Presentation] Husserl’s universal arithmatic and his proof theoretical view of formal mathematics”2015

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Workshop "Philosophy of Mathematics and Proof Theory"
    • Place of Presentation
      Keio University (東京都港区)
    • Year and Date
      2015-09-10 – 2015-09-11
    • Int'l Joint Research
  • [Presentation] Product Update for Dynamified Deontic Logic of Speech Acts2015

    • Author(s)
      Tomoyuki Yamada
    • Organizer
      15th Congress of Logic, Methodology and Philosophy of Science
    • Place of Presentation
      ヘルシンキ大学 ヘルシンキ(フィンランド)
    • Year and Date
      2015-08-07 – 2015-08-07
    • Int'l Joint Research
  • [Presentation] Decision making with multi-attribute tables2015

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      the 5th Symposium on Biology of Decision Making
    • Place of Presentation
      Ecole Normale Superieure (ENS) and ICM パリ(フランス})
    • Year and Date
      2015-05-11 – 2015-05-13
    • Int'l Joint Research / Invited
  • [Presentation] A Lockean Perspective on What Thinks Cartesian ``cogito2015

    • Author(s)
      山田 友幸
    • Organizer
      Self and (its) Realization(s) (招待講演)
    • Place of Presentation
      北海道大学(北海道札幌市)
    • Year and Date
      2015-05-09 – 2015-05-09
    • Int'l Joint Research / Invited
  • [Presentation] Formal Verification of Security Properties Against Arbitrary Attackers”,2015

    • Author(s)
      Gergei Bana and Mitsuhiro Okada
    • Organizer
      Franco-Japanese Workshop on Computer Security, April 2015
    • Place of Presentation
      駐日フランス大使館及び慶應義塾大学(東京都港区)
    • Year and Date
      2015-04-01 – 2015-04-03
    • Int'l Joint Research
  • [Book] Wittgenstein’s Return to Cambridge2017

    • Author(s)
      Mathieu Marion and Mitsuhiro Okada (Chaptet authir), D.Stern(edit.)
    • Total Pages
      32
    • Publisher
      Cambridge University Press
  • [Book] Semantic Properties of Diagrams and Their Cognitive Potentials2015

    • Author(s)
      Atsushi Shimojima
    • Total Pages
      186
    • Publisher
      CSLI Publications
  • [Book] Emerging Trends in the Social and Behavioral Sciences: An Interdisciplinary, Searchable, and Linkable Resource2015

    • Author(s)
      Christian Kandler, Edward Bell, Chizuru Shikishima, Shinji Yamagata, & Rainer Riemann
    • Total Pages
      21
    • Publisher
      Wiley & Sons
  • [Funded Workshop] 証明の哲学日仏ワークショップ2017

    • Place of Presentation
      慶應義塾大学三田キャンパス(東京都港区)
    • Year and Date
      2017-01-11 – 2017-01-12
  • [Funded Workshop] 「論理の哲学」日仏ワークショップー証明の哲学に向けて2016

    • Place of Presentation
      慶應義塾大学三田キャンパス(東京都港区)
    • Year and Date
      2016-01-13 – 2016-01-14
  • [Funded Workshop] Proofs, Computation and Philosophy2015

    • Place of Presentation
      慶應義塾大学三田キャンパス(東京都港区)
    • Year and Date
      2015-11-28 – 2015-11-29
  • [Funded Workshop] Workshop on Philosophy of arithmetic2015

    • Place of Presentation
      慶應義塾大学三田キャンパス(東京都港区)
    • Year and Date
      2015-09-10 – 2015-09-10
  • [Funded Workshop] 日仏サイバーセキュリティ会議(形式手法分科会)2015

    • Place of Presentation
      慶應義塾大学三田キャンパス及び駐日フランス大使館(東京都港区)
    • Year and Date
      2015-04-01 – 2015-04-03

URL: 

Published: 2018-01-16   Modified: 2022-02-01  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi