Logic and Computation of Prediction, Judgment and Decision Making

• Project Area: Elucidation of neural computation for prediction and decision making: toward better human understanding and applications
• Project/Area Number: 23120002
• Research Category: Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
• Allocation Type: Single-year Grants
• Review Section: Complex systems
• Research Institution: Keio University
• Principal Investigator: Okada Mitsuhiro 慶應義塾大学, 文学部(三田), 教授 (30224025)
• Co-Investigator(Kenkyū-buntansha): 敷島 千鶴 帝京大学, 文学部, 准教授 (00572116) ; 金子 守 早稲田大学, 政治経済学術院, 教授 (40114061) ; 山田 友幸 北海道大学, 文学研究科, 教授 (40166723) ; 下嶋 篤 同志社大学, 文化情報学部, 教授 (40303341)
• Project Period (FY): 2011-04-01 – 2016-03-31
• Project Status: Completed (Fiscal Year 2016)
• Budget Amount: ¥81,250,000 (Direct Cost: ¥62,500,000、Indirect Cost: ¥18,750,000); Fiscal Year 2015: ¥14,820,000 (Direct Cost: ¥11,400,000、Indirect Cost: ¥3,420,000); Fiscal Year 2014: ¥14,820,000 (Direct Cost: ¥11,400,000、Indirect Cost: ¥3,420,000); Fiscal Year 2013: ¥16,640,000 (Direct Cost: ¥12,800,000、Indirect Cost: ¥3,840,000); Fiscal Year 2012: ¥16,380,000 (Direct Cost: ¥12,600,000、Indirect Cost: ¥3,780,000); Fiscal Year 2011: ¥18,590,000 (Direct Cost: ¥14,300,000、Indirect Cost: ¥4,290,000)
• Keywords: 論理推論 / 論理と数学の哲学 / 図的論理推論 / 行動遺伝学と意思決定 / 多属性意思決定 / 情報論理 / アレパラドクス / 論理と意思決定 / 意思決定 / 論理の哲学 / 数学の哲学 / 図形論理 / 証明論 / 行動遺伝学 / 論理 / 行動遺伝学（双生児法） / 図形推論 / ゲーム理論 / アイトラッカー / 哲学 / 論理学 / 論理哲学 / 国際研究者交流 / フランス、オランダ、イタリア / フランス・カナダ / 認識論理 / 推論の化学 / 義務論理

Outline of Final Research Achievements

We clarified various aspects of many-layered logical judgement-decision making processes, by introducing new methodologies combinig theoretical methods and experimental methods. Our findings include; (1) effects of different ways of graphic-diagrammatic information-representation on judger's logical inferences and multi-attribute decision making; (2) influences of genetic factors on individual's decision making, logical inference and cognitive abilities; (3) influences and potential influences of the logical-philosophicalnt works of the early 20th century (Husserl, Hilbert, Wittgenstein)on our contemporary logical theories.(4) We developed linear logical vews and possible　world-semantical views of classical-logical judgments and gave their applications to computer scientific judgments (e.g., on logical judgment for communication network security). (5) We also gave a new relationship between game theory and epistemic logic, and between philosophy of action and dynamic logic.

Research Products

• [Int'l Joint Research] CNRS (国立科学研究センター）/パリ第1大学/ＩＮＲＩＡ(フランス)
• [Int'l Joint Research] ケベック大学モントリオール校(カナダ)
• [Int'l Joint Research] ローマ第3大学(イタリア)
• [Int'l Joint Research] ヘルシンキ大学(フィンランド)
• [Int'l Joint Research] ルクセンブルグ大学(ルクセンブルク)
• [Int'l Joint Research]
• [Journal Article] Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4, Computer science Logic 2016 (2017)
  • 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 Issue: 3 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 problem. (2015)
  • Author(s): Shikishima, C., Hiraishi, K., Yamagata, S., Ando, J., & Okada, M.
  • Journal Title: Frontiers in Psychology Volume: 6 Pages: 1-20
  • DOI: 10.3389/fpsyg.2015.01712
  • Peer Reviewed / Open Access
• [Journal Article] フッサール初期の普遍算術と確定多様体 (2015)
  • Author(s): 岡田光弘
  • Journal Title: 現象学年報 Volume: 31 Pages: 1-12
  • Acknowledgement Compliant
• [Journal Article] Understanding the Other through Social Roles (2015)
  • Author(s): M. Kaneko, and J. J. Kline
  • Journal Title: International Game Theory Review Volume: 17(1) Issue: 01 Pages: 1-31
  • DOI: 10.1142/s0219198915400058
  • Peer Reviewed
• [Journal Article] Elimination of Dominated Strategies and Inessential Players (2015)
  • Author(s): Mamoru Kaneko and Shuige Liu
  • Journal Title: Operations Research and Decisions Volume: 25 Pages: 35-56
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] サールの社会制度理論とオースティンの言語行為論 (2015)
  • Author(s): 山田友幸
  • Journal Title: 哲学年報 Volume: 60 Pages: 21-37
• [Journal Article] Wittgenstein on equinumerosity and surveyability (2014)
  • Author(s): Mathieu Marion and Mitsuhiro Okada
  • Journal Title: Grazer Philosophische Studien Volume: 89 Pages: 57-76
  • Peer Reviewed
• [Journal Article] Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective. (2014)
  • Author(s): Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada.
  • Journal Title: Journal of Visual Languages and Computing, accepted Volume: 25 Issue: 3 Pages: 156-169
  • DOI: 10.1016/j.jvlc.2013.08.007
  • Peer Reviewed / Open Access
• [Journal Article] The Barwise-Seligman Model of Representation Systems: A Philosophical Explication (2014)
  • Author(s): Atsushi Shimojima, and Dave Barker-Plummer
  • Journal Title: Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014 Volume: 8 Pages: 231-245
  • DOI: 10.1007/978-3-662-44043-8_25
  • ISBN: 9783662440421, 9783662440438
  • Peer Reviewed
• [Journal Article] Logical Investigation of Reasoning with Tables (2014)
  • Author(s): R. Takemura, A. Shimojima, and Y. Katagiri
  • Journal Title: Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014 Volume: 8 Pages: 261-276
  • DOI: 10.1007/978-3-662-44043-8_27
  • ISBN: 9783662440421, 9783662440438
  • Peer Reviewed
• [Journal Article] Wittgenstein on Contradiction and Consistency: An Overview (to appear) (2014)
  • Author(s): M.Marion & M. Okada
  • Journal Title: O Que No Faz Pensar Volume: -
• [Journal Article] Wittgenstein on Equinumerosity and Surveyability (2014)
  • Author(s): M. Marion & M. Okada
  • Journal Title: Grazer Philosophische Studien Volume: 89 Pages: 59-76
• [Journal Article] The Barwise-Seligman Model of Representation Systems: A Philosophical Explication (2014)
  • Author(s): A.Shimojima, and Dave Barker-Plummer
  • Journal Title: Diagrammatic Representation and Inference: Eighth International Conference, Diagrams 2014, Proceedings Volume: -
  • Peer Reviewed
• [Journal Article] The epistemic closure principle and the assessment sensitivity of knowledge ascriptions (2014)
  • Author(s): Tomoyuki Yamada
  • Journal Title: Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics: Diealogue, Rationality, and Formalism Volume: 3 Pages: 181-199
• [Journal Article] Logic and Economics-Interactions between Subjective Thinking and Objective worlds (2013)
  • Author(s): M. Kaneko
  • Journal Title: Economic Theory Volume: Vol.53 Issue: 1 Pages: 1-8
  • DOI: 10.1007/s00199-012-0737-8
  • Peer Reviewed
• [Journal Article] Partial memories, inductively derived Views, and their interactions with behavior (2013)
  • Author(s): M. Kaneko, and J. J. Kline
  • Journal Title: Economic Theory Volume: Vol.53 Issue: 1 Pages: 27-59
  • DOI: 10.1007/s00199-010-0519-0
  • Peer Reviewed
• [Journal Article] Husserl and Hilbert on Completeness and Husserl’s Term Rewrite-based Theory of Multiplicity (2013)
  • Author(s): Mitsuhiro Okada
  • Journal Title: 24th International Conference on Rewriting Techniques and Applications (RTA’13) Volume: 21 Pages: 4-19
  • DOI: 10.4230/LIPIcs.RTA.2013.4
  • Peer Reviewed
• [Journal Article] Two cohort and three independent anonymous twin projects at the Keio Twin Research Center (KoTReC). (2013)
  • Author(s): Ando, J., Fujisawa, K. K., Shiki shima, C., Hiraishi, K., Nozaki, M., Yamagata, S., Takahashi, Y., Ozaki, K., Suzuki, K., Deno, M., Sasaki. S.. Toda, T., Kobayashi, K., Sugimoto, Y., Okada, M., Kijima, N., Ono, Y., Yoshimura, K, Kakihana, S., Maekawa, H., Kamakura, T., Nonaka, K., Kato, N., & Ooki, S.
  • Journal Title: Twin Research and Human Genetics Volume: 16(1) Issue: 1 Pages: 202-216
  • DOI: 10.1017/thg.2012.131
  • Peer Reviewed
• [Journal Article] An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning (2013)
  • Author(s): A.Shimojima and Y. Katagiri
  • Journal Title: Cognitive Science Volume: 37 Issue: 2 Pages: 211-254
  • DOI: 10.1111/cogs.12026
  • Peer Reviewed
• [Journal Article] 行為における合理性と因果 (2013)
  • Author(s): 山田友幸
  • Journal Title: 科学哲学 Volume: 46 Pages: 1-16
  • NAID: 130004546740
• [Journal Article] Wittgenstein et le lien entre la signification d'un enonce mathematique et sa preuve (2012)
  • Author(s): Mathieu Marion and Mitsuhiro Okada
  • Journal Title: Philosophiques Volume: 39 Pages: 101-124
• [Journal Article] A generalized syllogistic inference system based on inclusion and exclusion relations (2012)
  • Author(s): Koji Mineshima, Mitsuhiro Okada and Ryo Takemura
  • Journal Title: Studia Logica Volume: 100 Issue: 4 Pages: 753-785
  • DOI: 10.1007/s11225-012-9428-5
  • Peer Reviewed
• [Journal Article] A Diagrammatic Inference System with Euler Circles (2012)
  • Author(s): Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura
  • Journal Title: Language and Information Volume: 21 Issue: 3 Pages: 365-391
  • DOI: 10.1007/s10849-012-9160-6
  • Peer Reviewed
• [Journal Article] Psychological Evidence of Mental Segmentation in Table Reading (2012)
  • Author(s): Takeshi Sugio, Atsushi Shimojima and Yasuhiro Katagiri
  • Journal Title: Diagrammatic Representation and Inference: Seventh International Conference, Diagrams 2012, Proceedings Volume: 7352 Pages: 124-131
  • DOI: 10.1007/978-3-642-31223-6_16
  • ISBN: 9783642312229, 9783642312236
  • Peer Reviewed
• [Journal Article] A Logical Investigation on Global Reading of Diagrams (2012)
  • Author(s): Ryo Takemura, Atsushi Shimojima, and Yasuhiro Katagiri
  • Journal Title: Diagrammatic Representation and Inference: Seventh International Conference, Diagrams 2012, Proceedings Volume: 7352 Pages: 330-333
  • DOI: 10.1007/978-3-642-31223-6_42
  • ISBN: 9783642312229, 9783642312236
  • Peer Reviewed
• [Journal Article] Two Dialogues on Epistemic Logics and Inductive Game Theory (2012)
  • Author(s): M. Kaneko and J. J. Kline
  • Journal Title: Advances in Mathematics Research Volume: 12 Pages: 199-238
• [Journal Article] Genome-wide DNA methylation and gene expression analyses of monozygotic twins discordant for intelligence levels. (2012)
  • Author(s): Yu, C. C, Furukawa, M., Kobayashi, K., Shikishima, C., Cha, P. C., Sese. J., Sugawara. H., Iwamoto, K., Kato, T., Ando, J., & Toda, T.
  • Journal Title: PLoS ONE Volume: 7
  • Peer Reviewed
• [Journal Article] Cloninger's Seven Personality Dimensions and IQ (2012)
  • Author(s): 敷島千鶴, 木島伸彦, 安藤寿康
  • Journal Title: The Japanese Journal of Personality Volume: 21 Issue: 2 Pages: 197-200
  • DOI: 10.2132/personality.21.197
  • NAID: 130003363133
  • ISSN: 1348-8406, 1349-6174
  • Peer Reviewed
• [Journal Article] A relational perspective (2012)
  • Author(s): Shigeru Watanabe
  • Journal Title: CARLS Series of Advanced Study of Logic and Sensibility Volume: Vol. 5
• [Journal Article] 「図形を用いた演繹的推論の認知プロセス」 (2011)
  • Author(s): 佐藤有理、峯島宏次、竹村亮、岡田光弘
  • Journal Title: 日本認知科学会第28 回大会発表論文集 Volume: － Pages: 269-274
  • Peer Reviewed
• [Presentation] On introduction rules of generalized connectives with proof-nets and substructural logics (2017)
  • 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
  • Int'l Joint Research
• [Presentation] Normativity, Normality and Normalization of Proofs (2017)
  • Author(s): Mitsuhiro Okada
  • Organizer: Philosophy of Logic and Mathematics
  • Place of Presentation: Keio University (東京都港区)
  • Year and Date: 2017-01-12
  • Int'l Joint Research
• [Presentation] Philosophy of Arithmetic in Wittgenstein (2016)
  • Author(s): Mitsuhiro Okada
  • Organizer: Wittgenstein Symposium
  • Place of Presentation: Keio University (神奈川県横浜市）
  • Year and Date: 2016-12-20
  • Invited
• [Presentation] Some remarks on introduction rules of generalized connectives of multiple linear logic (2016)
  • 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
  • Int'l Joint Research
• [Presentation] Formal proof vs proof form (2016)
  • 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
  • Int'l Joint Research
• [Presentation] Proof-forms vs. formal-proofs: Towards reconsideration of "formal proofs" and related notions (2016)
  • Author(s): Mitsuhiro Okada
  • Organizer: Workshop of Philosophy of Logic; Kant, Husserl and Linear Logic
  • Place of Presentation: Waseda University, Advanced Ｒesearch Institute （東京都新宿区）
  • Year and Date: 2016-10-21
  • Invited
• [Presentation] Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4 (2016)
  • Author(s): Gergei Bana and Mitsuhiro Okada
  • Organizer: Computer science Logic 2016
  • Place of Presentation: Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Marseille マルセイユ（フランス）
  • Year and Date: 2016-08-29
  • Int'l Joint Research
• [Presentation] A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator Systems (2016)
  • Author(s): Atsushi Shimojima and Dave Barker-Plummer
  • Organizer: Ninth International Conference on the Theory and Application of Diagrams
  • Place of Presentation: Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Ｐｅｍｓｙｉｖａｎｉａ， フィラデルフィア（米国）
  • Year and Date: 2016-08-07
  • Int'l Joint Research
• [Presentation] Effective Representation of Information: Generalizing Free Rides (2016)
  • Author(s): Gem Stapleton, Mateja Jamnik, and Atsushi Shimojima
  • Organizer: Ninth International Conference on the Theory and Application of Diagrams
  • Place of Presentation: Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Ｐｅｍｓｙｉｖａｎｉａ， フィラデルフィア（米国）
  • Year and Date: 2016-08-07
  • Int'l Joint Research
• [Presentation] Determinants of individual differences in subjective well-being: Genetic and environmental analyses using Japanese adult samples (2016)
  • 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
  • Int'l Joint Research
• [Presentation] A study of multi-attribute decision making and reasoning (2016)
  • 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
  • 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
  • Int'l Joint Research
• [Presentation] 眼球運動測定による多属性意思決定過程の検討：属性値の図的表現の影響 (2016)
  • Author(s): 森井真広・井出野尚・竹村和久・岡田光弘
  • Organizer: 第52回消費者行動研究コンファレンス
  • Place of Presentation: 関西学院大学 （大阪府大阪市）
  • Year and Date: 2016-06-18
• [Presentation] Multiplicative logics and introduction of generalized logical connectives (2016)
  • Author(s): Mitsuhiro Okada
  • Organizer: Philosophy of Logic; Towards Philosophy of Proofs
  • Place of Presentation: Keio University (東京都港区)
  • Year and Date: 2016-01-14
  • Int'l Joint Research
• [Presentation] Linear logic and philosophy (2016)
  • Author(s): Mitsuhiro Okada
  • Organizer: Philosophy of Linear Logic
  • Place of Presentation: University of Lyon リヨン市（フランス）
  • Int'l Joint Research / Invited
• [Presentation] 図表現の意味特性とその認知ポテンシャル (2016)
  • Author(s): 下嶋篤
  • Organizer: 応用哲学会ワークショップ「現代科学における視覚表象の認識論に向けて 」
  • Place of Presentation: 東京大学（東京都目黒区）
• [Presentation] The Barwise-Seligman Model of Representation Systems: A Philosophical Explication (2015)
  • Author(s): 下嶋篤
  • Organizer: 2015年度科学基礎論学会秋の研究例会
  • Place of Presentation: 東京大学（東京都目黒区）
  • Year and Date: 2015-11-07
• [Presentation] Formal Verification of Cryptographic Protocols and French-Japanese Collaboration (2015)
  • 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
  • Int'l Joint Research
• [Presentation] Channel Theoretic Reflections on Dynamic Logics of Speech Acts (2015)
  • 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
  • Int'l Joint Research
• [Presentation] Husserlian Notion of Manifold as Proof-Rewrite Networks and its Extension (2015)
  • Author(s): Mitsuhiro Okada
  • Organizer: Workshop "Trends in Proof Theory", Mathematical Society of Germany
  • Place of Presentation: Hamburg Ｕｎｉｖｅｒｓｉｔｙ ハンブルグ（ドイツ）
  • Year and Date: 2015-09-20
  • 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
  • Int'l Joint Research
• [Presentation] Decision making with multi-attribute tables (2015)
  • 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
  • Int'l Joint Research / Invited
• [Presentation] Formal Verification of Security Properties Against Arbitrary Attackers”, (2015)
  • Author(s): Ｇｅｒｇｅｉ Ｂａｎａ ａｎｄ Ｍｉｔｓｕｈｉｒｏ Ｏｋａｄａ
  • Organizer: Franco-Japanese Workshop on Computer Security, April 2015
  • Place of Presentation: 駐日フランス大使館及び慶應義塾大学（東京都港区）
  • Year and Date: 2015-04-01
  • Int'l Joint Research
• [Presentation] Human Life and Turing Machine (2015)
  • Author(s): 岡田光弘
  • Organizer: Symptoms of being alive and shared life
  • Place of Presentation: 慶應義塾大学 (東京都・港区)
  • Year and Date: 2015-02-16
  • Invited
• [Presentation] Parametric Constraits in Channel Theory (2015)
  • Author(s): 山田 友幸
  • Organizer: 科学基礎論学会2015年度秋の研究例会（招待講演）
  • Place of Presentation: 東京大（東京都目黒区）
  • Invited
• [Presentation] Assertions and Commitments (2015)
  • Author(s): Tomoyuki Yamada
  • Organizer: International Conference on Williamson, Logic and Philosophy
  • Place of Presentation: 北京大学 中華人民共和国（北京市）
  • Int'l Joint Research
• [Presentation] Product Update for Dynamified Deontic Logic of Speech Acts (2015)
  • Author(s): Tomoyuki Yamada
  • Organizer: 15th Congress of Logic, Methodology and Philosophy of Science
  • Place of Presentation: ヘルシンキ大学 ヘルシンキ（フィンランド）
  • Int'l Joint Research
• [Presentation] A Lockean Perspective on What Thinks Cartesian ``cogito (2015)
  • Author(s): 山田 友幸
  • Organizer: Self and (its) Realization(s) （招待講演）
  • Place of Presentation: 北海道大学（北海道札幌市）
  • Int'l Joint Research / Invited
• [Presentation] 初期フッサールの多様体概念 (2014)
  • Author(s): 岡田光弘
  • Organizer: 日本現象学会
  • Place of Presentation: 東洋大学 (東京都・文京区)
  • Year and Date: 2014-10-30
  • Invited
• [Presentation] 「図形を用いた演繹的推論の認知プロセス」 (2011)
  • Author(s): 佐藤有理、峯島宏次、竹村亮、岡田光弘
  • Organizer: 2011年度日本認知科学会第28回大会
  • Place of Presentation: 東京大学
• [Presentation] Equational arithmetic in Husserl and Wittgenstein
  • Author(s): Mitsuhiro Okada
  • Organizer: International Workshop on Cognition of interactions
  • Place of Presentation: Universite Lyon 3 (France)
  • Invited
• [Presentation] 意思決定の遺伝要因 ワークショップ「認知能力とパーソナリティは独立か―両概念の重なりに関する個人差研究の展開」
  • Author(s): 敷島千鶴
  • Organizer: 日本社会心理学会第54回大会
  • Place of Presentation: 沖縄国際大学 (沖縄県)
• [Presentation] Sources of variance in attitudes toward social inequality
  • Author(s): Christian Kandler, Edward Bell, Chizuru Shikishima, Shinji Yamagata, & Rainer Riemann
  • Organizer: The International Society for the Study of Individual Differences 2013 Conference
  • Place of Presentation: Barcelona (Spain)
• [Presentation] Development and education of formal and informal logical thinking ability: A Japanese twin study
  • Author(s): Shinji Yamagata, Chizuru Shikishima, & Kai Hiraishi
  • Organizer: The 43rd Annual Meeting of the Behavior Genetics Association
  • Place of Presentation: Marseille (France)
• [Presentation] Long-term genetic effects of working memory on cognition and personality in adolescence and adulthood: A 14-year longitudinal study of twins
  • Author(s): Juko Ando, Chizuru Shikishima, Nobuhiko Kijima, Kai Hiraishi, Yusuke Takahashi, Shinji Yamagata
  • Organizer: The 43rd Annual Meeting of the Behavior Genetics Association
  • Place of Presentation: Marseille (France)
• [Presentation] Genetic overlapping among intelligence, educational attainment, occupational status, marriage, and having children: Japanese female twins
  • Author(s): Chizuru Shikishima, Shinji Yamagata, Kai Hiraishi, Nobuhiko Kijima, & Juko Ando
  • Organizer: The 43rd Annual Meeting of the Behavior Genetics Association
  • Place of Presentation: Marseille (France)
• [Presentation] The genetic sources of core political attitudes and the role of personality traits: A cross-cultural twin study,
  • Author(s): Christian Kandler, Edward Bell, Chizuru Shikishima, Shinji Yamagata, & Rainer Riemann
  • Organizer: The 43rd Annual Meeting of the Behavior Genetics Association
  • Place of Presentation: Marseille (France)
• [Presentation] Acts of asking questions in dynamified deontic logic
  • Author(s): Tomoyuki Yamada
  • Organizer: International Symposium: Philosophy and Contemporary International Law
  • Place of Presentation: St Petersburg State University, St Petersburg (Russia)
• [Presentation] Preconditions, common sense reasoning, and context shift
  • Author(s): Tomoyuki Yamada
  • Organizer: SOCREAL 2013 (3rd International Workshop on Philosophy and Ethics of Social Reality)
  • Place of Presentation: Hokkaido University, Sapporo (北海道)
• [Presentation] Product update and the underdetermination of Illocutionary Forces
  • Author(s): Tomoyuki Yamada
  • Organizer: Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions
  • Place of Presentation: Shiinoki Cultural Complex, Kanazawa (石川県)
• [Presentation] On the Very Idea of Imperative Inference
  • Author(s): Tomoyuki Yamada
  • Organizer: Symposium：Imperatives in Theory and Practice
  • Place of Presentation: University of Warsaw (Poland)
• [Presentation] ギャップと欲求独立の行為理由
  • Author(s): 山田友幸
  • Organizer: 日本科学哲学会第45回 (2012年)大会
  • Place of Presentation: 宮崎大学教育文化学部 (宮崎県)
• [Presentation] Epistemic Logic and Inductive Game Theory: Objectivity vs. Subjectivity
  • Author(s): M. Kaneko
  • Organizer: Australasian Joint Conference on Artificial Intelligence
  • Place of Presentation: Sydney (Australia)
• [Presentation] Genetics of decision making: A Japanese twin study using the Allais problem.
  • Author(s): Shikishima, C., Hiraishi, K., Yamagata, S., Ando, J. & Okada, M.
  • Organizer: 42nd Annual Meeting of the Behavior Genetics Association
  • Place of Presentation: Edinburgh (United Kingdom)
• [Presentation] How deep are decision-theoretical paradoxes biologically wired?
  • Author(s): Bourgeois-Gironde, S., Okada, M., Shikishima, C. & Ando, J.
  • Organizer: Second Symposium on Biology of Decision Making
  • Place of Presentation: Paris (France)
• [Book] Wittgenstein’s Return to Cambridge (2017)
  • 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 Potentials (2015)
  • Author(s): Atsushi Shimojima
  • Total Pages: 186
  • Publisher: CSLI Publications
• [Book] Emerging Trends in the Social and Behavioral Sciences: An Interdisciplinary, Searchable, and Linkable Resource (2015)
  • Author(s): Christian Kandler, Edward Bell, Chizuru Shikishima, Shinji Yamagata, & Rainer Riemann
  • Total Pages: 21
  • Publisher: Wiley & Sons
• [Book] Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics: Dialogue, Rationality, and Formalism (2014)
  • Author(s): Maxime Amblard, Guillaume Aucher, Martine Batt, Jean Caelen, Marcelo Dascal, Gerhard Heinzmann, Franck Lihoreau, Michel Musiol, Eric Pacuit, Sylvain Pogodalla, Manuel Rebuschi, Oliver Schlaudt, Christian Thiel, Frederick Tremblay, Alain Trognon, Frederic Verhaegen, Denis Vernant, Anne Xuereb, Tomoyuki Yamada
  • Total Pages: 372
  • Publisher: Springer International Publishing
• [Book] Lectures de Wittgenstein (2012)
  • Author(s): Mathieu Marion and Mitsuhiro Okada, Chapter coauthors
  • Total Pages: 432
  • Publisher: ellipses
• [Funded Workshop] 証明の哲学日仏ワークショップ (2017)
  • Place of Presentation: 慶應義塾大学三田キャンパス（東京都港区）
  • Year and Date: 2017-01-11
• [Funded Workshop] 「論理の哲学」日仏ワークショップー証明の哲学に向けて (2016)
  • Place of Presentation: 慶應義塾大学三田キャンパス（東京都港区）
  • Year and Date: 2016-01-13
• [Funded Workshop] Proofs, Computation and Philosophy (2015)
  • Place of Presentation: 慶應義塾大学三田キャンパス（東京都港区）
  • Year and Date: 2015-11-28
• [Funded Workshop] 日仏サイバーセキュリティ会議（形式手法分科会） (2015)
  • Place of Presentation: 慶應義塾大学三田キャンパス及び駐日フランス大使館（東京都港区）
  • Year and Date: 2015-04-01
• [Funded Workshop] Workshop on Philosophy of arithmetic (2015)
  • Place of Presentation: 慶應義塾大学三田キャンパス（東京都港区）