Philosophical and Historical research into varieties of Constructivism in Logic and Mathematics

对逻辑和数学中各种建构主义的哲学和历史研究

• 批准号: 18520025
• 负责人: KANEKO Hiroshi
• 金额: $ 1.97万
• 依托单位: Senshu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2006
• 资助国家: 日本
• 起止时间: 2006 至 2008
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18520025/
• 关键词: 論理学の哲学; 数学の哲学; 直観主義; 構成主義; 反実在論的意味論; ダメット; ブラウワー; フレーゲ; ウィトゲンシュタイン; (数学的)直観主義; ゲーデル

本研究では、数学や論理学において「構成主義」として知られる立場を、哲学的・歴史的に特徴づけること、特に、「構成」概念を概念的・哲学的に捉え直すことを試みた。その結果、通常フレーゲ的プラトニズムとして知られる立場にも強い構成主義的傾向が窺えること、ブラウワーの直観主義が、脱神秘主義化可能であり、一つの数学の哲学として理解可能なこと、そして、構成主義が単に理論的な側面だけでなく、言語への見方を含めたより広い文脈の下でしか「構成的」とは評価できないことを明らかにした。

This study で は, mathematics や logic に お い て "constructivism" と し て know ら れ る position を, philosophy, history of に 徴 づ け る こ と, に, the concept of "form" を concept, philosophy に catch え straight す こ と を try み た. Of そ の results, usually フ レ ー ゲ プ ラ ト ニ ズ ム と し て know ら れ る position に も strong い revealed the tendency of constructivism が え る こ と, ブ ラ ウ ワ ー の straight 観 が, take off the mysticism of socialism may で あ り, a つ の philosophy of mathematics の と し て understanding may な こ と, そ し て, constructivism が 単 に theory な profile だ け で な く, speech へ の square を め Under た よ り hiroo い context の で し か "constitute the" と は review 価 で き な い こ と を Ming ら か に し た.

项目成果

Undetachability of propositional content and its process of construction-Another aspect of Brouwer's Intuitionism

命题内容的不可分离性及其建构过程——布劳威尔直觉主义的另一个方面

• 发表时间: 2006
• 期刊: Annals of the Japan Association for Philosophy of Science Vol.11, No.1
• 作者: Tsuda;S et al.;Hiroshi Kaneko
• 通讯作者: Hiroshi Kaneko

対象としての数-フレーゲの数とウィトゲンシュタインの数

数作为对象 - 弗雷格数和维特根斯坦数

• 发表时间: 2008
• 期刊: 現代思想 36巻14号
• 作者: R. Hecker;H. Huebner;S. Kubo;檜垣立哉;金子洋之
• 通讯作者: 金子洋之

フレーゲの意義とダメットの意義

弗雷格和达米特的意义

• 发表时间: 2006
• 作者: 小原 克博;中田 考;手島 勲矢;金子洋之;金子洋之;金子洋之;金子洋之;金子 洋之;金子洋之;Hiroshi Kaneko;金子洋之
• 通讯作者: 金子洋之

ブラウワー哲学再考

重新审视布劳威尔的哲学

• 发表时间: 2007
• 期刊: 生田哲学 11
• 作者: 上浦 基;中嶋浩平;郡司 ペギオ-幸夫;金子洋之
• 通讯作者: 金子洋之

『哲学の歴史』第11巻 論理・数学・言語 II. フレーゲ( 飯田隆編)

哲学史第11卷逻辑、数学和语言II。（饭田隆主编）

• 作者: 小原 克博;中田 考;手島 勲矢;金子洋之;金子洋之;金子洋之;金子洋之;金子 洋之;金子洋之;Hiroshi Kaneko;金子洋之;金子洋之;金子 洋之;金子洋之;金子洋之
• 通讯作者: 金子洋之