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

"Philosophy of Proofs" - Towards New Developments of Philosophy of Logic and Mathematics

Research Project

Project/Area Number 17H02265
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Philosophy/Ethics
Research InstitutionKeio University

Principal Investigator

Okada Mitsuhiro  慶應義塾大学, 文学部(三田), 名誉教授 (30224025)

Co-Investigator(Kenkyū-buntansha) 秋吉 亮太  早稲田大学, 高等研究所, その他(招聘研究員) (20587852)
金子 洋之  専修大学, 文学部, 教授 (60191988)
峯島 宏次  慶應義塾大学, 文学部(三田), 准教授 (80725739)
Project Period (FY) 2017-04-01 – 2022-03-31
Project Status Completed (Fiscal Year 2021)
Budget Amount *help
¥14,820,000 (Direct Cost: ¥11,400,000、Indirect Cost: ¥3,420,000)
Fiscal Year 2020: ¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000)
Fiscal Year 2019: ¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000)
Fiscal Year 2018: ¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000)
Fiscal Year 2017: ¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000)
Keywords論理学 / 論理の哲学 / 論理哲学 / 数学の哲学 / 証明 / 論証 / 証明の哲学 / 推論研究 / Wittgenstein / 多属性意思決定 / ウィトゲンシュタイン / 証明論的・型論的意味論 / 図的表現と図的推論・判断 / 論理推論 / 図的論理 / ウィトゲンシュタインの哲学 / 図形推論 / 意思決定 / 図的推論 / 論理哲学史 / 哲学 / 論理学の哲学 / 証明論
Outline of Final Research Achievements

We investigated in proofs/demonstrations and their inferences, towards the construction of “philosophy of proof”. The characteristic of our research consists in the interdisciplinary method, We researched philosophy of proof which appeared in the philosophical literature, especially in Wittgenstein, in the first half of the 20th century. We obtained new understandings on the natural language inferences, such as default inference, as well as diagrammatic inference, such as image-based logical inference. We studied the fundamental logical structures such as linear logic. We gave new logical and philosophical analyses on proof-theoretic ordinals.

Academic Significance and Societal Importance of the Research Achievements

学術面に関しては、推論・証明・論証について学際的成果を得ていることに特徴を持つ。哲学を中核とする学際的推論・証明・論証研究が有効であることを示したことに意義があると考える。伝統的に、論理の哲学・分析哲学をはじめ多くの分野では論理的関係の基本が意味論的な「帰結関係」におかれる。この研究は、伝統的帰結関係の深化形として、「推論・証明構造」関係を提案することにつながる。そのために豊かな基礎研究の広がりがあることが示されたといえる。社会的には、論理思考教育や理解しやすい論理的説明法の解明に繋がる。又、本研究は社会的合意形成のための「議論」や論争の構造的理解を与えるという社会的応用可能性を持っている。

Report

(5 results)
  • 2021 Final Research Report ( PDF )
  • 2020 Annual Research Report
  • 2019 Annual Research Report
  • 2018 Annual Research Report
  • 2017 Annual Research Report
  • Research Products

    (78 results)

All 2021 2020 2019 2018 2017 Other

All Int'l Joint Research (10 results) Journal Article (27 results) (of which Int'l Joint Research: 4 results,  Peer Reviewed: 21 results,  Open Access: 14 results) Presentation (26 results) (of which Int'l Joint Research: 22 results,  Invited: 10 results) Book (5 results) Funded Workshop (10 results)

  • [Int'l Joint Research] パリ大学/CNRS/リヨン大学(フランス)

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

    • Related Report
      2020 Annual Research Report
  • [Int'l Joint Research] IHPST, , Univ. Paris 1/Department of Philosophy, Univ. Paris 1/University of Lyon 3(フランス)

    • Related Report
      2019 Annual Research Report
  • [Int'l Joint Research] UQAM(カナダ)

    • Related Report
      2019 Annual Research Report
  • [Int'l Joint Research] パリ大学第1校/国立科学研究センター(CNRS),/国立情報科学自動制御研究所(INRIA)(フランス)

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

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] パリ大学第1校/CNRS/INRIA(フランス)

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

    • Related Report
      2017 Annual Research Report
  • [Int'l Joint Research] ミュンヘン大学(ドイツ)

    • Related Report
      2017 Annual Research Report
  • [Int'l Joint Research] パドヴァ大学(イタリア)

    • Related Report
      2017 Annual Research Report
  • [Journal Article] Wittgenstein's Uniqueness Rule as an Elimination Rule of Inductive Types:2021

    • Author(s)
      Okada Mitsuhiro
    • Journal Title

      Kagaku tetsugaku

      Volume: 53 Issue: 2 Pages: 95-114

    • DOI

      10.4216/jpssj.53.2_95

    • NAID

      130008009646

    • ISSN
      0289-3428, 1883-6461
    • Year and Date
      2021-03-31
    • Related Report
      2020 Annual Research Report
    • Open Access
  • [Journal Article] On Effects of Changing Multi-attribute Table Design on Decision Making: An Eye-Tracking Study2021

    • Author(s)
      Ideno, T., Morii, M., Takemura, K., & Okada, M.
    • Journal Title

      International Conference on Theory and Application of Diagrams. Springer, Cham.

      Volume: 11 Pages: 365-381

    • DOI

      10.1007/978-3-030-54249-8_29

    • ISBN
      9783030542481, 9783030542498
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] 線形論理の意味論のTruthmaker解釈に向けて2021

    • Author(s)
      小関健太郎、岡田光弘
    • Journal Title

      三田哲学会編 哲学

      Volume: 146 Pages: 19-37

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Diagrams for logics2020

    • Author(s)
      佐藤 有理、峯島 宏次
    • Journal Title

      Cognitive Studies: Bulletin of the Japanese Cognitive Science Society

      Volume: 28 Issue: 1 Pages: 139-152

    • DOI

      10.11225/cs.2020.020

    • NAID

      130007998529

    • ISSN
      1341-7924, 1881-5995
    • Year and Date
      2020-07-15
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] A Simplified Application of Howard’sVector Notation System to Termination Proofs for Typed Lambda-Calculus Systems. Rewriting2020

    • Author(s)
      Mitsuhiro Okada, Yuta Takahashi.
    • Journal Title

      Rewriting Logic and Its Applications (WRLA 2020), Springer Lecture Notes in Computer Science

      Volume: 1232 Pages: 136-155

    • DOI

      10.1007/978-3-030-63595-4_8

    • ISBN
      9783030635947, 9783030635954
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Small Remark on Hilbert’s Finitist View of Divisibility and Kanovich-Okada-Scedrov’s Logical Analysis of Real-Time Systems2020

    • Author(s)
      Okada Mitsuhiro
    • Journal Title

      Logic, Language, and Security, Springer Lecture Notes in Computer Science

      Volume: 12300 Pages: 39-47

    • DOI

      10.1007/978-3-030-62077-6_3

    • ISBN
      9783030620769, 9783030620776
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Depicting Negative Information in Photographs, Videos, and Comics: A Preliminary Analysis2020

    • Author(s)
      Sato Yuri、Mineshima Koji
    • Journal Title

      Proceedings of 11th International Conference on the Theory and Application of Diagrams, Lecture Notes in Artificial Intelligence

      Volume: 12169 Pages: 485-489

    • DOI

      10.1007/978-3-030-54249-8_40

    • ISBN
      9783030542481, 9783030542498
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] A Remark for the Use of a Path Ordering with an Algebra and a Howard-Style Interpretation of Lambda for Termination Proofs of Typed Rewrite Systems2020

    • Author(s)
      Mitsuhiro Okada and Yuta Takahashi
    • Journal Title

      On-site Proc. of International Workshop on Rewriting Logic and its Applications, ETAPS2020-Event

      Volume: 13

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] 論理と文法2020

    • Author(s)
      峯島宏次
    • Journal Title

      『数学セミナー』(特集「言語の数理」)

      Volume: 701 Pages: 30-35

    • Related Report
      2019 Annual Research Report
  • [Journal Article] Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability2019

    • Author(s)
      Gergei Bana, Rohit Chadha, Ajay Kumareeralla and Mitsuhiro Okada,
    • Journal Title

      ACM Trans. Comput. Logic

      Volume: 21 Issue: 1 Pages: 1-44

    • DOI

      10.1145/3343508

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Psychosocial Twin Cohort Studies in Japan: The Keio Twin Research Center (KoTReC)2019

    • Author(s)
      Ando, J., Fujisawa, K. K., Hiraishi, K.,et al.
    • Journal Title

      Twin Research and Human Genetics

      Volume: 22 Issue: 6 Pages: 591

    • DOI

      10.1017/thg.2019.109

    • NAID

      120007166905

    • URL

      https://pure.teikyo.jp/en/publications/97b4db4d-529e-44b5-b219-7ec0a394029d

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Variable Handling and Compositionality: Comparing DRT and DTS2019

    • Author(s)
      Yana Yukiko、Mineshima Koji、Bekki Daisuke
    • Journal Title

      Journal of Logic, Language and Information

      Volume: 28 Issue: 2 Pages: 261-285

    • DOI

      10.1007/s10849-019-09294-3

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Questions in Dependent Type Semantics2019

    • Author(s)
      Watanabe Kazuki、Mineshima Koji、Bekki Daisuke
    • Journal Title

      Proceedings of the Sixth Workshop on Natural Language and Computer Science

      Volume: 2019 Pages: 23-33

    • DOI

      10.18653/v1/w19-1103

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Multimodal Logical Inference System for Visual-Textual Entailment2019

    • Author(s)
      Suzuki Riko、Yanaka Hitomi、Yoshikawa Masashi、Mineshima Koji、Bekki Daisuke
    • Journal Title

      Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics: Student Research Workshop

      Volume: 2019 Pages: 386-392

    • DOI

      10.18653/v1/p19-2054

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] 論理的必然性を信ずることの必然性について」2019

    • Author(s)
      金子洋之
    • Journal Title

      『生田哲学』

      Volume: 21 Pages: 45-59

    • Related Report
      2019 Annual Research Report
  • [Journal Article] Takeuti’s proof-theory in the context of the Kyoto school2019

    • Author(s)
      Ryota Akiyoshi and Andrew Arana
    • Journal Title

      哲学論叢

      Volume: 46 Pages: 1-17

    • NAID

      120006731562

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] On Quasi Ordinal Diagram Systems2019

    • Author(s)
      Okada Mitsuhiro and Takahashi Yuta
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: 288 Pages: 38-49

    • DOI

      10.4204/eptcs.288.4

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] 「際限のない拡張可能性:いくつかの素朴な疑問」2019

    • Author(s)
      金子洋之
    • Journal Title

      『生田哲学』

      Volume: 20 Pages: 39-56

    • Related Report
      2018 Annual Research Report
  • [Journal Article] A Formalization of Brouwer’s Argument for Bar Induction2018

    • Author(s)
      Ryota Akiyoshi
    • Journal Title

      WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation, Lecture Notes in Computer Science

      Volume: 10944 Pages: 77-90

    • DOI

      10.1007/978-3-662-57669-4_4

    • ISBN
      9783662576687, 9783662576694
    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Coercion as Proof Search in Dependent Type Semantics2018

    • Author(s)
      Eriko Kinoshita, Koji Mineshima, and Daisuke Bekki
    • Journal Title

      Oslo Studies in Language

      Volume: 10(2) Pages: 143-162

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Acquisition of Phrase Correspondences using Natural Deduction Proofs2018

    • Author(s)
      Hitomi Yanaka, Koji Mineshima, Pascual Martinez Gomez, Daisuke Bekki
    • Journal Title

      Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics

      Volume: 1 Pages: 756-766

    • DOI

      10.18653/v1/n18-1069

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] “A formalization of Brouwer's Argument for Bar Induction"2018

    • Author(s)
      Ryota Akiyoshi
    • Journal Title

      WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation

      Volume: WoLLIC Pages: 1-20

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Qualitatively coherent representation makes decision-making easier with binary-colored multi-attribute tables: An eye-tracking study2017

    • Author(s)
      M. Morii, T. Ideno, K. Takemura, M. Okada,
    • Journal Title

      , Frontiers in Psychology

      Volume: 8 Pages: 1-5

    • DOI

      10.3389/fpsyg.2017.01388

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] 「数学における知識の拡張可能性について」2017

    • Author(s)
      金子洋之
    • Journal Title

      『専修大学人文論集』

      Volume: 100 Pages: 83-101

    • Related Report
      2017 Annual Research Report
  • [Journal Article] 「文脈原理の哲学」2017

    • Author(s)
      金子洋之
    • Journal Title

      『現代思想』12月臨時増刊 総特集「分析哲学」

      Volume: 12月臨時号 Pages: 108-120

    • Related Report
      2017 Annual Research Report
  • [Journal Article] Factivity and Presupposition in Dependent Type Semantics2017

    • Author(s)
      Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
    • Journal Title

      Journal of Language Modelling

      Volume: Vol.5 Pages: 385-420

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] “An Ordinal-Free Proof of the Complete Cut-Elimination Theorem for Π11-CA + BI with ω-rule”2017

    • Author(s)
      Ryota Akiyoshi
    • Journal Title

      Journal of Logics and their Applications

      Volume: Volume 4 Pages: 867-884

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Presentation] The report of Formal Method Working Group2021

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Intermediate Workshop of the France-Japan Cybersecurity Research Collaboration for 4 Cyber Security
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems2020

    • Author(s)
      Yuta Takahashi and Mitsuhiro Okada
    • Organizer
      The 13th International Workshop on Rewriting Logic and its Applications (WRLA 2020)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Semantics for “Typically” and Default Reasoning2020

    • Author(s)
      Gergei Bana and Mitsuhiro Okada
    • Organizer
      Logic and Engineering of Natural Language Semantics
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] On effects of changing multi-attribute table design to decision making: An eye tracking study2020

    • Author(s)
      Takashi Ideno, Masahiro Morii, Kazuhisa Takemura and Mitsuhiro Okada
    • Organizer
      Theory and Application of Diagrams
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Re-cosideration of "formal " inference and "formal" proof of logic"2020

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      University of Lyon-3 Logic Seminar
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Invited commentator to all presentations2020

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Mathematical and logical understanding and formalization Workshop in honor of Prof. Mitsuhiro Okada
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Panel on Societal impacts of cybersecurity including elements relative to ethics, integrity,deontology and law (Panelist)2019

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      5th France-Japan Cybersecurity Workshop
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Type and equality- A case study with inductive types,2019

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      第52回科学哲学会大会シンポジウム "Type Theory Re-Visited-Type, Abstraction, Classification"
    • Related Report
      2019 Annual Research Report
  • [Presentation] Takeuti’s argument of the well-foundedness of ordinals up epsilon_02019

    • Author(s)
      Ryota Akiyoshi
    • Organizer
      Munich Center for mathematical Philosophy
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Takeuti’s finitism in the context of the Kyoto school2019

    • Author(s)
      Ryota Akiyoshi
    • Organizer
      Munich Center for mathematical Philosophy
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Around norm, rule and disagreement2019

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      France-Japan coillabstive Workshop on philopsophy of logic
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] On Takeuti’s Finitism2019

    • Author(s)
      Ryota Akiyoshi
    • Organizer
      Atelier : perspectives philosophiques sur des theories formelles (Institut d'histoire et de philosophie des sciences et des techniques, Paris)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] 真理条件・表意・コミュニケーション2019

    • Author(s)
      峯島宏次
    • Organizer
      シンポジウム「ことばの意味」をあらためて考える真理条件的意味論を越えて
    • Related Report
      2018 Annual Research Report
    • Invited
  • [Presentation] 日本語の形式意味論2019

    • Author(s)
      峯島宏次
    • Organizer
      言語・論理・知識:飯田隆先生・丹治信春先生古希記念ワークショップ
    • Related Report
      2018 Annual Research Report
    • Invited
  • [Presentation] Calculation, Proving and Rule2018

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      「計算すること・従うこと―ウィトゲンシュタイン」再考 “Calculating and rule-following in Wittgenstein” revisited, 科学基礎論学会大会ワークショップ提題講演(千葉大学)
    • Related Report
      2018 Annual Research Report
  • [Presentation] Report on formal method for providing security properties of cryptographic protocols2018

    • Author(s)
      Gergei Bana and Mitsuhiro Okada
    • Organizer
      The 5th Frabce-Japan Workshop on Cybersecty Workshop ,Keio University
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Do we need "formal" language in logic?2018

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Logic Language and Ontology Workshop. Keio University
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Discussion: Fairness , privacy and ethics in AI2018

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      The 4th France-Japan Workshop on Cybersecur, Keio University
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] On quasi ordinal diagram systems2018

    • Author(s)
      Mitsuhiro Okada and Yuta Takahashi
    • Organizer
      TERMGRAPH 2018, University of Oxford
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Why “formal” for algorithmic ethics research2018

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Associated satellite meeting, New issues on technology and algorithmic ethics
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Norm, Commitment and Normalization of Proof2018

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      French-Japanese Workshop on Philosophy of Logic and Mathematics
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] “Proofs as Programs” Revisited2018

    • Author(s)
      Ryota Akiyoshi
    • Organizer
      French-Japanese Workshop on Philosophy of Logic and Mathematics
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Ordinal Diagrams and Well-Quasi-Orderings2018

    • Author(s)
      Mitsuhiro Okada and Yuta Takahashi
    • Organizer
      French-Japanese Workshop on Philosophy of Logic and Mathematics
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] What is logic?-Proofs proceed propositions2017

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Cerisy Meeting “Beyond logic”
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] What is logic?2017

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Global Perspectives on Reasoning and Scientific Method
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Formal verification for cryptographic protocols2017

    • Author(s)
      Gergei Bana and Mitsuhiro Okada
    • Organizer
      3rd International Meeting on Cybersecurity
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Book] Following a Rule: Waismann’s Variation2019

    • Author(s)
      Mathieu Marion and Mitsuhiro Okada (Edited by Gabriele M. Mras, Paul Weingartner and Bernhard Ritter)
    • Total Pages
      721
    • Publisher
      De Gruiyer,
    • Related Report
      2019 Annual Research Report
  • [Book] よくわかる哲学・思想 522019

    • Author(s)
      秋吉亮太 (納富信留, 檜垣立哉, 柏端達也編)
    • Total Pages
      232
    • Publisher
      ミネルヴァ書房
    • ISBN
      9784623084104
    • Related Report
      2019 Annual Research Report
  • [Book] Wittgenstein and Goodstein on Uniqueness of Primitive recursive arithmetic, in "Wittgenstein in the 1930s:Investigations to Philosophical Investigations"2018

    • Author(s)
      Mathieu Marion and Mitsuhiro Okada Volume editor, David Stern
    • Total Pages
      310
    • Publisher
      Cambridge University Press
    • Related Report
      2018 Annual Research Report
  • [Book] “Wittgenstein, Goodstein and the Origin of the Uniqueness Rule” . In Wittgenstein in the 1930s: Between the Tractatus and the Investigations2018

    • Author(s)
      Mathieu Marion and Mitsuhiro Okada, edited by David. Stern
    • Total Pages
      23
    • Publisher
      Cambridge Univ. Press
    • Related Report
      2017 Annual Research Report
  • [Book] 『数学はなぜ哲学の問題になるのか』2017

    • Author(s)
      金子洋之・大西琢朗(訳):イアン・ハッキング
    • Total Pages
      284
    • Publisher
      森北出版
    • Related Report
      2017 Annual Research Report
  • [Funded Workshop] Mathematical and logical understanding and formalization Workshop in honor of Prof. Mitsuhiro Okada2020

    • Related Report
      2019 Annual Research Report
  • [Funded Workshop] Logic Seminar2020

    • Related Report
      2019 Annual Research Report
  • [Funded Workshop] France-Japan cybersecurity workshop2019

    • Related Report
      2019 Annual Research Report
  • [Funded Workshop] Philosophy Meeting with Jocelyn Benoist2019

    • Related Report
      2019 Annual Research Report
  • [Funded Workshop] 日仏「論理と数学の哲学」ワークショップ 'Philosophy of logic and mathematics"2019

    • Related Report
      2018 Annual Research Report
  • [Funded Workshop] Workshop"New issues on technology and algorithmic ethics/privacy/fairness, related to Digital/AI/ML"2018

    • Related Report
      2018 Annual Research Report
  • [Funded Workshop] France-Japan Intermediate Workshop on Cybersecurity2018

    • Related Report
      2018 Annual Research Report
  • [Funded Workshop] French-Japanese Workshop on "Philosophy of Logic and Mathematics"2018

    • Related Report
      2017 Annual Research Report
  • [Funded Workshop] Logic Meeting2017

    • Related Report
      2017 Annual Research Report
  • [Funded Workshop] The 3rd French-Japanese Cybersecurity Meeting2017

    • Related Report
      2017 Annual Research Report

URL: 

Published: 2017-04-28   Modified: 2023-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi