| Project/Area Number |
15J05414
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Single-year Grants |
|---|
| Section | 国内 |
|---|
| Research Field |
Philosophy/Ethics
|
|---|
| Research Institution | Kanazawa University (2017)
Kobe University (2015-2016) |
|---|
Principal Investigator |
黒川 英徳 金沢大学, 国際基幹教育院, 准教授 (30710230)
|
|---|
| Project Period (FY) |
2015-04-24 – 2018-03-31
|
| Project Status |
Completed (Fiscal Year 2017)
|
| Budget Amount *help |
¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000)
Fiscal Year 2017: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2016: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2015: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
|
|---|
| Keywords | 直観主義論理 / 構成の理論 / 算術的完全性 / 非古典論理 / 論理定項 / シークエント計算 / 無矛盾性証明 / カット除去証明 / 無際限拡張可能性 / 証明論的意味論 / 直観主義 / 証明論 / 下部構造論理 / 様相論理 / 証明論理 |
|---|
| Outline of Annual Research Achievements |
本研究では，直観主義論理の基礎理論となるクライゼル-グッドマンの「構成の理論」について主として研究した．直観主義論理および直観主義形式算術の構成の理論に関する健全性，完全性を証明すること，および構成の理論の無矛盾性を証明することが目標であった．今年度は，特に当の理論の無矛盾性を証明することを主たる目標として研究を進めた．この証明にはラムダ計算のチャーチ＝ロッサーの定理を応用できることが期待されるため，この定理を証明する方法の幾つかを応用することを試みたが，現在のところ証明を得るには至っていない．このため研究の方針をある程度転換し，直観主義論理と算術の関係について述べるデ・ヨングの定理（あるいは直観主義論理の算術的完全性）と呼ばれる定理と構成の理論の関係を調べることにした．これについては，クライゼルによるsqueezing argumentと呼ばれる論法を応用することにより，構成の理論と直観主義論理の関係についてある洞察を得たため，現在論文を執筆中である．なお，この研究はワルター・ディーンとの共同研究である．
また今年度は，この中心課題に関連した非古典論理に関する研究を行なった．直観主義論理の基礎と関連する「証明論理」の哲学的基礎に関する論文を準備し，パリ第一大学IHPSTの，東京大学のセミナーで発表した．また，さらに広く非古典論理に現れる論理定項を証明論の観点から特徴付けるという研究を行い，その成果を第二回MLA（JAIST主催），バーミンガム大学のWSにて発表した．現在，この研究で得られた, 技術的な成果に関する論文，またこのトピックに関する哲学的な基礎に関する論文を現在執筆中である．なお，この研究と関連して，パリ第一大学のアルベルト・ナイボ，ブラジルUFABCのマティア・ペトローロとの論理定項の証明論的特徴付けに関する証明論的研究を継続中である．
|
| Research Progress Status |
29年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
29年度が最終年度であるため、記入しない。
|
