Philosophical and Historical research into varieties of Constructivism in Logic and Mathematics
对逻辑和数学中各种建构主义的哲学和历史研究
基本信息
- 批准号:18520025
- 负责人:
- 金额:$ 1.97万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2006
- 资助国家:日本
- 起止时间:2006 至 2008
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
本研究では、数学や論理学において「構成主義」として知られる立場を、哲学的・歴史的に特徴づけること、特に、「構成」概念を概念的・哲学的に捉え直すことを試みた。その結果、通常フレーゲ的プラトニズムとして知られる立場にも強い構成主義的傾向が窺えること、ブラウワーの直観主義が、脱神秘主義化可能であり、一つの数学の哲学として理解可能なこと、そして、構成主義が単に理論的な側面だけでなく、言語への見方を含めたより広い文脈の下でしか「構成的」とは評価できないことを明らかにした。
在这项研究中,我试图从哲学和历史的角度来描述数学和逻辑学中被称为“建构主义”的立场,特别是,我试图从概念和哲学上重新考虑“建构”的概念。结果,我们发现,在通常被称为弗雷格柏拉图主义的立场上可以看到强烈的建构主义倾向,布劳威尔的直觉主义可以被去神秘化,可以被理解为一种数学哲学,而且很明显,原则只能是在更广泛的背景下被评价为“建设性的”,不仅包括理论方面,还包括对语言的看法。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
フレーゲの意義とダメットの意義
弗雷格和达米特的意义
- DOI:
- 发表时间:2006
- 期刊:
- 影响因子:0
- 作者:小原 克博;中田 考;手島 勲矢;金子洋之;金子洋之;金子洋之;金子洋之;金子 洋之;金子洋之;Hiroshi Kaneko;金子洋之
- 通讯作者:金子洋之
『哲学の歴史』第11巻 論理・数学・言語 II. フレーゲ( 飯田隆編)
哲学史第11卷逻辑、数学和语言II。(饭田隆主编)
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:小原 克博;中田 考;手島 勲矢;金子洋之;金子洋之;金子洋之;金子洋之;金子 洋之;金子洋之;Hiroshi Kaneko;金子洋之;金子洋之;金子 洋之;金子洋之;金子洋之
- 通讯作者:金子洋之
『哲学の歴史』第11巻(飯田隆編) 第二章フレーゲ
《哲学史》第11卷(饭田隆主编)第2章弗雷格
- DOI:
- 发表时间:2007
- 期刊:
- 影响因子:0
- 作者:小原 克博;中田 考;手島 勲矢;金子洋之;金子洋之;金子洋之;金子洋之;金子 洋之;金子洋之;Hiroshi Kaneko;金子洋之;金子洋之;金子 洋之
- 通讯作者:金子 洋之
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
KANEKO Hiroshi其他文献
KANEKO Hiroshi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('KANEKO Hiroshi', 18)}}的其他基金
Elucidation of the diversity of target genes in GATA1
阐明GATA1中靶基因的多样性
- 批准号:
24890015 - 财政年份:2012
- 资助金额:
$ 1.97万 - 项目类别:
Grant-in-Aid for Research Activity Start-up
Drug development for osteoarthritis(OA) by drug screening for transcriptional activation of SOX9
通过 SOX9 转录激活药物筛选来开发骨关节炎 (OA) 药物
- 批准号:
22659270 - 财政年份:2010
- 资助金额:
$ 1.97万 - 项目类别:
Grant-in-Aid for Challenging Exploratory Research
Reconstructionof a semanticsbased on the notion of proof
基于证明概念的语义重构
- 批准号:
22520032 - 财政年份:2010
- 资助金额:
$ 1.97万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Low Temperature x-ray diffraction study on phase transition
相变的低温X射线衍射研究
- 批准号:
19540363 - 财政年份:2007
- 资助金额:
$ 1.97万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Analysis on Pathophysiology of Functional Gastrointestinal Disorders (FGIDs) and Establishment of Comprehensive Evaluation Methods and Treatment of FGIDs
功能性胃肠病(FGIDs)的病理生理学分析及FGIDs综合评估方法和治疗方法的建立
- 批准号:
15590608 - 财政年份:2003
- 资助金额:
$ 1.97万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Research on Brouwer's Philosophy and the notion of continuum in Intuitionism
布劳威尔哲学与直觉主义连续统概念研究
- 批准号:
15520026 - 财政年份:2003
- 资助金额:
$ 1.97万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Historical and Logical Investigation into Hilbert Program as a philosophy of mathematics
作为数学哲学的希尔伯特纲领的历史和逻辑研究
- 批准号:
13610014 - 财政年份:2001
- 资助金额:
$ 1.97万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Investigation into relations between realism and constructivism in the philosophy of mathematics
数学哲学中实在论与建构主义关系探讨
- 批准号:
06610013 - 财政年份:1994
- 资助金额:
$ 1.97万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
Pathophysiology of MNMS due to acute arterial occlusion and development of a local perfusion
急性动脉闭塞和局部灌注引起的 MNMS 的病理生理学
- 批准号:
02454302 - 财政年份:1990
- 资助金额:
$ 1.97万 - 项目类别:
Grant-in-Aid for General Scientific Research (B)
相似海外基金
現代論理学に基づくフッサール数学論の再構築
基于现代逻辑的胡塞尔数学重构
- 批准号:
20K12780 - 财政年份:2020
- 资助金额:
$ 1.97万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Dummett's Theory of Meaning and the Recent Development of Philosophical Analysis of Action -- Rationalization of Action and Understanding
达米特的意义理论与行动哲学分析的最新发展——行动与理解的合理化
- 批准号:
19J13854 - 财政年份:2019
- 资助金额:
$ 1.97万 - 项目类别:
Grant-in-Aid for JSPS Fellows
Reexamination of Brouwer's intuitionism by proof-theoretic methods
用证明论方法重新审视布劳威尔的直觉主义
- 批准号:
16K16690 - 财政年份:2016
- 资助金额:
$ 1.97万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
Interdisciplinary study on logic, with a special focus on intuitionistic logic
逻辑的跨学科研究,特别关注直觉逻辑
- 批准号:
26284005 - 财政年份:2014
- 资助金额:
$ 1.97万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
証明論的手法による形式主義の再検討
使用证明理论方法重新审视形式主义
- 批准号:
12J06039 - 财政年份:2012
- 资助金额:
$ 1.97万 - 项目类别:
Grant-in-Aid for JSPS Fellows