| 研究課題/領域番号 |
15J05414
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 国内 |
|---|
| 研究分野 |
哲学・倫理学
|
|---|
| 研究機関 | 金沢大学 (2017)
神戸大学 (2015-2016) |
|---|
研究代表者 |
黒川 英徳 金沢大学, 国際基幹教育院, 准教授 (30710230)
|
|---|
| 研究期間 (年度) |
2015-04-24 – 2018-03-31
|
| 研究課題ステータス |
完了 (2017年度)
|
| 配分額 *注記 |
2,470千円 (直接経費: 1,900千円、間接経費: 570千円)
2017年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2016年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2015年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
|---|
| キーワード | 直観主義論理 / 構成の理論 / 算術的完全性 / 非古典論理 / 論理定項 / シークエント計算 / 無矛盾性証明 / カット除去証明 / 無際限拡張可能性 / 証明論的意味論 / 直観主義 / 証明論 / 下部構造論理 / 様相論理 / 証明論理 |
|---|
| 研究実績の概要 |
本研究では，直観主義論理の基礎理論となるクライゼル-グッドマンの「構成の理論」について主として研究した．直観主義論理および直観主義形式算術の構成の理論に関する健全性，完全性を証明すること，および構成の理論の無矛盾性を証明することが目標であった．今年度は，特に当の理論の無矛盾性を証明することを主たる目標として研究を進めた．この証明にはラムダ計算のチャーチ＝ロッサーの定理を応用できることが期待されるため，この定理を証明する方法の幾つかを応用することを試みたが，現在のところ証明を得るには至っていない．このため研究の方針をある程度転換し，直観主義論理と算術の関係について述べるデ・ヨングの定理（あるいは直観主義論理の算術的完全性）と呼ばれる定理と構成の理論の関係を調べることにした．これについては，クライゼルによるsqueezing argumentと呼ばれる論法を応用することにより，構成の理論と直観主義論理の関係についてある洞察を得たため，現在論文を執筆中である．なお，この研究はワルター・ディーンとの共同研究である．
また今年度は，この中心課題に関連した非古典論理に関する研究を行なった．直観主義論理の基礎と関連する「証明論理」の哲学的基礎に関する論文を準備し，パリ第一大学IHPSTの，東京大学のセミナーで発表した．また，さらに広く非古典論理に現れる論理定項を証明論の観点から特徴付けるという研究を行い，その成果を第二回MLA（JAIST主催），バーミンガム大学のWSにて発表した．現在，この研究で得られた, 技術的な成果に関する論文，またこのトピックに関する哲学的な基礎に関する論文を現在執筆中である．なお，この研究と関連して，パリ第一大学のアルベルト・ナイボ，ブラジルUFABCのマティア・ペトローロとの論理定項の証明論的特徴付けに関する証明論的研究を継続中である．
|
| 現在までの達成度 (段落) |
29年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
29年度が最終年度であるため、記入しない。
|
