| 研究課題/領域番号 |
22K00028
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分01010:哲学および倫理学関連
|
|---|
| 研究機関 | 金沢大学 |
|---|
研究代表者 |
黒川 英徳 金沢大学, GS教育系, 准教授 (30710230)
|
|---|
| 研究期間 (年度) |
2022-04-01 – 2026-03-31
|
| 研究課題ステータス |
交付 (2022年度)
|
| 配分額 *注記 |
3,120千円 (直接経費: 2,400千円、間接経費: 720千円)
2025年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2024年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2023年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2022年度: 520千円 (直接経費: 400千円、間接経費: 120千円)
|
|---|
| キーワード | 内包性 (intensionality) / Fregean Sinn / intensional logic / Church / 直観主義解析学 / Kreisel / choice sequence / 無矛盾性 / 内包論理 / 証明論 / informal rigour |
|---|
| 研究開始時の研究の概要 |
数学において使用される数式、記号の意味を理解するためには多くの場合「内包的」と言われる概念が必要である。このことは現代論理学の祖であるフレーゲ以来広く認識されてきた。しかしながら（例えば様相論理はすでに広く研究されている内包論理だが、この目的ためには使えないため）数学的言語の分析に使用可能な内包的概念の論理的分析は容易でない。本研究ではこの問題に次の２つの仕方で答えることを目指す。1)内包的概念の哲学的概念分析を行う、2)そうした概念分析に基づいて数理論理学的な研究を行い内包論理における数学的（証明論的）成果を得る。
|
| 研究実績の概要 |
本研究は数学の哲学において特にフレーゲ以来盛んに議論されてきた、数学に現れる「内包的概念」について哲学的、歴史的、および数理論理学的な観点から研究することを目的とするものである。このような目標設定のもと、とくに１）直観主義解析学（特にそのクライゼル、マイヒルらによる公理的再構成）における内包的概念の役割の解明、２）フレーゲ的なSinnの概念が数学の証明の中で果たす役割の解明（特にチャーチのthe logic of sense and denotationと呼ばれる論理体系のフレーゲのSinnの概念からの再検討）、３）第２不完全性定理を証明する際には「無矛盾性」などの数学的概念を、形式体系で表現する際に現れるメタ数学に関わる「内包性」の解明、という３つの主題について「内包性」概念の研究を行うものである。
これらの主題のうち、今年度は特に１）の直観主義解析学について研究を行った。本年度は研究の開始年度ということもあり、直観主義解析に関するレビューを行った。直観主義解析学における概念的問題全般に関するサーヴェイを行うとともに、特にクライゼル、マイヒルらの1960年代に出版された論文における「内包性」概念の役割を共同研究者であるワルター・ディーンと共に検討した。その結果、特にマイヒルの議論における「内包性」概念の役割について幾つかの発見があった。これらの成果についてはクライゼルとマイヒルの間に交わされた議論の文脈におけるその意義の考察と共に今年度中に研究発表、論文の形にすることを目指す。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
3: やや遅れている
理由
今年度も前半までは、コロナ禍の影響がまだ残存していたため研究時間が十分に得られない状況にあり、また海外に赴いて共同研究者と十分な時間をかけて議論をするといったことがまだ自由にできない状況であった。そのため研究の進捗が遅れていた。
しかしながら後半には状況は改善した。海外出張を再開することができ、十分な時間をかけて共著者と議論をすることができた。（確かにオンラインで議論することも可能であるとはいえ、やはり実際に会って議論をすることの重要性を再認識した。）今年度後半にはワルター・ディーンとかなりの時間をかけて直観主義解析学について議論する機会をもつことができ、そのためある程度研究が進捗した。
|
| 今後の研究の推進方策 |
今後はこれまで進めてきた直観主義解析学に関する研究をさらに進め、現在の教科書的な記述からはなぜか失われてしまった、「内包性概念」に依存した直観主義解析学の定式化の意義について再検討し、そこに潜在的に存在する可能性のある豊かな概念的鉱脈を探究する。また、それと共にフレーゲのSinnの概念そのもの及び、フレーゲのSinnの概念を取り込んで定式化されたチャーチの論理体系などについてのサーヴェイを行う。
|
