Philosophical and Historical research into varieties of Constructivism in Logic and Mathematics
| Project/Area Number |
18520025
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Philosophy/Ethics
|
|---|
| Research Institution | Senshu University |
|---|
Principal Investigator |
KANEKO Hiroshi Senshu University, 文学部, 教授 (60191988)
|
|---|
| Project Period (FY) |
2006 – 2008
|
| Project Status |
Completed (Fiscal Year 2008)
|
| Budget Amount *help |
¥3,080,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥480,000)
Fiscal Year 2008: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2007: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2006: ¥1,000,000 (Direct Cost: ¥1,000,000)
|
|---|
| Keywords | 論理学の哲学 / 数学の哲学 / 直観主義 / 構成主義 / 反実在論的意味論 / ダメット / ブラウワー / フレーゲ / ウィトゲンシュタイン / (数学的)直観主義 / ゲーデル |
|---|
| Research Abstract |
本研究では、数学や論理学において「構成主義」として知られる立場を、哲学的・歴史的に特徴づけること、特に、「構成」概念を概念的・哲学的に捉え直すことを試みた。その結果、通常フレーゲ的プラトニズムとして知られる立場にも強い構成主義的傾向が窺えること、ブラウワーの直観主義が、脱神秘主義化可能であり、一つの数学の哲学として理解可能なこと、そして、構成主義が単に理論的な側面だけでなく、言語への見方を含めたより広い文脈の下でしか「構成的」とは評価できないことを明らかにした。
|
Report
(4 results)
Research Products
(12 results)
