Interdisciplinary studies on philosophy of logic: Toward the development of philosophy of proof and demonstration

逻辑哲学的跨学科研究:走向证明和论证哲学的发展

基本信息

  • 批准号:
    21H00467
  • 负责人:
  • 金额:
    $ 8.49万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
  • 财政年份:
    2021
  • 资助国家:
    日本
  • 起止时间:
    2021-04-01 至 2026-03-31
  • 项目状态:
    未结题

项目摘要

20世紀的形式言語により見落とされることとなった論理の形式性を問い直す試みを多面的に進めた。岡田は、20世紀的汎用述語論理の形式証明とは異なる証明概念をウィトゲンシュタインの草稿から引き出した(日本哲学会ワークショップ)。特に、前期ウィトゲンシュタインの算術証明概念と中期ウィトゲンシュタインの算術証明概念を比較、ウィトゲンシュタインの直観主義証明に対する批判などを通じて、中期ウィトゲンシュタインにおける証明概念の形式性の捉え方の独自性を示した (Wittgenstein's Philosophy in 1929, Routledge)。このことから、証明の推論形成を概念I形成と捉える立場を検討し、その具体例を、古典論理と直観主義論理の統語論理の推論形成で示した。(早稲田大学哲学会フィロソフィア誌シンポジウム要旨、Proc, of Logic for Peace)。岡田は論証推論主義の観点から、伊藤はブランダムらの推論主義の観点から推論と論証について連携して本課題研究を進めた。(伊藤の推論主義の成果の一部は上記シンポジウム要旨参照。)伊藤は、規則と規則の適用の区別をもとに推論・論証概念の新しい視点を与えた。(例えば、「Disagreement in Logic and Reasoning」日仏ワークショップ)。形式論理言語では捉えにくい推論について研究を進めた。この文脈で峯島は、20世紀型述語論理では捉えにくいことが知られている、逆接などの接続詞や比較詞の考察の成果を公開した。画像的論理推論の研究も進めた。岡田と峯島は深層学習ベースの自然言語推論モデルを論理推論・論理証明の観点から評価する方法論を検討し、それに基づいて調査を開始した。人の自然言語推論で知られている種々の推論バイアスが機械学習の推論モデルでも生じるかという問題や、機会学習モデルによる論証形成の問題を検討した。
Formal speech in the 20th century is a logical and formal process. Okada, 20th Century Universal Verbal Logic Formal Proof and Different Proof Concept A comparison of the concepts of arithmetic proof in the early and middle stages, a critique of the concepts of arithmetic proof in the early and middle stages, and a demonstration of the independence of the formal concepts of arithmetic proof in the middle and middle stages (Wittgenstein's Philosophy in 1929, Routine). The formation of concepts, the formation of positions, the formation of concrete examples, the formation of classical logic, the formation of mathematical logic, and the formation of mathematical logic. (Waseda University Philosophy Society, Proc, of Logic for Peace). Okada's argument and deduction theory are the key points of this research. (Part of the results of Ito's theory of deduction refers to the main points of the above note.) Ito, rules, rules, application, deduction, argument, concept, new viewpoint, etc. (See also "Disagreement in Logic and Reasoning"). Formal Logic Speech The results of the investigation of the 20th century type predicate logic are disclosed. A study on logical inference of portraits. Okada Takashima's deep learning, natural speech inference, logical inference, logical proof, evaluation, methodology, and basic research began. Human natural speech inference is a problem of machine learning inference. It is a problem of opportunity learning inference.

项目成果

期刊论文数量(27)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
論理と論理言語の関係を再考する
重新思考逻辑与逻辑语言之间的关系
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Savage;P. E.;Jacoby;N.;Margulis;E. H.;Daikoku;H.;Anglada-Tort;M.;Castelo-Branco;S. E.-S.;Nweke;F. E.;Fujii;S.;Hegde;S.;Chuan-Peng;H.;Jabbour;J.;Lew-Williams;C.;Mangalagiu;D.;McNamara;R.;Mullensiefen;D.;Opondo;P.;Patel;A.;岡田光弘;伊規須敦史・石井敬子;臼井恵美子,羽衣杉雄;岡田光弘
  • 通讯作者:
    岡田光弘
ケベック大学モントリオール校(カナダ)
魁北克大学蒙特利尔分校(加拿大)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Disagreement in logic
逻辑上不一致
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Savage;P. E.;Jacoby;N.;Margulis;E. H.;Daikoku;H.;Anglada-Tort;M.;Castelo-Branco;S. E.-S.;Nweke;F. E.;Fujii;S.;Hegde;S.;Chuan-Peng;H.;Jabbour;J.;Lew-Williams;C.;Mangalagiu;D.;McNamara;R.;Mullensiefen;D.;Opondo;P.;Patel;A.;岡田光弘
  • 通讯作者:
    岡田光弘
ラッセルの「構成」概念とスタウトの心理学
罗素的“配置”概念与斯托特的心理学
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    陶徳民;吾妻重二;黄東蘭;山田智;村田雄二郎;錢鴎;林少陽;羅コン;小嶋茂稔;石暁軍;朱琳;石永峰;高木智見;二ノ宮聡;呉偉明;高田時雄;平山惠美子;前川真行;伊藤 遼
  • 通讯作者:
    伊藤 遼
Evaluating Compositionality in Japanese Textual Entailment
评估日语文本蕴涵的组合性
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    佐藤拓真;窪田愛;峯島宏次;山口雅広;Koji Mineshima
  • 通讯作者:
    Koji Mineshima
{{ 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
  • 资助金额:
    $ 8.49万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
On information presentation methods for easier decison making: Studies on multi-attribute decision making
便于决策的信息呈现方法:多属性决策研究
  • 批准号:
    21K18339
  • 财政年份:
    2021
  • 资助金额:
    $ 8.49万
  • 项目类别:
    Grant-in-Aid for Challenging Research (Exploratory)
Study on "Disagreement" in logic
逻辑学中的“分歧”研究
  • 批准号:
    19KK0006
  • 财政年份:
    2019
  • 资助金额:
    $ 8.49万
  • 项目类别:
    Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
Reading "Zen-no-kenkyu" of Nishida from the view of Wittgenstein's Language Game
从维特根斯坦的语言游戏看西田的《禅之研究》
  • 批准号:
    18F18798
  • 财政年份:
    2018
  • 资助金额:
    $ 8.49万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
論理学・認知科学・遺伝学を統合した論理推論研究
整合逻辑学、认知科学和遗传学的逻辑推理研究
  • 批准号:
    18650067
  • 财政年份:
    2006
  • 资助金额:
    $ 8.49万
  • 项目类别:
    Grant-in-Aid for Exploratory Research
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
超越模型检验方法限制的动态实时系统逻辑验证方法
  • 批准号:
    16016276
  • 财政年份:
    2005
  • 资助金额:
    $ 8.49万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究
日美科学合作项目“软件验证的逻辑方法”更新计划研究
  • 批准号:
    15630002
  • 财政年份:
    2003
  • 资助金额:
    $ 8.49万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
超越模型检验方法限制的动态实时系统逻辑验证方法
  • 批准号:
    15017278
  • 财政年份:
    2003
  • 资助金额:
    $ 8.49万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
超越模型检验方法限制的动态实时系统逻辑验证方法
  • 批准号:
    14019078
  • 财政年份:
    2002
  • 资助金额:
    $ 8.49万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
特定領域研究及び国際共同研究「新しい論理学の展開」のための企画研究
特定领域研究和国际联合研究“新逻辑的开发”的计划研究
  • 批准号:
    14601001
  • 财政年份:
    2002
  • 资助金额:
    $ 8.49万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了