2023 Fiscal Year Research-status Report
| Project/Area Number |
20K03716
|
|---|
| Research Institution | Shizuoka University |
|---|
Principal Investigator |
鈴木 信行 静岡大学, 理学部, 教授 (60216421)
|
|---|
| Project Period (FY) |
2020-04-01 – 2025-03-31
|
| Keywords | 非古典論理 / 述語論理 / 構成性 / disjunction property / existence property |
|---|
| Outline of Annual Research Achievements |
本研究テーマの中心的概念である構成性(constructivity)は、構成的論理で代表的な直観主義述語論理の際立った特徴として、数理論理学の重要な研究対象である。これを特徴的に表現しているとされる性質が、存在特性(existence property, EPと略記)と選言特性(disjunction property, DPと略記)である。超直観主義述語論理の枠組みで、これらの性質を独立に制御する手法を構築することが最大の課題である。今年度は、これまでの研究で分かっていた「EPに弱いDPを付加すると、通常のDPが導かれる」という現象に注目し、この現象の双対と言うべき「DPに弱いEPを付加する」という状況をみるため、EPの弱い亜種を考察した。ヒントとなったのは、頭に否定がついた論理式(negated formula)に注目することであった。ここで、超直観主義述語論理を狭めて中間述語論理に置き換えることにより、自由度をいくぶん制限することでextremeなEPを排除し、Glivenko-Kuroda定理が利用可能になってくる実例が作成できた。それによって、一定の進捗が得られた。
昨年度に引き続き、研究協力者とのディスカッションが進捗しており、本研究目的の一部であった構成的数学に関連する議論が進んだ。これについて共著論文（査読付き）が出版された。日本数学会秋季総合分科会(数学基礎論および歴史分科会)で研究成果を発表し、国内のワークショップで関連事項についての招待講演を行った。（口頭発表4件、うち1件が招待講演）
|
| Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
新型コロナウイルス感染症の流行の影響から脱し、ほぼ遅れを取り戻せている。当初計画である「研究協力者と膝づめで討論」することについては、国内出張によってかなりカバーできた。
インターネットを活用したリモートのディスカッションに終始し、もうすこし進歩したいところであったが、残念ながらかなわなかった。当初の期待したレベルにもう少しである。
国外の研究グループとの研究レビューを予定していたができなかったことが大きい。
|
| Strategy for Future Research Activity |
研究前半の目標に関しては、形を変えてはいるが一定の進歩があったので、この点をもう少し進める。また、構成性の周辺事項についての理解を、さらに進める。
特に「研究実績の概要」で述べた弱いexistence propertyの調査を進める予定である。また、構成的数学におけるomniscience principlesなどについて、今回は中間述語論理の枠組みで検討する計画である。
これを進めるため、構成的数学に詳しい研究協力者を含むディスカッションを行う予定である。指導中の博士課程大学院生を派遣することで、最新の研究の情報収集を行う。
|
| Causes of Carryover |
新型コロナウイルス感染症の流行により、研究協力者との連絡がどうしてもリモート中心になってしまった。膝づめでのディスカッションが少なくなり、特に外国における国際会議出席と討論が少なくなってしまった。このため、その影響が積み重なって、外国出張旅費に剰余が生じた。令和6年度は出張ができる見込みである。指導中の博士課程大学院生にも協力してもらい、効率を上げていく。引き続き、数理論理学の文献資料を収集する。
|
