Reconstructionof a semanticsbased on the notion of proof

基于证明概念的语义重构

• 批准号: 22520032
• 负责人: KANEKO Hiroshi
• 金额: $ 2.08万
• 依托单位: Senshu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2010
• 资助国家: 日本
• 起止时间: 2010 至 2012
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22520032/
• 关键词: 直観主義; 証明論的意味論; ダメット; ブラウワー; 非形式的証明; 論理の有用性; 証明の認識論; 数学の哲学; 論理学の哲学; フレーゲ; ワイル; 直観主義論理学

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

在这项研究中，我们重点介绍了非正式证明的概念，因为我们希望这种概念是重建所谓的证明理论语义的关键概念。我们表明，非正式证明的概念与一个问题密切关注

项目成果

論理の有用性から証明の認識論へ

从逻辑的有用性到证明的认识论

• 发表时间: 2012
• 期刊: 哲学の探究
• 作者: Yasuo Deguchi;Jay Garfield;Graham Priest;出口康夫;入江幸男;出口康夫;出口康夫;Irie Yuki;Yasuo Deguchi;IRIE YUKIO;出口康夫;Yukio IRIE;出口康夫;IRIE YUKIO;Yasuo Deguchi;Yasuo Deguchi;入江幸男;Yasuo Deguchi;Yasuo Deguchi;Yukio IRIE;Yasuo Deguchi;入江幸男;Yasuo Deguchi;入江幸男;IRIE YUKIO;Yasuo Deguchi;IRIE YUKIO;入江幸男;入江幸男;Yasuo Deguchi;Yasuo Deguchi;IRIE YUKIO;出口康夫;IRIE YUKIO;Yasuo Deguchi;IRIE YUKIO;Yasuo Deguchi;IRIE YUKIO;Yasuo Deguchi;出口康夫;Yukio IRIE;Yasuo Deguchi;IRIE YUKIO;Yasuo Deguchi;Yukio IRIE;IRIE YUKIO;Yasuo Deguchi;Yasuo Deguchi;IRIE YUKIO;Yasuo Deguchi;入江幸男;IRIE YUKIO;出口康夫;Yasuo Deguchi;IRIE YUKIO;IRIE YUKIO;新島龍美;Yasuo Deguchi;新島龍美;Yasuo Deguchi;新島龍美;出口康夫・戸田山和久(共編);柏葉武秀;家高洋;家高洋;家高洋;城戸淳訳・解題;城戸淳訳・解題;城戸淳;城戸淳訳・解題;城戸淳;伊佐敷 隆弘;家高洋;城戸淳訳・解題;城戸淳;伊佐敷隆弘;城戸淳;伊佐敷隆弘;伊佐敷 隆弘;城戸淳;城戸淳;城戸淳;栗原隆編;栗原隆編;伊佐敷隆弘(共編著);熊野純彦編(共著);金子洋之
• 通讯作者: 金子洋之

金子洋之,翻訳 シャピロ『数学を哲学する』筑摩書房, 2012

Hiroyuki Kaneko，夏皮罗译者，《数学哲学》，千曲书房，2012