「意味＝使用」説に基づく「論理とは何か」の解明　－問題解決型アプローチ－

基于“意义=用途”理论阐明“什么是逻辑” -解决问题的方法-

• 批准号: 11J06934
• 负责人: 伊藤 遼
• 金额: $ 0.77万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2011
• 资助国家: 日本
• 起止时间: 2011 至 2013
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-11J06934/
• 关键词: 論理学; バートランドラッセル; Bertrand Russell; 論理学の哲学; 言語哲学; ラッセル; ダメット; 意味=使用説; 論理主義; 置き換え理論; 証明論的意味論

私の研究目標は、「論理とは何か」という問題について、意味=使用説という観点から解答を与えることであった。昨年度までの研究により、「論理とは何か」という問題に解答を与えるにあたって、まずは「論理」概念そのものが歴史的な変化したことを踏まえる必要が明らかになった。そこで、本年度は、バートランド・ラッセルの論理観を現代の数理論理学のそれと比較することを中心的な研究課題とした。これまで多くの論者は、ラッセルにとって論理学の対象とは「普遍言語」であったとすることで、現代の論理学との対比を試みてきた。しかし、本年度の研究により、こうした説明には、ラッセルが「言語」を理解するその仕方と不整合がみられることが明らかになった。私は、そうした説明に代えて、彼の論理観を形而上学との結びつきという観点から捉えなおすことで、ラッセルと現代論理学とのあいだにある、論理の捉え方に関する差違を取り出すことを試みた。私の考えは、ヒルベルト以降の数理論理学が数学的に抽象化された言語とその解釈を扱うのに対して、ラッセルにとって論理学は、言わば、世界のあり方を定める諸原理、形而上学な諸原理をその主題とするものであって、言語をその主題とするものではなかったと考えられる、というものである。本年度は、こうした考えを学会での発表および学術雑誌への投稿を通して、ひとつの形にすることに成功した。

The purpose of private research is to solve the problem of "logic" and "meaning". The answer to the problem of "logic" is necessary to solve the problem of "logic" in the past. This year's core research topic is the comparison of modern mathematical theory and logic. This is the first time I've ever seen such a thing. This year's research is focused on the understanding of "speech" and "non-integration." The logic of the universe is the logic of the universe. The logic of the universe is the logic of the universe. The principles of mathematics, metaphysics, and the principles of speech and language are the subjects of mathematics, mathematics, and mathematics. This year's academic year has been a success.

项目成果

タイプ理論の起源と発展

类型论的起源和发展

• 发表时间: 2011
• 期刊: 哲学論叢(別冊)
• 作者: 池田真治;伊藤遼;久木田水生
• 通讯作者: 久木田水生

ラッセルにみる論理と哲学の関係

罗素眼中的逻辑与哲学的关系

• 发表时间: 2013
• 作者: 池田真治;伊藤遼;久木田水生;伊藤 遼
• 通讯作者: 伊藤 遼

ラッセルの置き換え理論と二つのパラドクス

罗素的替代理论和两个悖论

• 发表时间: 2011
• 期刊: 哲学論叢
• 作者: 野間口真太郎;ら;伊藤遼
• 通讯作者: 伊藤遼

初期ラッセルにおける観念論論駁

早期罗素对唯心主义的驳斥

• 发表时间: 2012
• 作者: 池田真治;伊藤遼;久木田水生;伊藤 遼;伊藤遼
• 通讯作者: 伊藤遼

『数学の諸原理』におけるラッセルの言語観

罗素《数学原理》中的语言观

• 发表时间: 2011
• 作者: 池田真治;伊藤遼;久木田水生;伊藤 遼;伊藤遼;伊藤遼
• 通讯作者: 伊藤遼