Reconstructionof a semanticsbased on the notion of proof
Project/Area Number |
22520032
|
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 |
|
Project Period (FY) |
2010 – 2012
|
Project Status |
Completed (Fiscal Year 2012)
|
Budget Amount *help |
¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2012: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2011: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2010: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
Keywords | 直観主義 / 証明論的意味論 / ダメット / ブラウワー / 非形式的証明 / 論理の有用性 / 証明の認識論 / 数学の哲学 / 論理学の哲学 / フレーゲ / ワイル / 直観主義論理学 |
Research Abstract |
In this research, we focued on the notion of informal proof because we expect that this notion would be a key notion for reconstructing the so-called proof theoretic semantics. We showed that the notion of informal proof closely concerned with a problem a
|
Report
(4 results)
Research Products
(8 results)
-
-
-
-
[Presentation] 慶應義塾大学2011
Author(s)
金子洋之
Organizer
数学の哲学セミナー
Place of Presentation
「演繹の正当化」とその周辺
Year and Date
2011-09-16
Related Report
-
-
-
-