Study on "Disagreement" in logic

逻辑学中的“分歧”研究

基本信息

  • 批准号:
    19KK0006
  • 负责人:
  • 金额:
    $ 7.49万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
  • 财政年份:
    2019
  • 资助国家:
    日本
  • 起止时间:
    2019-10-07 至 2024-03-31
  • 项目状态:
    已结题

项目摘要

論理的不一致の解明に向かって研究を進展させた。特に、UNESCO世界論理デーの日本からの記念ワークショップの開催、日本科学哲学会大会でのワークショップ「論理的不一致」開催、日仏ワークショップ「論理とリーズニングにおける不一致」などを通じて、成果の中間報告も行った。このほか、日本哲学会ワークショップ及び早稲田大学哲学会シンポジウムなどでも「論理の不一致」を議論した。それらの中で特に主要な成果報告としては次のことが挙げられる。峯島らは論理の不一致についてこれまでの主要な先行研究を整理し、サーベイを行った。(「論理の不一致」ワークショップ)。古典論理と直観主義論理の不一致は単なる意味使用の違いにすぎないというクワイン的批判については特に共同研究者および協力者間で議論を進めた。両者の論理を共通の言語上で定式化することの困難さについてはウイリアムソン以来の議論がある。岡田らは、ウィリアムソンらの議論には潜在的な推論環境の問題を見落としているという立場を示した。この中で、共通言語において新たな倫理定項の概念形成が可能となるという視点も与えた。岡田らは、直観主義との不一致について、ウィトゲンシュタインの視点からも検討した。(特に、彼が最初に直観主義に直面した時期について検討した・伊藤は規則と規則の適用の区別から、不一致についての新たな視点を与えた。(日仏ワークショップ)細川はトゥールミン図式のハイブリッド多領域様相論理による論理学的形式化の議論を通じて成果を公表した。(「論理的不一致」ワークショップ」)実践的推論の研究者、モラルの不一致研究者、認識論的不一致の研究者らを招いて、論理的不一致の問題と対比することを通じて、論理的不一致の問題の特徴を検討した。関連する諸成果を出版した。図的論理や画像表現における論理的不一致研究、深層学習の推論モデルを用いた不一致研究も開始した。
The logical inconsistency is solved by the research progress. In particular, the UNESCO World Logic Conference of Japan held a press conference on "Logic Inconsistency" and a press conference on "Logic Inconsistency" held at the Japanese Society for Philosophy of Science. The Japanese Philosophical Society and the Waseda University Philosophical Society discussed "logical inconsistency." A report on the main achievements of the Chinese Academy of Sciences The main advance research of the peak island is not consistent with the logic. ("The logic is inconsistent"). The inconsistency between classical logic and orthodoxy logic means that the use of criticism in violation of the rules and regulations is a matter of discussion between co-researchers and collaborators. The logic of the speaker is common to the language, and the difficulties of the speaker are discussed. Okada's position on potential environmental issues is shown in the discussion of the issue. The concept of ethical determination is formed in common language. Okada's philosophy is inconsistent, and it needs to be discussed from the perspective of the world. (In particular, they are initially straightforward and straightforward. In the period of confrontation, they are inconsistent with the rules and the application of the rules.) Hosokawa's discussion of formalization of multi-domain logic is presented in detail. ("Logical inconsistency") Practical inference researchers, theoretical inconsistency researchers, epistemological inconsistency researchers, logical inconsistency problems, comparison problems, characteristics of logical inconsistency problems. The results were published. Logic and portrait performance are the beginning of inconsistency research, deep learning and inference.

项目成果

期刊论文数量(133)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Introduction to Logical Disagreement studies
逻辑分歧研究简介
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Koji Mineshima and Mitsuhiro Okada
  • 通讯作者:
    Koji Mineshima and Mitsuhiro Okada
論理推論の形式について
关于逻辑推理的形式
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    小川佳万;小野寺香;松本麻人;岡田光弘
  • 通讯作者:
    岡田光弘
Semantics for “Typically” and Default Reasoning
“典型”和默认推理的语义
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    細川雄一郎;細川雄一郎;Nobuko Nagase and Lulu Shi;Mitsuhiro Okada;Nobuko Nagase;Gergei Bana and Mitsuhiro Okada
  • 通讯作者:
    Gergei Bana and Mitsuhiro Okada
Re-cosideration of "formal"inference and "forma" proof of logic
重新考虑“形式”推理和“形式”逻辑证明
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Yuta Takahashi;Mitsuhiro Okada;永瀬伸子;浅野将秀・五十嵐涼介;Emiko Usui;五十嵐涼介;Emiko Usui;伊藤遼;臼井恵美子;Mitsuhiro Okada
  • 通讯作者:
    Mitsuhiro Okada
Two Epistemological Problems in the Early Russell’s Ontology
早期罗素本体论中的两个认识论问题
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    中川一人;竹島正博;塩川博義;Eiichiro Hirata;藤井 隆道;前川真行;山本浩之;山本佳世子;田澤晴子;陶徳民 他7名;Ryo Ito
  • 通讯作者:
    Ryo Ito
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

岡田 光弘其他文献

オーバラップMCとMPを反復する動画像符号化 -MCの性能改善に関する-検討-
重复重叠MC和MP的视频编码 -改善MC性能的研究-
The role of Japanese Inter-organizational Network for Statistics Education (JINSE)
日本组织间统计教育网络 (JINSE) 的作用
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    森井 真広;井出野 尚;坂上 貴之;竹村 和久;岡田 光弘;福田円;Yasuto Yoshizoe
  • 通讯作者:
    Yasuto Yoshizoe
Examining Examinations : on logic of practices in OSCE 医学教育の相互行為分析-「OSCE」における実践の論理-(英文)
考试:欧安组织实践逻辑医学教育中的互动分析 - 欧安组织实践逻辑(英语)
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    樫田 美雄;他;藤崎宏子;岡田 光弘;平岡公一;樫田 美雄;藤守 義光
  • 通讯作者:
    藤守 義光
The designs of teacher's interventional-acts to promote students' autonomic clinical inference : From a case of Problem-Based Learning
促进学生自主临床推理的教师干预行为设计——以问题为基础的学习为例
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    樫田 美雄;他;藤崎宏子;岡田 光弘;平岡公一;樫田 美雄;藤守 義光;原田謙・杉澤秀博・柴田博;田代和子・杉澤秀博;五十嵐素子
  • 通讯作者:
    五十嵐素子
Ingarden’s Dual-Bearer Theory of Fictional Objects
英加登虚构物体的双重承载理论
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    小関 健太郎;岡田 光弘;Kentaro Ozeki
  • 通讯作者:
    Kentaro Ozeki

岡田 光弘的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('岡田 光弘', 18)}}的其他基金

論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
旨在深化论证和证明哲学的跨学科“逻辑哲学”研究
  • 批准号:
    23K20416
  • 财政年份:
    2024
  • 资助金额:
    $ 7.49万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
On information presentation methods for easier decison making: Studies on multi-attribute decision making
便于决策的信息呈现方法:多属性决策研究
  • 批准号:
    21K18339
  • 财政年份:
    2021
  • 资助金额:
    $ 7.49万
  • 项目类别:
    Grant-in-Aid for Challenging Research (Exploratory)
Interdisciplinary studies on philosophy of logic: Toward the development of philosophy of proof and demonstration
逻辑哲学的跨学科研究:走向证明和论证哲学的发展
  • 批准号:
    21H00467
  • 财政年份:
    2021
  • 资助金额:
    $ 7.49万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Reading "Zen-no-kenkyu" of Nishida from the view of Wittgenstein's Language Game
从维特根斯坦的语言游戏看西田的《禅之研究》
  • 批准号:
    18F18798
  • 财政年份:
    2018
  • 资助金额:
    $ 7.49万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
論理学・認知科学・遺伝学を統合した論理推論研究
整合逻辑学、认知科学和遗传学的逻辑推理研究
  • 批准号:
    18650067
  • 财政年份:
    2006
  • 资助金额:
    $ 7.49万
  • 项目类别:
    Grant-in-Aid for Exploratory Research
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
超越模型检验方法限制的动态实时系统逻辑验证方法
  • 批准号:
    16016276
  • 财政年份:
    2005
  • 资助金额:
    $ 7.49万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究
日美科学合作项目“软件验证的逻辑方法”更新计划研究
  • 批准号:
    15630002
  • 财政年份:
    2003
  • 资助金额:
    $ 7.49万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
超越模型检验方法限制的动态实时系统逻辑验证方法
  • 批准号:
    15017278
  • 财政年份:
    2003
  • 资助金额:
    $ 7.49万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
特定領域研究及び国際共同研究「新しい論理学の展開」のための企画研究
特定领域研究和国际联合研究“新逻辑的开发”的计划研究
  • 批准号:
    14601001
  • 财政年份:
    2002
  • 资助金额:
    $ 7.49万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
超越模型检验方法限制的动态实时系统逻辑验证方法
  • 批准号:
    14019078
  • 财政年份:
    2002
  • 资助金额:
    $ 7.49万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了