Reexamination of Brouwer's intuitionism by proof-theoretic methods
| Project/Area Number |
16K16690
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Philosophy/Ethics
|
|---|
| Research Institution | Waseda University |
|---|
Principal Investigator |
Akiyoshi Ryota 早稲田大学, 高等研究所, その他(招聘研究員) (20587852)
|
|---|
| Project Period (FY) |
2016-04-01 – 2020-03-31
|
| Project Status |
Discontinued (Fiscal Year 2019)
|
| Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2019: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2018: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2017: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2016: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
|---|
| Keywords | 論理学の哲学 / 数学の哲学 / ブラウワー / ヒルベルト / 理論計算機科学 / ラムダ計算 / 数学基礎論 / 証明論 / 哲学 / 論理学 / 直観主義 / フッサール / 証明論的意味論 / 数学・論理学の哲学 / 形式主義 |
|---|
| Outline of Final Research Achievements |
By studying Brouwer's intuitionism by proof-theoretic methods, we obtained the following outputs. As to philosophical investigations, (i) a proof-theoretic interpretation of Brouwer's proof of bar induction, (ii) an elucidation of the relationship between contentual and formal elements in Gentzen's consistency proofs. As to logical investigations, (i) proof-theoretic results about the Omega-rule, (ii) an application of the Omega-rule to the context of theoretical computer science (typed lambda calculus).
All of these were published from refereed international journals and refereed international conferences. In short, our works via the Omega-rule (, which is a traditional method in proof-theory) produced fruitful results. Moreover, we began a new research about Gaisi Takeuti's philosophy of mathematics based on them.
|
| Academic Significance and Societal Importance of the Research Achievements |
これまでブラウワー直観主義とヒルベルトの形式主義は対立する学派であるとみなされてきたが，ヒルベルトに由来する証明論的手法でブラウワー直観主義を探求したことで，これらの学派の間にこれまで気づかれて来なかった哲学的なつながりや論理学的なつながりを見出すことができた．
さらに，日本が産んだ最大の論理学者である竹内外史の思想を研究するという新たな方向性を得た．
|
Report
(4 results)
Research Products
(27 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] On Brouwer’s argument of bar induction2017
Author(s)
Ryota Akiyoshi
Organizer
Workshop “Philosophy of logic and Mathematics - Towards Philosophy of Proofs"
Place of Presentation
Keio University (Tokyo, Japan)
Year and Date
2017-01-13
Related Report
Int'l Joint Research / Invited
-
[Presentation] Opening Remarks2017
Author(s)
Ryota Akiyoshi
Organizer
Workshop “Philosophy of logic and Mathematics - Towards Philosophy of Proofs"
Place of Presentation
Keio University (Tokyo, Japan)
Year and Date
2017-01-12
Related Report
Invited
-
-
-
[Presentation] Contentual and Formal Aspect of Gentzen's Consistency Proofs2016
Author(s)
Ryota Akiyoshi and Yuta Takahashi
Organizer
The joint Conference of The 3rd Asian Workshop on Philosophical Logic (AWPL-2016) & The 3rd Taiwan Philosophical Logic Colloquium (TPLC-2016)
Place of Presentation
National Taiwan University (Taipei, Taiwan)
Year and Date
2016-10-05
Related Report
Int'l Joint Research
-
-
