研究課題/領域番号 |
19J00542
|
研究種目 |
特別研究員奨励費
|
配分区分 | 補助金 |
応募区分 | 国内 |
審査区分 |
小区分01010:哲学および倫理学関連
|
研究機関 | 慶應義塾大学 |
研究代表者 |
伊藤 遼 慶應義塾大学, 文学部, 特別研究員(CPD)
|
研究期間 (年度) |
2019-04-25 – 2024-03-31
|
研究課題ステータス |
完了 (2020年度)
|
配分額 *注記 |
4,030千円 (直接経費: 3,100千円、間接経費: 930千円)
2020年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2019年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
キーワード | 規則 / 論理 / 数学の実践 / 論理学 / 数学の哲学 |
研究開始時の研究の概要 |
本研究の目標は「規則の理論 (the theory of rules) としての論理学」の構想を提示することで、 非形式的証明の論理を捉え得る論理学を構築する足がかりを得ることである。本研究は、微分積分学の歴史において現れた様々な証明を規則という観点から説明することによって、規則の理論としての論理学という構想に一つの内実を与えることを試みる。
|
研究実績の概要 |
本研究計画は、「規則の理論としての論理学」という構想の提案、実現を目標とするものである。それは、論理学を「規則の理論」すなわち、われわれの推論をさまざまな規則の適用として理解した上で、そうした規則の諸性質を数学的、哲学的に探究する営みとしてみなすことを提案するものである。採用第2年度は、CPD申請時には予見できなかった事情により、主要渡航の延期を含めた研究計画の修正・変更を行うこととなったが、その中で、(i)「規則の理論としての論理学」の枠組みの整備、および、(ii)「規則の理論としての論理学」を現実化するための「ネットワーク」作り、この二つの課題に取り組んだ。 課題(i)については、本年度は、前年度の研究によって得られた、規則一般の性質についての考察を数学史(とりわけ、証明の妥当性をめぐる論争の歴史)に適用することを試みた。その成果は、2020年4月の国際ワークショップにて発表する予定であったが、その機会は持ち越しとなっている。 課題(ii)については、本年度は、本来、9月より主要渡航を開始する予定であったが、新型コロナウイルスの影響により、渡航開始を延期するという判断を行った。他方、国内では、「規則」概念をめぐる哲学的考察、とりわけ、「推論主義」を専門とする研究者や数学教育の研究者と数回にわたって、数学教育という一つの実践の場における諸現象を「規則」という観点から理解する、あるいは、そうした諸現象から逆に「規則」の理解を深めるという目的のもと、研究ミーティングを持つことができた。 また、本年度は、上述の研究計画の変更を受けて、これまでの研究成果をまとめて、査読論文2本を国内の学会誌に発表するという機会を得た。こうした取り組みは、PD申請書に記載の通り、「規則の理論としての論理学」の提案という本研究計画の土台をなすものであり、本研究計画の発展に資するものである。
|
現在までの達成度 (段落) |
翌年度、交付申請を辞退するため、記入しない。
|
今後の研究の推進方策 |
翌年度、交付申請を辞退するため、記入しない。
|