| 研究課題/領域番号 |
16K05252
|
|---|
| 研究機関 | 静岡大学 |
|---|
研究代表者 |
鈴木 信行 静岡大学, 理学部, 教授 (60216421)
|
|---|
| 研究期間 (年度) |
2016-04-01 – 2020-03-31
|
| キーワード | 非古典論理 / 述語論理 / 構成性 / disjunction property / existence property |
|---|
| 研究実績の概要 |
構成性(constructivity)は、直観主義論理の基本的要請であり、構成的数学の研究における基本的概念であるとともに、数理論理学の重要な主題の1つである。これと関連の深い選言特性(disjunction property, DPと略記)と存在特性(existence property, EP)の2つの性質について、中間述語論理と直観主義的(構成的)数学の2つの分野でこれまで独立していた流れを融合的に進展させることが期待される。本研究では、構成性(特にDPとEP)について理解を深め、直観主義的(構成的)数学の知見を吸収して、中間述語論理の研究を大きく前進させることを目的としている。
本年度は、構成的数学分野の連携研究者とともに、両分野からの多層的な考察を深め、理論構築を目指した。前年度の成果に基づき、構成的数学における技術や成果を中間述語論理のKripke意味論に持ち込むことを試み、直観主義的算術(Heyting arithmetic)とその拡張の証明論的および意味論的議論の関係を議論した。この知見により、中間述語論理のKripke意味論の手法が活用できることもわかった。当初の計画に従い、平成29年度でも連携研究者と膝づめで討論し、それを持ち帰って熟慮し、また討論することを繰り返した。これを実行するため、国内出張を5回行った。（連携研究者と調整して議論と研究成果発表を一度の出張で行った場合もあり、国内出張は計6回）また、藤原誠氏（早稲田大学）と横山啓太氏（北陸先端科学技術大学院大学）を議論の仲間に加えて、より強力な布陣にすることができた。
国内学会で3件、国際学会(Second Workshop on Mathematical Logic and its Applications, Kanazawa, Japan)で1件の発表を行った。また、学術論文が1つ出版された。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
平成29年度は、理論構築にめどをつけることを目標として研究を行った。中間述語論理と直観主義的(構成的)数学の2つの分野で独立に進展している諸概念のうち、本研究にかかわりの深い部分について理解がすすんだ。その過程で、自然数論の証明論やモデル論(Kripke意味論)とのかかわりが重要である。連携研究者の石原哉氏・根元多佳子氏（北陸先端科学技術大学院大学）の他に、藤原誠氏（早稲田大学）と横山啓太氏（北陸先端科学技術大学院大学）の協力を得ることにより、より強力で柔軟な布陣を築くことができた。5回の研究打ち合わせを行い、構成的数学（特に直観主義的算術）と中間述語論理について理解が進んだ。特に、古典的自然数論の非標準モデルとKripke意味論の双方を扱う手法について、議論が進んでおり、この点だけでも共同研究論文が完成する可能性が出ている。
こうしたことから、今後の進捗に期待すべき段階に至っていると考える。
|
| 今後の研究の推進方策 |
まずは、現時点での範囲で理論構築を目指す。前年度の成果に基づき、構成的数学における技術や成果を中間述語論理(特にKripke 型意味論の文脈) に持ち込むことを試みる。特に、古典的自然数論の非標準モデルとKripke意味論の融合モデル構築における具体例の集積が重要との見込みですすめている。これによって、連携研究者を含む共同研究論文の作成が可能になるであろうと予想している。連携研究者との議論を中心に進める予定である。また、数理論理学の国内研究集会での資料収集も行う。さらに、進捗状況に応じて、構成的数学関連で外国を含めて出張し、関係資料の収集とディスカッションを行う予定である。他には、関連するセミナーなどに出席するため、国内出張する。また、数理論理学の文献を資料を収集する。(資料の量が多くなることが予想されるので、謝金によって大学院生に資料の整理を手伝ってもらう予定である。) 設備費によって、構成的数学関係の文献を購入する。
|
| 次年度使用額が生じた理由 |
研究成果を発表する予定であった国際会議（2018 SAET Conference, 台北で開催）において、計画中であったセッションが、オーガナイザーの都合でセッションごとキャンセルとなり、そのための予算が使用されなかった（20万円程度）。連携研究者との研究打ち合わせは、計画当初は、連携研究者の在籍地である石川県能美市で行う予定であったが、連携研究者の出張（東京、山形（学会）、米子（研究集会））と併せて行うことができ、18万円弱の節約となった。合わせて38万円弱の余剰ができた。
連携研究者との共著論文完成ために出張に使用する。また、海外研究者との打ち合わせのため、外国出張に振り分けるため交渉中である。指導中の大学院生を学会などに出張させ、より広範囲な情報収集を計画している。
|
