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

Study on "Disagreement" in logic

Research Project

Project/Area Number 19KK0006
Research Category

Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))

Allocation TypeMulti-year Fund
Review Section Medium-sized Section 1:Philosophy, art, and related fields
Research InstitutionKeio University

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) 岡本 賢吾  東京都立大学, 人文科学研究科, 客員教授 (00224072)
五十嵐 涼介  東京都立大学, 人文科学研究科, 客員研究員 (40853205)
細川 雄一郎  群馬県立女子大学, 文学部, 講師 (60853190)
伊藤 遼  早稲田大学, 文学学術院, 准教授 (70853422)
峯島 宏次  慶應義塾大学, 文学部(三田), 准教授 (80725739)
Project Period (FY) 2019-10-07 – 2025-03-31
Project Status Granted (Fiscal Year 2023)
Budget Amount *help
¥11,700,000 (Direct Cost: ¥9,000,000、Indirect Cost: ¥2,700,000)
Fiscal Year 2023: ¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000)
Fiscal Year 2022: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
Fiscal Year 2021: ¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
Fiscal Year 2020: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
Fiscal Year 2019: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
Keywords論理の哲学 / 論理的不一致 / 論理学 / 不一致の哲学 / 論理哲学 / 数学の哲学 / 不一致の理解と克服 / 証明論的意味論 / 否定 / 論証 / 証明 / 論理的意味論 / 相互理解 / 不一致 / 議論の不一致の克服
Outline of Research at the Start

不一致が生じたときに、議論することを通じて不一致の克服を目指すことは現代社会の様々な場面で求められている。単なる「好み」の不一致のような場合ではなく、議論の中で不一致が生じる場合が重要である。しかしこのような不一致の中には、そもそも議論が論理的に噛み合っていない場合が多くある。論理的に噛み合っていない議論では、不一致の内容自体が互いに理解し合えないし、不一致の克服に向けた建設的な議論は不可能である。本研究では、論理やリーズニングといった根本的レベルの「不一致」の研究を行う。これによって、論理・リーズニングレベルにおける不一致の分析手法を明らかにし、論理的レベルの不一致の克服の方法を提示する。

Outline of Annual Research Achievements

論理的不一致の解明に向かって研究をさらに進展させた。特に、日仏対面ワークショップ「論理とリーズニングにおける不一致」を3回実現し、国際研究協力を進めることがでた。論理的不一致の議論の源泉の一つとして、古典論理と直観主義論理間のdisputeがverbal のVerbal disputeにすぎないというQuineの議論を挙げることができる。また、このQuineの立場を困難にさせるWiliumsonの議論も重要である。岡田を中心としてこの議論に新しい視点を与えた。岡本は潜在的な論理的依存性を顕在化するという視点で論理的不一致を考察した。細川は反事実条件文における不一致の問題を検討した。伊藤は規則の適用の視点も含めて、規則と不一致の議論を展開した。峯島は言語学的視点から不一致を検討した。五十嵐はカントのCobcept formationの視点から不一致を考察した。両国の国際共同研究メンバー間で相互の成果に関する共同討論を重ねなががら、それぞれの成果の改良を進めた。これらの研成果を欧文学術誌の特集号として公表する準備も進めた。
UNESCOにより1949年に設立された人文科学分野の統括組織である「国際哲学人文学会議(CIPSH)」の2034年総会・国際会議のオーガナイズに本研究班が積極的な役割を果たした。特に、この国際会議で設定された2つの特別パネルのうちの一つが本研究班の中心テーマとして採用された。「Humanity studies for Disagreement, Communicatuion and Mutial Understanding」というパネルテーマで、「不一致」の問題を関連諸分野の第一線の研究者と議論を行い、本課題研究の貢献が示された。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

フランス側連携チームとの日仏ワークショップを3回開催し、日本側から9名の派遣、フランス側から4名の派遣があった。 ワークショップを公開し本研究チームの成果を公開した。 フランス側との間で今後の共同研究の進め方につ打ち合わせも進んだ。 成果のさらなる発展に向けて、国際哲学人文学会議(CIPSH)2023国際会議で、本研究チームがオーガナイズして、Disagreement, Communication and Mutual Understandingについての特学際別パネルを、2つの特別パネルの一つとして開催したことも、研究の順調な進展を示している。

Strategy for Future Research Activity

一時パンデミックにより海外渡航が困難であったが、海外渡航が可能となったので海外の連協研究者・協力者たちと対面で学術交流する形式を重視して研究を進める。
成果を欧文学術誌特集号な非どのかたち海外連携グループと計画を立ていく。
「不一致の理解と克服」という、より広い枠組みの観点から本研究プロジェクトの成果を位置付けることも目指す。

Report

(5 results)
  • 2023 Research-status Report
  • 2022 Research-status Report
  • 2021 Research-status Report
  • 2020 Research-status Report
  • 2019 Research-status Report
  • Research Products

    (101 results)

All 2024 2023 2022 2021 2020 2019 Other

All Int'l Joint Research (9 results) Journal Article (25 results) (of which Int'l Joint Research: 3 results,  Peer Reviewed: 19 results,  Open Access: 17 results) Presentation (51 results) (of which Int'l Joint Research: 27 results,  Invited: 9 results) Book (3 results) Funded Workshop (13 results)

  • [Int'l Joint Research] パリ第一大学IHPST/パリ第一大学哲学科/INRIA(フランス)

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

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

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

    • Related Report
      2022 Research-status Report
  • [Int'l Joint Research] パリ第1大学/CNRS (IHPST)/INRIA(フランス)

    • Related Report
      2021 Research-status Report
  • [Int'l Joint Research] CNRS/パリ大学第1校/リヨン大学第3校(フランス)

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

    • Related Report
      2020 Research-status Report
  • [Int'l Joint Research] パリ第1大学/CNRS/リヨン大学(フランス)

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

    • Related Report
      2019 Research-status Report
  • [Journal Article] NeuBAROCO データセットによる大規模言語モデルの推論能力の検証2024

    • Author(s)
      森下貴允, 安東里沙子, 阿部裕彦, 小関健太郎, 峯島宏次, 岡田光弘
    • Journal Title

      言語処理学会第30回年次大会発表論文集

      Volume: 1 Pages: 931-936

    • Related Report
      2023 Research-status Report
    • Open Access
  • [Journal Article] From Counterfactual Conditionals to Temporal Conditionals2023

    • Author(s)
      Hosokawa Yuichiro
    • Journal Title

      Journal of Logic, Language and Information

      Volume: 32 Issue: 4 Pages: 677-706

    • DOI

      10.1007/s10849-023-09400-6

    • Related Report
      2023 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases2023

    • Author(s)
      Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro
    • Journal Title

      Proceedings of the 4th Natural Logic Meets Machine Learning Workshop

      Volume: 1 Pages: 1-11

    • Related Report
      2023 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] An Interpretation of the Gray's Elegy Argument2023

    • Author(s)
      Ito Ryo
    • Journal Title

      Journal for the History of Analytical Philosophy

      Volume: 11 Issue: 6 Pages: 1-38

    • DOI

      10.15173/jhap.v11i6.5380

    • Related Report
      2023 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] 情報の哲学史試論──『ポール・ロワイヤル論理学』・ライプニッツ・カント──2023

    • Author(s)
      五十嵐涼介
    • Journal Title

      哲學研究

      Volume: 609 Pages: 84-104

    • Related Report
      2022 Research-status Report
  • [Journal Article] Can Negation Be Depicted? Comparing Human and Machine Understanding of Visual Representations2023

    • Author(s)
      Yuri Sato, Koji Mineshima, Kazuhiro Ueda
    • Journal Title

      Cognitive Science

      Volume: 47 Issue: 3

    • DOI

      10.1111/cogs.13258

    • Related Report
      2022 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Realism and Idealism in the Early Analytic Dispute Over the External World2022

    • Author(s)
      伊藤 遼
    • Journal Title

      Process Thought

      Volume: 22 Issue: 0 Pages: 20-34

    • DOI

      10.32242/processthought.22.0_20

    • ISSN
      2185-3207, 2434-6543
    • Related Report
      2022 Research-status Report
    • Open Access
  • [Journal Article] Visually Analyzing Universal Quantifiers in Photograph Captions2022

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

      Lecture Notes in Computer Science

      Volume: 13462 Pages: 373-377

    • DOI

      10.1007/978-3-031-15146-0_34

    • ISBN
      9783031151453, 9783031151460
    • Related Report
      2022 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] 「哲学史研究の越境と分業についてーある推論主義の立場から」2022

    • Author(s)
      伊藤遼
    • Journal Title

      「文学研究科紀要」

      Volume: 67 Pages: 23-40

    • Related Report
      2021 Research-status Report
    • Open Access
  • [Journal Article] On the ‘Psychological Origins’ of Analytic Philosophy2021

    • Author(s)
      伊藤 遼
    • Journal Title

      Philosophy (Tetsugaku)

      Volume: 2021 Issue: 72 Pages: 67-78

    • DOI

      10.11439/philosophy.2021.67

    • NAID

      130008040611

    • ISSN
      0387-3358, 1884-2380
    • Year and Date
      2021-04-01
    • Related Report
      2021 Research-status Report
    • Peer Reviewed / Open Access
  • [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 Research-status Report
    • Open Access
  • [Journal Article] The early Russell's view of the universe as fully describable2021

    • Author(s)
      伊藤遼
    • Journal Title

      Kagaku tetsugaku

      Volume: 53 Issue: 2 Pages: 25-44

    • DOI

      10.4216/jpssj.53.2_25

    • NAID

      130008009550

    • ISSN
      0289-3428, 1883-6461
    • Year and Date
      2021-03-31
    • Related Report
      2020 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Can Humans and Machines Classify Photographs as Depicting Negation?2021

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

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

      Volume: 12909 Pages: 348-352

    • DOI

      10.1007/978-3-030-86062-2_35

    • ISBN
      9783030860615, 9783030860622
    • Related Report
      2021 Research-status Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Assessing the Generalization Capacity of Pre-trained Language Models through Japanese Adversarial Natural Language Inference2021

    • Author(s)
      Hitomi Yanaka and Koji Mineshima
    • Journal Title

      Proceedings of BlackboxNLP 2021: Analyzing and interpreting neural networks for NLP

      Volume: - Pages: 337-349

    • DOI

      10.18653/v1/2021.blackboxnlp-1.26

    • Related Report
      2021 Research-status Report
    • Peer Reviewed / 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 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] 線形論理の意味論のTruthmaker解釈に向けて2021

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

      三田哲学会編 哲学

      Volume: 146-1 Pages: 19-37

    • Related Report
      2020 Research-status 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 Research-status 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 Research-status 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 Research-status 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 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Russell's Theories of Judgement2020

    • Author(s)
      Ryo Ito
    • Journal Title

      British Journal for the History of Philosophy

      Volume: 28 Issue: 1 Pages: 112-133

    • DOI

      10.1080/09608788.2019.1604315

    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [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: 10

    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Journal Article] 論理と文法2020

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

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

      Volume: 701 Pages: 30-35

    • Related Report
      2019 Research-status 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 Research-status 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 Research-status Report
    • Peer Reviewed / Open Access
  • [Presentation] How are Assumptions and Commitments surrounding Godel’s Incompleteness Theorem to be Conceived of ?- A (hopefully) Contribution to Logic Education-2024

    • Author(s)
      Kengo Okamoto
    • Organizer
      World Logic Day 14th Meeting
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] Wittgenstein on Understanding a Mathematical Proposition-A Reconsideration from a Linear / Modal Logical Point of View2024

    • Author(s)
      岡本賢吾
    • Organizer
      Workshop with Jocelyn Benoist: Discussions on Wittgenstein and Beyond
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] How to Spell Out Implicit Logical Dependencies2024

    • Author(s)
      Kengo Okamoto
    • Organizer
      Disagreement in Logic and Reasoning
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] Discontinuity, and continuity of Wittgenstein’s philosophy of arithmetic from his early period to his middle period and further2024

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Workshop with Jocelyn Benoist: Discussions on Wittgenstein and Beyond
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] Logical Disagreement revisited, with l, continued2024

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Disagreement in Logic and Reasoning
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] Kant's Theory of Concept Formation: Definitions, Expansions, and the Role of Experience2024

    • Author(s)
      Ryosuke Igarashi
    • Organizer
      Workshop with Jocelyn Benoist: Discussions on Wittgenstein and Beyond
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] From Counterfactual Conditionals to Temporal Conditionals2024

    • Author(s)
      細川雄一郎
    • Organizer
      Sapporo One-day Workshop on Hybrid Logic and Proof Theory
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] Disagreement Among Analyses of Counterfactuals2024

    • Author(s)
      細川雄一郎
    • Organizer
      France-Japan Workshop on “Disagreement in Logic and Reasoning
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] Is Reasoning Without Logic Viable? An Evaluation of Large Language Models using the NeuBAROCO dataset2024

    • Author(s)
      Koji Mineshima
    • Organizer
      IHPST Seminar
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] Expressing Disagreement and Concession2024

    • Author(s)
      Koji Mineshima
    • Organizer
      IHPST French-Japanese Colloquium, Disagreement in Logic and Reasoning
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] Expression, Extension, and Disagreement about Rules2024

    • Author(s)
      Ryo Ito
    • Organizer
      Le Colloque Franco-Japonais sur le Desaccord en Logique et dans le Raisonnement
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] Russell's Notion of 'Genuine Names'2024

    • Author(s)
      Ryo Ito
    • Organizer
      A Workshop on Russell, Lesniewski and beyond
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] ワークショップ「部分構造論理からWittgensteinを/Wittgensteinから部分構造論理を読み解く」2023

    • Author(s)
      岡本賢吾
    • Organizer
      科学基礎論学会
    • Related Report
      2023 Research-status Report
  • [Presentation] Social Awereness of Cybersecurity2023

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      第8回France-Japan CyberSecurity Workshop
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] An Aspect of Linear Logic2023

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Workshop on Philosophy of Linear Logic
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] Introducing Disagreement,Communication and Mutual Understanding2023

    • Author(s)
      Mitsuhiro Okada and Koji Mineshima
    • Organizer
      第28回国際哲学人文学会議(CHIPSH)国際会議
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] ”Logical Disagreement-Revisited”2023

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      日仏Disagreement in Logic and Reasoning ワークショップ
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] 「規則に従うことと変項が表現するもの - 数学教育の現場を手がかりに - 」2023

    • Author(s)
      伊藤 遼
    • Organizer
      科学基礎論学会
    • Related Report
      2023 Research-status Report
  • [Presentation] Variables and Various Sorts of Disagreements about Rules2023

    • Author(s)
      Ryo Ito
    • Organizer
      France-Japan Workshop on "Philosophy and Ethics of TV drama series" and "Disagreement in Logic and Reasoning"
    • Related Report
      2022 Research-status Report
    • Int'l Joint Research
  • [Presentation] Introduction to Logical Disagreement studies2023

    • Author(s)
      Koji Mineshima and Mitsuhiro Okada
    • Organizer
      TVドラマシリーズの哲学・倫理学」と「論理とリーズニングにおける不一致」に関する日仏ワークショップ
    • Related Report
      2022 Research-status Report
    • Int'l Joint Research
  • [Presentation] “Lebensformen”の論理学を考える - 世界哲学のプラットフォームの可能性?2022

    • Author(s)
      岡本賢吾
    • Organizer
      日本哲学会
    • Related Report
      2022 Research-status Report
  • [Presentation] トゥールミン図式のハイブリッド多領域様相論理による論理学的形式化ーーハイブリッド論理版 Weak Until としての “Unless”2022

    • Author(s)
      細川 雄一郎
    • Organizer
      日本科学哲学会第 55回(2022 年)大会ワークショップ「論理とリーズニングにおける「不一致」」
    • Related Report
      2022 Research-status Report
  • [Presentation] 推論主義に基づく数学的推論の説明とその限界2022

    • Author(s)
      1伊藤 遼
    • Organizer
      早稲田大学哲学会シンポジウム「論理学の形式性を再考する」
    • Related Report
      2022 Research-status Report
  • [Presentation] 「論理とリーズニングにおける不一致」プロジェクトレポート2022

    • Author(s)
      峯島宏次, 岡田光弘
    • Organizer
      UNESCO 世界論理デー記念ワークショップ
    • Related Report
      2022 Research-status Report
    • Int'l Joint Research
  • [Presentation] 論理とリーズニングにおける「不一致」2022

    • Author(s)
      峯島宏次, 岡田光弘
    • Organizer
      日本科学哲学会第55回(2022年度)大会
    • Related Report
      2022 Research-status Report
  • [Presentation] 論理推論の形式について2022

    • Author(s)
      岡田光弘
    • Organizer
      早稲田大学哲学会シンポジウム「論理学の形式性を再考する」
    • Related Report
      2022 Research-status Report
  • [Presentation] Disagreement in logic2022

    • Author(s)
      岡田光弘
    • Organizer
      Logic for Peace
    • Related Report
      2022 Research-status Report
  • [Presentation] 論理と論理言語の関係を再考する2022

    • Author(s)
      岡田光弘
    • Organizer
      日本哲学会
    • Related Report
      2022 Research-status Report
  • [Presentation] What is and will be the formal method ?2022

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      8th France-Japan Cubersecurity Worksjop
    • Related Report
      2022 Research-status Report
  • [Presentation] 「論理的原子論の「論理」と「原子」について」2022

    • Author(s)
      伊藤遼
    • Organizer
      「世紀転換期における観念論と実在論」定例研究会
    • Related Report
      2021 Research-status Report
    • Invited
  • [Presentation] A Collaboration between Humanities and AI/Digital Technologies for Fairness and Transparency Research2021

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      CIPSH Conference: The Humanities, the SDGs and the Demand on the Humanities/Human Sciences for Social Relevance: Thinking and Rethinking Opportunities and Methodological Issues
    • Related Report
      2021 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] 連続した多属性意思決定課題における時系列での意思決定プロセスの変化2021

    • Author(s)
      森井真広, 井出野尚, 岡田光弘
    • Organizer
      第40回基礎心理学会大会
    • Related Report
      2021 Research-status Report
  • [Presentation] Natural Language Inference: A View from Logic and Formal Semantics2021

    • Author(s)
      Koji Mineshima
    • Organizer
      ILFC Seminar: interactions between formal and computational linguistics
    • Related Report
      2021 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] "Two Epistemological Problems in the Early Russell’s Ontology"2021

    • Author(s)
      Ryo Ito
    • Organizer
      Society for the History of Early Analytical Philosophy
    • Related Report
      2021 Research-status Report
    • Int'l Joint Research
  • [Presentation] 「フレーゲのパズルとラッセルの存在論」2021

    • Author(s)
      伊藤遼
    • Organizer
      存在論・形而上学ワークショップ・三田ロジックセミナー
    • Related Report
      2021 Research-status Report
    • Invited
  • [Presentation] 「ラッセルの「構成」概念とスタウトの心理学」2021

    • Author(s)
      伊藤遼
    • Organizer
      日本ホワイトヘッド・プロセス学会
    • Related Report
      2021 Research-status Report
    • Invited
  • [Presentation] 「なぜFrege/WittgensteinのBefore&Afterなのか」2021

    • Author(s)
      岡本賢吾
    • Organizer
      科学基礎論学会大会ワークショップ「Context概念再考:論理主義のBefore&After」
    • Related Report
      2021 Research-status Report
  • [Presentation] 「空所と変数:タイプ階層の創発史に向けて」2021

    • Author(s)
      岡本賢吾
    • Organizer
      科学基礎論学会秋の研究例会ワークショップ「変数から論理と数学と捉え直す:最近の成果」
    • Related Report
      2021 Research-status Report
  • [Presentation] 「もう一つのゲーデル埋め込みを考える-技術的詳細と哲学的興味」2021

    • Author(s)
      岡本賢吾, 山崎紗紀子, 三上温湯
    • Organizer
      日本科学哲学会大会
    • Related Report
      2021 Research-status Report
  • [Presentation] 情報と変数2021

    • Author(s)
      細川雄一郎
    • Organizer
      科学基礎論学会2021年度秋の研究例会
    • Related Report
      2021 Research-status Report
  • [Presentation] Disagreement in Counterfactuals2021

    • Author(s)
      細川雄一郎
    • Organizer
      Aspects of Logic Study Jan.15, 2022 An event organized as a series of “Disagreement in Logic and Reasoning” research
    • Related Report
      2021 Research-status Report
  • [Presentation] 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 Research-status 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 Research-status 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, Mitsuhiro Okada
    • Organizer
      The 13th International Workshop on Rewriting Logic and its Applications (WRLA 2020)
    • Related Report
      2020 Research-status Report
    • Int'l Joint Research
  • [Presentation] カントとロッツェの抽象主義批判2020

    • Author(s)
      浅野将秀・五十嵐涼介
    • Organizer
      日本哲学会・哲学オンラインセミナー共催ワークショップ『概念形成の哲学史──古代から現代へ──』
    • Related Report
      2020 Research-status Report
  • [Presentation] 無限判断の論理形式2020

    • Author(s)
      五十嵐涼介
    • Organizer
      日本カント協会第45回学会
    • Related Report
      2020 Research-status Report
  • [Presentation] 分析哲学のいわゆる「心理学的起源」について2020

    • Author(s)
      伊藤遼
    • Organizer
      日本哲学会
    • Related Report
      2020 Research-status Report
  • [Presentation] Re-cosideration of "formal"inference and "forma" proof of logic2020

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      University of Lyon-3 Logic Seminar,
    • Related Report
      2019 Research-status 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 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] Types and equality- A case study with inductive types2019

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      第52回科学哲学会大会シンポジウム"Type Theory Re-Visited-Type, Abstraction, Classification"
    • Related Report
      2019 Research-status Report
  • [Presentation] Why Making Propositions and Proofs into Objects?2019

    • Author(s)
      Shingo Okamoto
    • Organizer
      第52回 科学哲学会大会シンポジウム"Type Theory Re-Visited-Type, Abstraction, Classification"
    • Related Report
      2019 Research-status Report
  • [Book] Wittgenstein's Tractatus Logico-Philosophicus,A Critical Guide (Edited by Jose L. Zalabardo, University College London) Chapter 82024

    • Author(s)
      Mathieu Marion and Mitsuhiro Okada
    • Total Pages
      234
    • Publisher
      Cambridge University Press
    • ISBN
      9781009067690
    • Related Report
      2023 Research-status Report
  • [Book] Wittgenstein's Stlraggle with Intuitionism, in ittgenstein's Philosophy in 19292023

    • Author(s)
      Mathieu Marion and Mitsuhiro Okada
    • Total Pages
      215
    • Publisher
      Routledge
    • ISBN
      9781032288536
    • Related Report
      2022 Research-status Report
  • [Book] Following a Rule: Waismann’s Variation2020

    • Author(s)
      Mathieu Marion and Mitsuhiro Okada (Edited by: Gabriele M. Mras, Paul Weingartner and Bernhard Ritter )
    • Total Pages
      721
    • Publisher
      De Gruyter
    • Related Report
      2019 Research-status Report
  • [Funded Workshop] UNESCO World Logic Day 記念ワークショップ2024

    • Related Report
      2023 Research-status Report
  • [Funded Workshop] Disagreement in logic and reasoningm Tokyo2024

    • Related Report
      2023 Research-status Report
  • [Funded Workshop] Disagreement in logic and reasoning, Tokyo2024

    • Related Report
      2023 Research-status Report
  • [Funded Workshop] Disagreement in logic and reasoning, Paris2024

    • Related Report
      2023 Research-status Report
  • [Funded Workshop] Disagreement in logic and reasoning, Paris2023

    • Related Report
      2023 Research-status Report
  • [Funded Workshop] CIPSH Tokyo Conference Panel Session "Disagreement, Comminication and Mutual Understanding"2023

    • Related Report
      2023 Research-status Report
  • [Funded Workshop] UNESCO世界論理デー記念ワークショップ2023

    • Related Report
      2022 Research-status Report
  • [Funded Workshop] TVドラマシリーズの哲学・倫理学」と「論理とリーズニングにおける不一致」に関する日仏ワークショップ2023

    • Related Report
      2022 Research-status Report
  • [Funded Workshop] 8th France-Japan Cybersecurity Wprkshop2022

    • Related Report
      2022 Research-status Report
  • [Funded Workshop] 「論理とリーズニングにおける不一致」ワークショップ2022

    • Related Report
      2022 Research-status Report
  • [Funded Workshop] Aspects of Logic "Disagreement in Logic"2021

    • Related Report
      2021 Research-status Report
  • [Funded Workshop] Disagreement in Logic and Reasoning2021

    • Related Report
      2020 Research-status Report
  • [Funded Workshop] Mathematical and logical understanding and formalization Workshop in honor of Prof. Mitsuhiro Okada2020

    • Related Report
      2019 Research-status Report

URL: 

Published: 2019-10-10   Modified: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi