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

Logic and Computation of Prediction, Judgment and Decision Making

Planned

Project AreaElucidation 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 TypeSingle-year Grants
Review Section Complex systems
Research InstitutionKeio 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 *help
¥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.

Report

(6 results)
  • 2016 Final Research Report ( PDF )
  • 2015 Annual Research Report
  • 2014 Annual Research Report
  • 2013 Annual Research Report
  • 2012 Annual Research Report
  • 2011 Annual Research Report

Research Products

(92 results)

All 2017 2016 2015 2014 2013 2012 2011 Other

All Int'l Joint Research (6 results) Journal Article (31 results) (of which Int'l Joint Research: 3 results,  Peer Reviewed: 22 results,  Open Access: 3 results,  Acknowledgement Compliant: 5 results) Presentation (45 results) (of which Int'l Joint Research: 21 results,  Invited: 10 results) Book (5 results) Funded Workshop (5 results)

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

    • Related Report
      2015 Annual Research Report
  • [Int'l Joint Research] ケベック大学モントリオール校(カナダ)

    • Related Report
      2015 Annual Research Report
  • [Int'l Joint Research] ローマ第3大学(イタリア)

    • Related Report
      2015 Annual Research Report
  • [Int'l Joint Research] ヘルシンキ大学(フィンランド)

    • Related Report
      2015 Annual Research Report
  • [Int'l Joint Research] ルクセンブルグ大学(ルクセンブルク)

    • Related Report
      2015 Annual Research Report
  • [Int'l Joint Research]

    • Related Report
      2015 Annual Research Report
  • [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

    • Related Report
      2015 Annual Research Report
    • 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

    • Related Report
      2015 Annual Research Report
    • 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 problem2015

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

      Frontiers in Psychology, Journal of Neuro-Decision Science,

      Volume: 6 Pages: 1-20

    • DOI

      10.3389/fpsyg.2015.01712

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

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

      現象学年報

      Volume: 31 Pages: 1-12

    • Related Report
      2015 Annual Research Report
    • Acknowledgement Compliant
  • [Journal Article] Understanding the Other through Social Roles2015

    • Author(s)
      M. Kaneko, and J. J. Kline
    • Journal Title

      International Game Theory Review,

      Volume: 17(1) Pages: 1-31

    • DOI

      10.1142/s0219198915400058

    • Related Report
      2015 Annual Research Report 2014 Annual Research Report
    • Peer Reviewed
  • [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

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] サールの社会制度理論とオースティンの言語行為論2015

    • Author(s)
      山田友幸
    • Journal Title

      哲学年報

      Volume: 60 Pages: 21-37

    • Related Report
      2014 Annual Research Report
  • [Journal Article] Wittgenstein on equinumerosity and surveyability2014

    • Author(s)
      Mathieu Marion and Mitsuhiro Okada
    • Journal Title

      Grazer Philosophische Studien

      Volume: 89 Pages: 57-76

    • Related Report
      2014 Annual Research Report
    • 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

      Volume: 25 Pages: 156-169

    • DOI

      10.1016/j.jvlc.2013.08.007

    • Related Report
      2014 Annual Research Report 2013 Annual Research Report 2012 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] The Barwise-Seligman Model of Representation Systems: A Philosophical Explication2014

    • 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

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Logical Investigation of Reasoning with Tables2014

    • 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

    • Related Report
      2014 Annual Research Report
    • 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: -

    • Related Report
      2013 Annual Research Report
  • [Journal Article] Wittgenstein on Equinumerosity and Surveyability2014

    • Author(s)
      M. Marion & M. Okada
    • Journal Title

      Grazer Philosophische Studien

      Volume: 89 Pages: 59-76

    • Related Report
      2013 Annual Research Report
  • [Journal Article] The Barwise-Seligman Model of Representation Systems: A Philosophical Explication2014

    • Author(s)
      A.Shimojima, and Dave Barker-Plummer
    • Journal Title

      Diagrammatic Representation and Inference: Eighth International Conference, Diagrams 2014, Proceedings

      Volume: -

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] The epistemic closure principle and the assessment sensitivity of knowledge ascriptions2014

    • Author(s)
      Tomoyuki Yamada
    • Journal Title

      Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics: Diealogue, Rationality, and Formalism

      Volume: 3 Pages: 181-199

    • Related Report
      2013 Annual Research Report
  • [Journal Article] Logic and Economics-Interactions between Subjective Thinking and Objective worlds2013

    • Author(s)
      M. Kaneko
    • Journal Title

      Economic Theory

      Volume: Vol.53 Pages: 1-8

    • DOI

      10.1007/s00199-012-0737-8

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Partial memories, inductively derived Views, and their interactions with behavior2013

    • Author(s)
      M. Kaneko, and J. J. Kline
    • Journal Title

      Economic Theory

      Volume: Vol.53 Pages: 27-59

    • DOI

      10.1007/s00199-010-0519-0

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Husserl and Hilbert on Completeness and Husserl’s Term Rewrite-based Theory of Multiplicity2013

    • Author(s)
      Mitsuhiro Okada
    • Journal Title

      24th International Conference on Rewriting Techniques and Applications (RTA 2013)

      Volume: 21 Pages: 4-19

    • DOI

      10.4230/LIPIcs.RTA.2013.4

    • Related Report
      2013 Annual Research Report
    • 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 Res Hum Genet.

      Volume: 16(1) Pages: 202-2016

    • DOI

      10.1017/thg.2012.131

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning2013

    • Author(s)
      A.Shimojima and Y. Katagiri
    • Journal Title

      Cognitive Science

      Volume: 37 Pages: 211-254

    • DOI

      10.1111/cogs.12026

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 行為における合理性と因果2013

    • Author(s)
      山田友幸
    • Journal Title

      科学哲学

      Volume: 46 Pages: 1-16

    • NAID

      130004546740

    • Related Report
      2013 Annual Research Report
  • [Journal Article] Wittgenstein et le lien entre la signification d'un enonce mathematique et sa preuve2012

    • Author(s)
      Mathieu Marion and Mitsuhiro Okada
    • Journal Title

      Philosophiques

      Volume: 39 Pages: 101-124

    • Related Report
      2012 Annual Research Report
  • [Journal Article] A generalized syllogistic inference system based on inclusion and exclusion relations2012

    • Author(s)
      Koji Mineshima, Mitsuhiro Okada and Ryo Takemura
    • Journal Title

      Studia Logica

      Volume: 100 Pages: 753-785

    • DOI

      10.1007/s11225-012-9428-5

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Diagrammatic Inference System with Euler Circles2012

    • Author(s)
      Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura
    • Journal Title

      Journal of Logic, Language and Information

      Volume: 21 Pages: 365-391

    • DOI

      10.1007/s10849-012-9160-6

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Psychological Evidence of Mental Segmentation in Table Reading2012

    • Author(s)
      Takeshi Sugio, Atsushi Shimojima and Yasuhiro Katagiri
    • Journal Title

      Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012, Lecture Notes in Artificial Intelligence

      Volume: 7352 Pages: 124-131

    • DOI

      10.1007/978-3-642-31223-6_16

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Logical Investigation on Global Reading of Diagrams2012

    • Author(s)
      Ryo Takemura, Atsushi Shimojima, and Yasuhiro Katagiri
    • Journal Title

      Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012

      Volume: 7352 Pages: 330-333

    • DOI

      10.1007/978-3-642-31223-6_42

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Two Dialogues on Epistemic Logics and Inductive Game Theory2012

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

      Advances in Mathematics Research

      Volume: 12 Pages: 199-238

    • Related Report
      2012 Annual Research Report
  • [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

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Cloninger's Seven Personality Dimensions and IQ2012

    • 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
    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A relational perspective2012

    • Author(s)
      Shigeru Watanabe
    • Journal Title

      CARLS Series of Advanced Study of Logic and Sensibility

      Volume: Vol. 5

    • Related Report
      2011 Annual Research Report
  • [Journal Article] 「図形を用いた演繹的推論の認知プロセス」2011

    • Author(s)
      佐藤有理、峯島宏次、竹村亮、岡田光弘
    • Journal Title

      日本認知科学会第28 回大会発表論文集

      Volume: - Pages: 269-274

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [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
    • Related Report
      2015 Annual Research Report
    • 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
    • Related Report
      2015 Annual Research Report
    • 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
    • Related Report
      2015 Annual Research Report
    • 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
    • Related Report
      2015 Annual Research Report
    • 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
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [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
    • Related Report
      2015 Annual Research Report
    • 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
    • Related Report
      2015 Annual Research Report
    • 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
    • Related Report
      2015 Annual Research Report
    • 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
    • Related Report
      2015 Annual Research Report
    • 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
    • Related Report
      2015 Annual Research Report
    • 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
    • Related Report
      2015 Annual Research Report
    • 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
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 眼球運動測定による多属性意思決定過程の検討:属性値の図的表現の影響2016

    • Author(s)
      森井真広・井出野尚・竹村和久・岡田光弘
    • Organizer
      第52回消費者行動研究コンファレンス
    • Place of Presentation
      関西学院大学 (大阪府大阪市)
    • Year and Date
      2016-06-18
    • Related Report
      2015 Annual Research Report
  • [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
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Linear logic and philosophy2016

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Philosophy of Linear Logic
    • Place of Presentation
      University of Lyon リヨン市(フランス)
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] 図表現の意味特性とその認知ポテンシャル2016

    • Author(s)
      下嶋篤
    • Organizer
      応用哲学会ワークショップ「現代科学における視覚表象の認識論に向けて 」
    • Place of Presentation
      東京大学(東京都目黒区)
    • Related Report
      2015 Annual Research Report
  • [Presentation] The Barwise-Seligman Model of Representation Systems: A Philosophical Explication2015

    • Author(s)
      下嶋篤
    • Organizer
      2015年度科学基礎論学会秋の研究例会
    • Place of Presentation
      東京大学(東京都目黒区)
    • Year and Date
      2015-11-07
    • Related Report
      2015 Annual Research Report
  • [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
    • Related Report
      2015 Annual Research Report
    • 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
    • Related Report
      2015 Annual Research Report
    • 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
    • Related Report
      2015 Annual Research Report
    • 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
    • Related Report
      2015 Annual Research Report
    • 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
    • Related Report
      2015 Annual Research Report
    • 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
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Human Life and Turing Machine2015

    • Author(s)
      岡田光弘
    • Organizer
      Symptoms of being alive and shared life
    • Place of Presentation
      慶應義塾大学 (東京都・港区)
    • Year and Date
      2015-02-16
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] Parametric Constraits in Channel Theory2015

    • Author(s)
      山田 友幸
    • Organizer
      科学基礎論学会2015年度秋の研究例会(招待講演)
    • Place of Presentation
      東京大(東京都目黒区)
    • Related Report
      2015 Annual Research Report
    • Invited
  • [Presentation] Assertions and Commitments2015

    • Author(s)
      Tomoyuki Yamada
    • Organizer
      International Conference on Williamson, Logic and Philosophy
    • Place of Presentation
      北京大学 中華人民共和国(北京市)
    • Related Report
      2015 Annual Research Report
    • 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
      ヘルシンキ大学 ヘルシンキ(フィンランド)
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Lockean Perspective on What Thinks Cartesian ``cogito2015

    • Author(s)
      山田 友幸
    • Organizer
      Self and (its) Realization(s) (招待講演)
    • Place of Presentation
      北海道大学(北海道札幌市)
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] 初期フッサールの多様体概念2014

    • Author(s)
      岡田光弘
    • Organizer
      日本現象学会
    • Place of Presentation
      東洋大学 (東京都・文京区)
    • Year and Date
      2014-10-30
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] 「図形を用いた演繹的推論の認知プロセス」2011

    • Author(s)
      佐藤有理、峯島宏次、竹村亮、岡田光弘
    • Organizer
      2011年度日本認知科学会第28回大会
    • Place of Presentation
      東京大学
    • Related Report
      2011 Annual Research Report
  • [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)
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] 意思決定の遺伝要因 ワークショップ「認知能力とパーソナリティは独立か―両概念の重なりに関する個人差研究の展開」

    • Author(s)
      敷島千鶴
    • Organizer
      日本社会心理学会第54回大会
    • Place of Presentation
      沖縄国際大学 (沖縄県)
    • Related Report
      2013 Annual Research Report
  • [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)
    • Related Report
      2013 Annual Research Report
  • [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)
    • Related Report
      2013 Annual Research Report
  • [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)
    • Related Report
      2013 Annual Research Report
  • [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)
    • Related Report
      2013 Annual Research Report
  • [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)
    • Related Report
      2013 Annual Research Report
  • [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)
    • Related Report
      2013 Annual Research Report
  • [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 (北海道)
    • Related Report
      2013 Annual Research Report
  • [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 (石川県)
    • Related Report
      2013 Annual Research Report
  • [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)
    • Related Report
      2012 Annual Research Report
  • [Presentation] ギャップと欲求独立の行為理由

    • Author(s)
      山田友幸
    • Organizer
      日本科学哲学会第45回 (2012年)大会
    • Place of Presentation
      宮崎大学教育文化学部 (宮崎県)
    • Related Report
      2012 Annual Research Report
  • [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)
    • Related Report
      2012 Annual Research Report
  • [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)
    • Related Report
      2012 Annual Research Report
  • [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)
    • Related Report
      2012 Annual Research Report
  • [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
    • Related Report
      2015 Annual Research Report
  • [Book] Semantic Properties of Diagrams and Their Cognitive Potentials2015

    • Author(s)
      Atsushi Shimojima
    • Total Pages
      186
    • Publisher
      CSLI Publications
    • Related Report
      2015 Annual Research Report
  • [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
    • Related Report
      2015 Annual Research Report
  • [Book] Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics: Dialogue, Rationality, and Formalism2014

    • 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
    • Related Report
      2014 Annual Research Report
  • [Book] Lectures de Wittgenstein2012

    • Author(s)
      Mathieu Marion and Mitsuhiro Okada, Chapter coauthors
    • Total Pages
      432
    • Publisher
      ellipses
    • Related Report
      2012 Annual Research Report
  • [Funded Workshop] 証明の哲学日仏ワークショップ2017

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

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

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

    • Place of Presentation
      慶應義塾大学三田キャンパス及び駐日フランス大使館(東京都港区)
    • Year and Date
      2015-04-01
    • Related Report
      2015 Annual Research Report
  • [Funded Workshop] Workshop on Philosophy of arithmetic2015

    • Place of Presentation
      慶應義塾大学三田キャンパス(東京都港区)
    • Related Report
      2015 Annual Research Report

URL: 

Published: 2011-07-31   Modified: 2022-02-01  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi