基于证明概念的语义重构-猫眼课题宝

基于证明概念的语义重构

批准号：

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/

关键词：

直観主義証明論的意味論ダメットブラウワー非形式的証明論理の有用性証明の認識論数学の哲学論理学の哲学フレーゲワイル直観主義論理学

项目摘要

项目成果

KANEKO Hiroshi的其他基金

相似基金

相关文献

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

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

期刊论文(0)

专著(0)

科研奖励(0)

会议论文

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

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

DOI： --

发表时间： 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

DOI： --

发表时间：

期刊：

影响因子： --

作者：

[]

通讯作者：